Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wielowartościowe i probabilistyczne rozszerzenia bazodanowych języków regułowych

2017/27/B/ST6/02018

Słowa kluczowe:

języki regułowe systemy inteligentne wnioskowanie niemonotoniczne wnioskowanie parakonsystentne

Deskryptory:

  • ST6_7: Sztuczna inteligencja, systemy inteligentne i wieloagentowe

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca:

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

prof. Andrzej Szałas 

Liczba wykonawców projektu: 1

Konkurs: OPUS 14 - ogłoszony 2017-09-15

Przyznana kwota: 242 200 PLN

Rozpoczęcie projektu: 2018-07-01

Zakończenie projektu: 2023-07-30

Planowany czas trwania projektu: 60 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Opis Projektu

Pobierz opis projektu w formacie .pdf

Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.

Dane z raportu końcowego/rocznego

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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy