Zmiana języka

Projects search

Many-valued and probabilistic extensions of rule-based languages

2017/27/B/ST6/02018

Keywords

Descriptors

  • ST6_7: Sztuczna inteligencja, systemy inteligentne i wieloagentowe

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

Voivodeship: mazowieckie

Other projects carried out by the institution »

Principal investigator (from the host institution)

prof. Andrzej Piotr 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
2018-07-31
Project end date
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)

  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 (year: 2020, volume: 7, pages: 361-389), Publisher: College Publications
    Status:
    Published

  2. A Landscape and Implementation Framework for Probabilistic Rough Sets using ProbLog

    Authors:
    Patrick Doherty, Andrzej Szałas
    Academic press:
    Information Sciences (year: 2022, volume: 593, pages: 546-576), Publisher: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.ins.2021.12.062 – link to the publication

  3. Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions

    Authors:
    Patrick Doherty, Andrzej Szałas
    Academic press:
    Artifcial Intelligence (year: 2024, volume: 326, pages: 46040), Publisher: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.artint.2023.104036 – 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 (year: 2021, volume: 130, pages: 126-149), Publisher: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.ijar.2020.12.010 – link to the publication

  5. 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 (year: 2020, volume: 34, pages: 423-450), Publisher: Old City Publishing
    Status:
    Published

Articles in post-conference publications (8)

  1. 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 (year: 2022, pages: 141-146), Publisher: The Nicolaus Copernicus University Scientific Publishing House
    Date:
    conference 5-8 września
    Status:
    Published

  2. Querying and Reasoning in Paraconsistent Rule-Object Languages with Inheritance Expressions

    Authors:
    Andrzej Szałas
    Conference:
    ICCCI 2022: Computational Collective Intelligence (year: 2022, pages: 396–409), Publisher: Springer
    Date:
    conference 28-30 września
    Status:
    Published

  3. Decision-Making Support Using Nonmonotonic Probabilistic Reasoning

    Authors:
    Andrzej Szałas
    Conference:
    Intelligent Decision Technologies 2019 (year: 2019, pages: 39-51), Publisher: Springer
    Date:
    conference 17-19 czerwca
    Status:
    Published

  4. Revisiting Object-Rule Fusion in Query Languages

    Authors:
    Andrzej Szałas
    Conference:
    24th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (year: 2020, pages: 50-59), Publisher: Elsevier
    Date:
    conference 2020-09-16 - 2020-09-18
    Status:
    Published

  5. Inheriting and Fusing Beliefs of Logically Heterogeneous Objects

    Authors:
    Andrzej Szałas
    Conference:
    26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (year: 2022, pages: 299–308), Publisher: Elsevier
    Date:
    conference 7-9 września
    Status:
    Published

  6. Many-Valued Dynamic Object-Oriented Inheritance and Approximations

    Authors:
    Andrzej Szałas
    Conference:
    International Joint Conference on Rough Sets IJCRS 2021 (year: 2021, pages: 103-119), Publisher: Springer
    Date:
    conference 2021-09-19 - 2021-09-24
    Status:
    Published

  7. Shadowing in Many-Valued Nested Structures

    Authors:
    Barbara Dunin-Kęplicz, Andrzej Szałas
    Conference:
    50th IEEE International Symposium on Multiple-Valued Logic (year: 2020, pages: 230-236), Publisher: IEEE
    Date:
    conference 2020-11-09 - 2020-11-11
    Status:
    Published

  8. Rough Forgetting

    Authors:
    Patrick Doherty, Andrzej Szałas
    Conference:
    International Joint Conference on Rough Sets (year: 2020, pages: 46099), Publisher: Springer
    Date:
    conference 29 czerwca - 3 lipca
    Status:
    Published

« New search

Graphic design and implementation: Jakub Piotrowski