Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Development of rule-based query languages applied in intelligent systems

2011/01/B/ST6/02769

Keywords:

rule-based query languages intelligent systems multi-agent systems Semantic Web

Descriptors:

  • ST6_3: Software engineering, operating systems, software development methods, programming languages
  • ST6_2: Computer systems, parallel/distributed systems, sensor networks, embedded systems, cyber-physical systems
  • ST6_8: Computer graphics, image processing, computer vision, multimedia, computer games

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: 5

Call: OPUS 1 - announced on 2011-03-15

Amount awarded: 419 900 PLN

Project start date (Y-m-d): 2011-12-07

Project end date (Y-m-d): 2014-12-06

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

Project status: Project settled

Information in the final report

  • Publication in academic press/journals (10)
  • Articles in post-conference publications (20)
  • Book publications / chapters in book publications (2)
  1. A Horn Fragment with PTime Data Complexity of Regular Description Logic with Inverse
    Authors:
    Anh Linh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szałas
    Academic press:
    VNU Journal of Science: Computer Science and Communication Engineering (rok: 2014, tom: 30(4), strony: 14-28), Wydawca: VNU Hanoi
    Status:
    Published
    DOI:
    brak - link to the publication
  2. Paraconsistent semantics of speech acts
    Authors:
    Barbara Dunin-Kęplicz, Alina Strachocka, Andrzej Szałas, Rineke Verbrugge
    Academic press:
    Neurocomputing (rok: 2015, tom: 151, strony: 943-952), Wydawca: ELSEVIER SCIENCE BV
    Status:
    Published
    DOI:
    10.001 - link to the publication
  3. Taming Complex Beliefs
    Authors:
    Barbara Dunin-Kęplicz, Andrzej Szałas
    Academic press:
    LNCS Transactions on Computational Collective Intelligence (rok: 2013, tom: 11, strony: 45312), Wydawca: Springer Verlag
    Status:
    Published
    DOI:
    10.1007/978-3-642-41776-4_1 - link to the publication
  4. The Polish School of Argumentation: A Manifesto
    Authors:
    Katarzyna Budzynska i inni, w tym Barbara Dinin-Kęplicz i Alina Strachocka
    Academic press:
    The Polish School of Argumentation: A Manifesto (rok: 2014, tom: 28(3), strony: 267-282), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s10503-014-9320-8 - link to the publication
  5. Paraconsistent Argumentation Schemes
    Authors:
    Barbara Dunin-Kęplicz i Alina Strachocka
    Academic press:
    Web Intelligence and Agent Systems: An International Journal , Wydawca: IOS Press
    Status:
    Submitted
    DOI:
    - - link to the publication
  6. A Tractable Rule Language in the Modal and Description Logics that Combine CPDL with Regular Grammar Logic
    Authors:
    Linh Anh Nguyen
    Academic press:
    Fundamenta Informaticae (rok: 2015, tom: -, strony: -), Wydawca: IOS Press
    Status:
    Submitted
    DOI:
    - - link to the publication
  7. How an Agent Might Think
    Authors:
    Andrzej Szałas
    Academic press:
    Logic Journal of the IGPL (rok: 2013, tom: 21, strony: 515-535), Wydawca: Oxford University Press
    Status:
    Published
    DOI:
    10.1093/jigpal/jzs051 - link to the publication
  8. Paraconsistent Reasoning for Semantic Web Agents
    Authors:
    Linh Anh Nguyen i Andrzej Szałas
    Academic press:
    LNCS Transactions on Computational Collective Intelligence (rok: 2012, tom: LNCS 7190, strony: 36–55), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/978-3-642-29356-6_2 - link to the publication
  9. The Web Ontology Rule Language OWL 2 RL+ and Its Extensions
    Authors:
    Son Thanh Cao, Linh Anh Nguyen, Andrzej Szałas
    Academic press:
    LNCS Transactions on Computational Collective Intelligence (rok: 2014, tom: XIII, strony: 152-175), Wydawca: Springer-Verlag
    Status:
    Published
    DOI:
    10.1007/978-3-642-54455-2_7 - link to the publication
  10. WORL: a Nonmonotonic Rule Language for the Semantic Web
    Authors:
    Son Thanh Cao, Linh Anh Nguyen, Andrzej Szałas
    Academic press:
    Vietnam Journal of Computer Science (rok: 2014, tom: 1, strony: 57-69), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s40595-013-0009-y - link to the publication
  1. A Bisimulation-based Method of Concept Learning for Knowledge Bases in Description Logics
    Authors:
    Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen, Andrzej Szałas, Thanh-Luong Tran
    Conference:
    SoICT 2012 - 3rd International Symposium on Information and Communication Technology (rok: 2012, ), Wydawca: ACM
    Data:
    konferencja 23-24 sierpnia 2012
    Status:
    Published
  2. A Tractable Rule Language in the Modal and Description Logics that Combine CPDL with Regular Grammar Logic
    Authors:
    Linh Anh Nguyen
    Conference:
    23th international Workshop on Concurrency, Specification and Programming (rok: 2014, ), Wydawca: Humboldt-Universität zu Berlin
    Data:
    konferencja 29/09-1/10
    Status:
    Published
    DOI:
    link to the publication
  3. Horn-TeamLog: a Horn Fragment of TeamLog with PTime Data Complexity
    Authors:
    Barbara Dunin-Kęplicz, Linh Anh Nguyen, Andrzej Szałas
    Conference:
    5th International Conference on Computational Collective Intelligence Technologies and Applications (rok: 2013, ), Wydawca: Springer-Verlag
    Data:
    konferencja 11-13 września 2013
    Status:
    Published
  4. Perceiving Speech Acts under Incomplete and Inconsistent Information
    Authors:
    Barbara Dunin-Kęplicz, Alina Strachocka, Andrzej Szałas, Rineke Verbrugge
    Conference:
    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:
    Published
  5. Tractable Reasoning about Group Beliefs
    Authors:
    Barbara Dunin-Kęplicz, Andrzej Szałas, Rineke Verbrugge
    Conference:
    International Workshop on Engineering Multi-Agent Systems (EMAS 2014) (rok: 2014, ), Wydawca: Springer
    Data:
    konferencja 5-6 maja
    Status:
    Published
  6. Lightweight Reasoning with Incomplete and Inconsistent Information: a Case Study
    Authors:
    Łukasz Białek, Andrzej Szałas
    Conference:
    The 2014 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (rok: 2014, ), Wydawca: IEEE
    Data:
    konferencja 11-14/08/2014
    Status:
    Published
  7. On the Horn Fragments of Serial Regular Grammar Logics with Converse
    Authors:
    Linh Anh Nguyen, Andrzej Szałas
    Conference:
    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:
    Published
  8. Partiality and Inconsistency in Agents' Belief Bases
    Authors:
    Jan Małuszyński, Andrzej Szałas
    Conference:
    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:
    Published
  9. Symbolic Explanations of Generalized Fuzzy Reasoning
    Authors:
    Andrzej Szałas
    Conference:
    6th International Conference on Intelligent Decision Technologies (rok: 2014, ), Wydawca: IOS Press
    Data:
    konferencja 18-20 czerwca
    Status:
    Published
  10. Horn-DL: An Expressive Horn Description Logic with PTime Data Complexity
    Authors:
    Linh Anh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szałas
    Conference:
    7th International Conference, RR 2013: Web Reasoning and Rule Systems (rok: 2013, ), Wydawca: Springer-Verlag
    Data:
    konferencja 27-29 lipca 2013
    Status:
    Published
  11. Distributed Paraconsistent Belief Fusion
    Authors:
    Barbara Dunin-Kęplicz, Andrzej Szałas
    Conference:
    IDC 2012, 6th International Symposium on Intelligent Distributed Computing (rok: 2013, ), Wydawca: Springer-Verlag
    Data:
    konferencja 24-26 września 2012
    Status:
    Published
  12. Epistemic Profiles and Belief Structures
    Authors:
    Barbara Dunin-Kęplicz, Andrzej Szałas
    Conference:
    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:
    Published
  13. Tractable approach to dialogues in information-rich environments
    Authors:
    Barbara Dunin-Kęplicz, Alina Strachocka
    Conference:
    AAMAS 2015 (rok: 2015, ), Wydawca: IFAAMAS
    Data:
    konferencja 4-8/05/2015
    Status:
    Submitted
  14. A Paraconsistent Approach to Speech Acts
    Authors:
    Barbara Dunin-Kęplicz, Alina Strachocka, Andrzej Szałas, Rineke Verbrugge
    Conference:
    ArgMAS'2012: 9th International Workshop on Argumentation in Multi-Agent Systems (rok: 2012, ), Wydawca: ArgMAS
    Data:
    konferencja 4 czerwca 2012
    Status:
    Published
  15. Computationally-Friendly Argumentation Schemes
    Authors:
    Barbara Dunin-Kęplicz, Alina Strachocka
    Conference:
    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:
    Published
  16. Concept Learning for Description Logic-based Information Systems
    Authors:
    Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen, Andrzej Szałas, Thanh-Luong Tran
    Conference:
    KSE - International Conference on Knowledge and Systems Engineering (rok: 2012, ), Wydawca: IEEE
    Data:
    konferencja 17-19 sierpnia 2012
    Status:
    Published
  17. Cut-Free ExpTime Tableaux for Converse-PDL Extended with Regular Inclusion Axioms
    Authors:
    Linh Anh Nguyen
    Conference:
    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:
    Published
  18. Indeterministic Belief Structures
    Authors:
    Barbara Dunin-Kęplicz, Andrzej Szałas
    Conference:
    8th International KES Conference on Agents and Multi-agent Systems – Technologies and Applications (rok: 2014, ), Wydawca: Springer
    Data:
    konferencja 18-20 czerwca
    Status:
    Published
  19. On Horn Knowledge Bases in Regular Description Logic with Inverse
    Authors:
    Linh Anh Nguyen, Thi-Bich-Loc Nguyen, and Andrzej Szałas
    Conference:
    KSE 2013: The Fifth International Conference on Knowledge and Systems Engineering (rok: 2013, ), Wydawca: Springer-Verlag
    Data:
    konferencja 17-19 października 2013
    Status:
    Published
  20. Perceiving Rules under Incomplete and Inconsistent Information
    Authors:
    Barbara Dunin-Kęplicz, Alina Strachocka
    Conference:
    Computational Logic in Multi-Agent Systems 14th International Workshop (rok: 2013, ), Wydawca: Springer-Verlag
    Data:
    konferencja 16-18 września 2013
    Status:
    Published
  1. A Tableau Method with Optimal Complexity for Deciding the Description Logic SHIQ
    Authors:
    Linh Anh Nguyen
    Book:
    Advanced Computational Methods for Knowledge Engineering (rok: 2013, tom: SCI, vol. 479, strony: 331-342), Wydawca: Springer-Verlag
    Status:
    Published
  2. A New Perspective on Goals
    Authors:
    Barbara Dunin-Keplicz, A. Szałas
    Book:
    Tytuł książki w trakcie ustalania z wydawcą (rok: 2015, ), Wydawca: College Publications
    Status:
    Accepted for publication

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy