Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Many-valued and probabilistic extensions of rule-based languages

2017/27/B/ST6/02018

Keywords:

rule-based languages intelligent systems nonmonotonic reasoning paraconsistent reasoning

Descriptors:

  • ST6_7: Artificial intelligence, intelligent systems, multi-agent systems

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

prof. Andrzej Szałas 

Number of co-investigators in the project: 1

Call: OPUS 14 - announced on 2017-09-15

Amount awarded: 242 200 PLN

Project start date (Y-m-d): 2018-07-31

Project end date (Y-m-d): 2023-07-30

Project duration:: 60 months (the same as in the proposal)

Project status: Project settled

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Information in the final report

  • Publication in academic press/journals (5)
  • Articles in post-conference publications (8)
  1. A Paraconsistent ASP-Like Language with Tractable Model Generation
    Authors:
    Andrzej Szałas
    Academic press:
    Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications (rok: 2020, tom: 7, strony: 361-389), Wydawca: College Publications
    Status:
    Published
    DOI:
    brak - link to the publication
  2. A Landscape and Implementation Framework for Probabilistic Rough Sets using ProbLog
    Authors:
    Patrick Doherty, Andrzej Szałas
    Academic press:
    Information Sciences (rok: 2022, tom: 593, strony: 546-576), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.ins.2021.12.062 - link to the publication
  3. On the Probability and Cost of Ignorance, Inconsistency, Nonsense and More
    Authors:
    Andrzej Szałas
    Academic press:
    Journal of Multiple-Valued Logic and Soft Computing (rok: 2020, tom: 34, strony: 423-450), Wydawca: Old City Publishing
    Status:
    Published
    DOI:
    brak - link to the publication
  4. Rough set reasoning using answer set programs
    Authors:
    Patrick Doherty, Andrzej Szałas
    Academic press:
    International Journal of Approximate Reasoning (rok: 2021, tom: 130, strony: 126-149), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.ijar.2020.12.010 - link to the publication
  5. Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions
    Authors:
    Patrick Doherty, Andrzej Szałas
    Academic press:
    Artifcial Intelligence (rok: 2024, tom: 326, strony: 45309), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.artint.2023.104036 - link to the publication
  1. Many-Valued Dynamic Object-Oriented Inheritance and Approximations
    Authors:
    Andrzej Szałas
    Conference:
    International Joint Conference on Rough Sets IJCRS 2021 (rok: 2021, ), Wydawca: Springer
    Data:
    konferencja 2021-09-19 - 2021-09-24
    Status:
    Published
  2. Paraconsistent rule-based programming in logically heterogeneous environments
    Authors:
    Andrzej Szałas
    Conference:
    The 6th World Congress of Paraconsistency & The 2ndStanisław Jaśkowski Memorial Symposium (rok: 2022, ), Wydawca: The Nicolaus Copernicus University Scientific Publishing House
    Data:
    konferencja 5-8 września
    Status:
    Published
  3. Decision-Making Support Using Nonmonotonic Probabilistic Reasoning
    Authors:
    Andrzej Szałas
    Conference:
    Intelligent Decision Technologies 2019 (rok: 2019, ), Wydawca: Springer
    Data:
    konferencja 17-19 czerwca
    Status:
    Published
  4. Shadowing in Many-Valued Nested Structures
    Authors:
    Barbara Dunin-Kęplicz, Andrzej Szałas
    Conference:
    50th IEEE International Symposium on Multiple-Valued Logic (rok: 2020, ), Wydawca: IEEE
    Data:
    konferencja 2020-11-09 - 2020-11-11
    Status:
    Published
  5. Querying and Reasoning in Paraconsistent Rule-Object Languages with Inheritance Expressions
    Authors:
    Andrzej Szałas
    Conference:
    ICCCI 2022: Computational Collective Intelligence (rok: 2022, ), Wydawca: Springer
    Data:
    konferencja 28-30 września
    Status:
    Published
  6. Rough Forgetting
    Authors:
    Patrick Doherty, Andrzej Szałas
    Conference:
    International Joint Conference on Rough Sets (rok: 2020, ), Wydawca: Springer
    Data:
    konferencja 29 czerwca - 3 lipca
    Status:
    Published
  7. Inheriting and Fusing Beliefs of Logically Heterogeneous Objects
    Authors:
    Andrzej Szałas
    Conference:
    26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (rok: 2022, ), Wydawca: Elsevier
    Data:
    konferencja 7-9 września
    Status:
    Published
  8. Revisiting Object-Rule Fusion in Query Languages
    Authors:
    Andrzej Szałas
    Conference:
    24th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (rok: 2020, ), Wydawca: Elsevier
    Data:
    konferencja 2020-09-16 - 2020-09-18
    Status:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy