Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

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

2011/01/B/ST6/02769

Słowa kluczowe:

regułowe języki zapytań systemy inteligentne systemy wieloagentowe Semantyczny Internet

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 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 (10)
  • Teksty w publikacjach pokonferencyjnych (20)
  • Publikacje książkowe (2)
  1. 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:
    brak - link do publikacji
  2. 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.001 - link do publikacji
  3. Taming Complex Beliefs
    Autorzy:
    Barbara Dunin-Kęplicz, Andrzej Szałas
    Czasopismo:
    LNCS Transactions on Computational Collective Intelligence (rok: 2013, tom: 11, strony: 45312), Wydawca: Springer Verlag
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-642-41776-4_1 - link do publikacji
  4. 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
  5. Paraconsistent Argumentation Schemes
    Autorzy:
    Barbara Dunin-Kęplicz i Alina Strachocka
    Czasopismo:
    Web Intelligence and Agent Systems: An International Journal , Wydawca: IOS Press
    Status:
    Złożona
    Doi:
    - - link do publikacji
  6. A Tractable Rule Language in the Modal and Description Logics that Combine CPDL with Regular Grammar Logic
    Autorzy:
    Linh Anh Nguyen
    Czasopismo:
    Fundamenta Informaticae (rok: 2015, tom: -, strony: -), Wydawca: IOS Press
    Status:
    Złożona
    Doi:
    - - link do publikacji
  7. 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
  8. 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
  9. 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
  10. 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
  1. 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, ), Wydawca: ACM
    Data:
    konferencja 23-24 sierpnia 2012
    Status:
    Opublikowana
  2. 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, ), Wydawca: Humboldt-Universität zu Berlin
    Data:
    konferencja 29/09-1/10
    Status:
    Opublikowana
    Doi:
    link do publikacji
  3. 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, ), Wydawca: Springer-Verlag
    Data:
    konferencja 11-13 września 2013
    Status:
    Opublikowana
  4. 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, ), Wydawca: IOS Press
    Data:
    konferencja 27-29 maja 2013
    Status:
    Opublikowana
  5. 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, ), Wydawca: Springer
    Data:
    konferencja 5-6 maja
    Status:
    Opublikowana
  6. 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, ), Wydawca: IEEE
    Data:
    konferencja 11-14/08/2014
    Status:
    Opublikowana
  7. 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, ), Wydawca: IOS Press
    Data:
    konferencja 27-29 maja 2013
    Status:
    Opublikowana
  8. 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, ), Wydawca: IOS Press
    Data:
    konferencja 27-29 maja 2013
    Status:
    Opublikowana
  9. Symbolic Explanations of Generalized Fuzzy Reasoning
    Autorzy:
    Andrzej Szałas
    Konferencja:
    6th International Conference on Intelligent Decision Technologies (rok: 2014, ), Wydawca: IOS Press
    Data:
    konferencja 18-20 czerwca
    Status:
    Opublikowana
  10. 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, ), Wydawca: Springer-Verlag
    Data:
    konferencja 27-29 lipca 2013
    Status:
    Opublikowana
  11. Distributed Paraconsistent Belief Fusion
    Autorzy:
    Barbara Dunin-Kęplicz, Andrzej Szałas
    Konferencja:
    IDC 2012, 6th International Symposium on Intelligent Distributed Computing (rok: 2013, ), Wydawca: Springer-Verlag
    Data:
    konferencja 24-26 września 2012
    Status:
    Opublikowana
  12. 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, ), Wydawca: Springer-Verlag
    Data:
    konferencja 25-27 czerwca 2012
    Status:
    Opublikowana
  13. Tractable approach to dialogues in information-rich environments
    Autorzy:
    Barbara Dunin-Kęplicz, Alina Strachocka
    Konferencja:
    AAMAS 2015 (rok: 2015, ), Wydawca: IFAAMAS
    Data:
    konferencja 4-8/05/2015
    Status:
    Złożona
  14. 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, ), Wydawca: ArgMAS
    Data:
    konferencja 4 czerwca 2012
    Status:
    Opublikowana
  15. 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, ), Wydawca: IEEE
    Data:
    konferencja 11-14/08/2014
    Status:
    Opublikowana
  16. 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, ), Wydawca: IEEE
    Data:
    konferencja 17-19 sierpnia 2012
    Status:
    Opublikowana
  17. 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, ), Wydawca: IOS Press
    Data:
    konferencja 27-29 maja 2013
    Status:
    Opublikowana
  18. 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, ), Wydawca: Springer
    Data:
    konferencja 18-20 czerwca
    Status:
    Opublikowana
  19. 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, ), Wydawca: Springer-Verlag
    Data:
    konferencja 17-19 października 2013
    Status:
    Opublikowana
  20. 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, ), Wydawca: Springer-Verlag
    Data:
    konferencja 16-18 września 2013
    Status:
    Opublikowana
  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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy