Change language

Wyszukiwarka projektów

Rozwój regułowych języków zapytań stosowanych w systemach inteligentnych

2011/01/B/ST6/02769

Słowa kluczowe

Deskryptory

  • ST6_3: Metody formalne
  • ST6_2: Systemy baz danych
  • ST6_8: Systemy inteligentne

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 Piotr Szałas

Liczba wykonawców projektu: 5

Konkurs

OPUS 1 – ogłoszony 2011-03-15

Przyznana kwota
419 900 PLN
Rozpoczęcie projektu
2011-12-07
Zakończenie projektu
2014-12-06
Planowany czas trwania projektu
36 miesięcy (z wniosku)
Status projektu
Projekt rozliczony

Dane z raportu końcowego/rocznego

Publikacje w czasopismach (8)

  1. Taming Complex Beliefs

    Autorzy:
    Barbara Dunin-Kęplicz, Andrzej Szałas
    Czasopismo:
    LNCS Transactions on Computational Collective Intelligence (rok: 2013, tom: 11, strony: 46043), Wydawca: Springer Verlag
    Status:
    Opublikowana
    DOI:
    10.1007/978-3-642-41776-4_1 – link do publikacji

  2. Paraconsistent Reasoning for Semantic Web Agents

    Autorzy:
    Linh Anh Nguyen i Andrzej Szałas
    Czasopismo:
    LNCS Transactions on Computational Collective Intelligence (rok: 2012, tom: LNCS 7190, strony: 36–55), Wydawca: Springer
    Status:
    Opublikowana
    DOI:
    10.1007/978-3-642-29356-6_2 – link do publikacji

  3. How an Agent Might Think

    Autorzy:
    Andrzej Szałas
    Czasopismo:
    Logic Journal of the IGPL (rok: 2013, tom: 21, strony: 515-535), Wydawca: Oxford University Press
    Status:
    Opublikowana
    DOI:
    10.1093/jigpal/jzs051 – link do publikacji

  4. The Web Ontology Rule Language OWL 2 RL+ and Its Extensions

    Autorzy:
    Son Thanh Cao, Linh Anh Nguyen, Andrzej Szałas
    Czasopismo:
    LNCS Transactions on Computational Collective Intelligence (rok: 2014, tom: XIII, strony: 152-175), Wydawca: Springer-Verlag
    Status:
    Opublikowana
    DOI:
    10.1007/978-3-642-54455-2_7 – link do publikacji

  5. Paraconsistent semantics of speech acts

    Autorzy:
    Barbara Dunin-Kęplicz, Alina Strachocka, Andrzej Szałas, Rineke Verbrugge
    Czasopismo:
    Neurocomputing (rok: 2015, tom: 151, strony: 943-952), Wydawca: ELSEVIER SCIENCE BV
    Status:
    Opublikowana
    DOI:
    10.1016/j.neucom.2014.10.001 – link do publikacji

  6. The Polish School of Argumentation: A Manifesto

    Autorzy:
    Katarzyna Budzynska i inni, w tym Barbara Dinin-Kęplicz i Alina Strachocka
    Czasopismo:
    The Polish School of Argumentation: A Manifesto (rok: 2014, tom: 28(3), strony: 267-282), Wydawca: Springer
    Status:
    Opublikowana
    DOI:
    10.1007/s10503-014-9320-8 – link do publikacji

  7. WORL: a Nonmonotonic Rule Language for the Semantic Web

    Autorzy:
    Son Thanh Cao, Linh Anh Nguyen, Andrzej Szałas
    Czasopismo:
    Vietnam Journal of Computer Science (rok: 2014, tom: 1, strony: 57-69), Wydawca: Springer
    Status:
    Opublikowana
    DOI:
    10.1007/s40595-013-0009-y – link do publikacji

  8. A Horn Fragment with PTime Data Complexity of Regular Description Logic with Inverse

    Autorzy:
    Anh Linh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szałas
    Czasopismo:
    VNU Journal of Science: Computer Science and Communication Engineering (rok: 2014, tom: 30(4), strony: 14-28), Wydawca: VNU Hanoi
    Status:
    Opublikowana
    DOI:
    link do publikacji

Teksty w publikacjach pokonferencyjnych (19)

  1. Perceiving Rules under Incomplete and Inconsistent Information

    Autorzy:
    Barbara Dunin-Kęplicz, Alina Strachocka
    Konferencja:
    Computational Logic in Multi-Agent Systems 14th International Workshop (rok: 2013, strony: 256-272), Wydawca: Springer-Verlag
    Data:
    konferencja 16-18 września 2013
    Status:
    Opublikowana

  2. Horn-DL: An Expressive Horn Description Logic with PTime Data Complexity

    Autorzy:
    Linh Anh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szałas
    Konferencja:
    7th International Conference, RR 2013: Web Reasoning and Rule Systems (rok: 2013, strony: 259-264), Wydawca: Springer-Verlag
    Data:
    konferencja 27-29 lipca 2013
    Status:
    Opublikowana

  3. On Horn Knowledge Bases in Regular Description Logic with Inverse

    Autorzy:
    Linh Anh Nguyen, Thi-Bich-Loc Nguyen, and Andrzej Szałas
    Konferencja:
    KSE 2013: The Fifth International Conference on Knowledge and Systems Engineering (rok: 2013, strony: 37-49), Wydawca: Springer-Verlag
    Data:
    konferencja 17-19 października 2013
    Status:
    Opublikowana

  4. Cut-Free ExpTime Tableaux for Converse-PDL Extended with Regular Inclusion Axioms

    Autorzy:
    Linh Anh Nguyen
    Konferencja:
    7th International KES Conference on Agents and Multi-agent Systems – Technologies and Applications (rok: 2013, strony: 235-244), Wydawca: IOS Press
    Data:
    konferencja 27-29 maja 2013
    Status:
    Opublikowana

  5. Horn-TeamLog: a Horn Fragment of TeamLog with PTime Data Complexity

    Autorzy:
    Barbara Dunin-Kęplicz, Linh Anh Nguyen, Andrzej Szałas
    Konferencja:
    5th International Conference on Computational Collective Intelligence Technologies and Applications (rok: 2013, strony: 143-153), Wydawca: Springer-Verlag
    Data:
    konferencja 11-13 września 2013
    Status:
    Opublikowana

  6. Symbolic Explanations of Generalized Fuzzy Reasoning

    Autorzy:
    Andrzej Szałas
    Konferencja:
    6th International Conference on Intelligent Decision Technologies (rok: 2014, strony: 46219), Wydawca: IOS Press
    Data:
    konferencja 18-20 czerwca
    Status:
    Opublikowana

  7. Concept Learning for Description Logic-based Information Systems

    Autorzy:
    Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen, Andrzej Szałas, Thanh-Luong Tran
    Konferencja:
    KSE - International Conference on Knowledge and Systems Engineering (rok: 2012, strony: 65-73), Wydawca: IEEE
    Data:
    konferencja 17-19 sierpnia 2012
    Status:
    Opublikowana

  8. Distributed Paraconsistent Belief Fusion

    Autorzy:
    Barbara Dunin-Kęplicz, Andrzej Szałas
    Konferencja:
    IDC 2012, 6th International Symposium on Intelligent Distributed Computing (rok: 2013, strony: 59-69), Wydawca: Springer-Verlag
    Data:
    konferencja 24-26 września 2012
    Status:
    Opublikowana

  9. Lightweight Reasoning with Incomplete and Inconsistent Information: a Case Study

    Autorzy:
    Łukasz Białek, Andrzej Szałas
    Konferencja:
    The 2014 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (rok: 2014, strony: 325-332), Wydawca: IEEE
    Data:
    konferencja 11-14/08/2014
    Status:
    Opublikowana

  10. A Bisimulation-based Method of Concept Learning for Knowledge Bases in Description Logics

    Autorzy:
    Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen, Andrzej Szałas, Thanh-Luong Tran
    Konferencja:
    SoICT 2012 - 3rd International Symposium on Information and Communication Technology (rok: 2012, strony: 241-249), Wydawca: ACM
    Data:
    konferencja 23-24 sierpnia 2012
    Status:
    Opublikowana

  11. On the Horn Fragments of Serial Regular Grammar Logics with Converse

    Autorzy:
    Linh Anh Nguyen, Andrzej Szałas
    Konferencja:
    7th International KES Conference on Agents and Multi-agent Systems – Technologies and Applications (rok: 2013, strony: 225-234), Wydawca: IOS Press
    Data:
    konferencja 27-29 maja 2013
    Status:
    Opublikowana

  12. A Paraconsistent Approach to Speech Acts

    Autorzy:
    Barbara Dunin-Kęplicz, Alina Strachocka, Andrzej Szałas, Rineke Verbrugge
    Konferencja:
    ArgMAS'2012: 9th International Workshop on Argumentation in Multi-Agent Systems (rok: 2012, strony: 59-78), Wydawca: ArgMAS
    Data:
    konferencja 4 czerwca 2012
    Status:
    Opublikowana

  13. Partiality and Inconsistency in Agents' Belief Bases

    Autorzy:
    Jan Małuszyński, Andrzej Szałas
    Konferencja:
    7th International KES Conference on Agents and Multi-agent Systems – Technologies and Applications (rok: 2013, strony: 46098), Wydawca: IOS Press
    Data:
    konferencja 27-29 maja 2013
    Status:
    Opublikowana

  14. Perceiving Speech Acts under Incomplete and Inconsistent Information

    Autorzy:
    Barbara Dunin-Kęplicz, Alina Strachocka, Andrzej Szałas, Rineke Verbrugge
    Konferencja:
    7th International KES Conference on Agents and Multi-agent Systems – Technologies and Applications (rok: 2013, strony: 255-264), Wydawca: IOS Press
    Data:
    konferencja 27-29 maja 2013
    Status:
    Opublikowana

  15. Tractable Reasoning about Group Beliefs

    Autorzy:
    Barbara Dunin-Kęplicz, Andrzej Szałas, Rineke Verbrugge
    Konferencja:
    International Workshop on Engineering Multi-Agent Systems (EMAS 2014) (rok: 2014, strony: 328-350), Wydawca: Springer
    Data:
    konferencja 5-6 maja
    Status:
    Opublikowana

  16. Epistemic Profiles and Belief Structures

    Autorzy:
    Barbara Dunin-Kęplicz, Andrzej Szałas
    Konferencja:
    6th International KES Conference on Agents and Multi-agent Systems – Technologies and Applications (rok: 2012, strony: 360-369), Wydawca: Springer-Verlag
    Data:
    konferencja 25-27 czerwca 2012
    Status:
    Opublikowana

  17. Indeterministic Belief Structures

    Autorzy:
    Barbara Dunin-Kęplicz, Andrzej Szałas
    Konferencja:
    8th International KES Conference on Agents and Multi-agent Systems – Technologies and Applications (rok: 2014, strony: 57-66), Wydawca: Springer
    Data:
    konferencja 18-20 czerwca
    Status:
    Opublikowana

  18. A Tractable Rule Language in the Modal and Description Logics that Combine CPDL with Regular Grammar Logic

    Autorzy:
    Linh Anh Nguyen
    Konferencja:
    23th international Workshop on Concurrency, Specification and Programming (rok: 2014, strony: 150-163), Wydawca: Humboldt-Universität zu Berlin
    Data:
    konferencja 29/09-1/10
    Status:
    Opublikowana
    DOI:
    link do publikacji

  19. Computationally-Friendly Argumentation Schemes

    Autorzy:
    Barbara Dunin-Kęplicz, Alina Strachocka
    Konferencja:
    2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) (rok: 2014, strony: 167-174), Wydawca: IEEE
    Data:
    konferencja 11-14/08/2014
    Status:
    Opublikowana

Publikacje książkowe (2)

  1. A Tableau Method with Optimal Complexity for Deciding the Description Logic SHIQ

    Autorzy:
    Linh Anh Nguyen
    Książka:
    Advanced Computational Methods for Knowledge Engineering (rok: 2013, tom: SCI, vol. 479, strony: 331-342), Wydawca: Springer-Verlag
    Status:
    Opublikowana

  2. A New Perspective on Goals

    Autorzy:
    Barbara Dunin-Keplicz, A. Szałas
    Książka:
    Tytuł książki w trakcie ustalania z wydawcą (rok: 2015), Wydawca: College Publications
    Status:
    Przyjęta do publikacji

« Nowe wyszukiwanie

Projekt graficzny i wykonanie: Jakub Piotrowski