Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Logics for qualitative reasoning

2011/02/A/HS1/00395

Keywords:

qualitative reasoning logic knowledge representation dual tableau systems

Descriptors:

  • HS1_4: Logic, science methodology, philosophy of science
  • ST1_1: Logic and foundations
  • HS1_6: Nature of human mind (incl. mind's evolution, bio-psychological conditions of cognition, artificial intelligence)

Panel:

HS1 - Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology

Host institution :

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr hab. Joanna Golińska-Pilarek 

Number of co-investigators in the project: 9

Call: MAESTRO 1 - announced on 2011-06-15

Amount awarded: 1 013 320 PLN

Project start date (Y-m-d): 2012-05-29

Project end date (Y-m-d): 2017-05-29

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

Project status: Project settled

Equipment purchased [PL]

  1. Komputer przenośny (2 szt.) (7 000 PLN)

Information in the final report

  • Publication in academic press/journals (23)
  • Articles in post-conference publications (11)
  • Book publications / chapters in book publications (18)
  1. On directed simulations in description logics
    Authors:
    Ali Rezaei Divroodi, Linh Anh Nguyen
    Academic press:
    Journal of Logic and Computation (rok: 2017, tom: exx004, strony: 11689), Wydawca: Oxford Academic
    Status:
    Published
    DOI:
    10.1093/logcom/exx004 - link to the publication
  2. Qualitative physics in Angry Birds
    Authors:
    Przemysław Wałęga, Michał Zawidzki, Tomasz Lechowski
    Academic press:
    IEEE Transactions on Computational Intelligence and AI in Games (rok: 2016, tom: 8(2), strony: 152-165), Wydawca: IEEE
    Status:
    Published
    DOI:
    10.1109/TCIAIG.2016.2561080 - link to the publication
  3. A hybrid qualitative approach for relative movements
    Authors:
    Joanna Golińska-Pilarek, Emilio Muñoz Velasco
    Academic press:
    Logic Journal of the IGPL (rok: 2015, tom: 23(3), strony: 410-420), Wydawca: Oxford University Press
    Status:
    Published
    DOI:
    10.1093/jigpal/jzv012 - link to the publication
  4. A relational logic for spatial contact based on rough set approximation
    Authors:
    Ivo Düntsch, Ewa Orłowska, Michael Winter
    Academic press:
    Fundamenta Informaticae (rok: 2016, tom: 148(1-2), strony: 191-206), Wydawca: IOS Press
    Status:
    Published
    DOI:
    10.3233/FI-2016-1430 - link to the publication
  5. Bisimilarity for paraconsistent description logics
    Authors:
    Linh Anh Nguyen, Thi Hong Khanh Nguyen, Ngoc-Thanh Nguyen, Quang-Thuy Hae
    Academic press:
    Journal of Intelligent & Fuzzy Systems (rok: 2017, tom: 32, strony: 1203-1215), Wydawca: IOS Press
    Status:
    Published
    DOI:
    10.3233/JIFS-169120 - link to the publication
  6. Discrete dualities for some algebras with relations
    Authors:
    Ivo Düntsch, Ewa Orłowska
    Academic press:
    Journal of Logical and Algebraic Methods in Programming (rok: 2014, tom: 83(2), strony: 169-179), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.jlap.2014.02.006 - link to the publication
  7. Discrete duality for rough relation algebras
    Authors:
    Ivo Düntsch, Ewa Orłowska
    Academic press:
    Fundamenta Informaticae (rok: 2013, tom: 127 (1-4), strony: 35-47), Wydawca: IOS Press
    Status:
    Published
    DOI:
    10.3233/FI-2013-894 - link to the publication
  8. Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate
    Authors:
    Domenico Cantone, Pietro Ursino
    Academic press:
    Information and Computation (rok: 2014, tom: 237, strony: 215-242), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.ic.2014.02.005 - link to the publication
  9. Non-monotonic spatial reasoning with answer set programming modulo theories
    Authors:
    Przemysław Andrzej Wałęga, Carl Schultz, Mehul Bhatt
    Academic press:
    Theory and Practice of Logic Programming (rok: 2017, tom: 17(2), strony: 205-225), Wydawca: Cambridge University Press
    Status:
    Published
    DOI:
    10.1017/S1471068416000193 - link to the publication
  10. Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
    Authors:
    Joanna Golińska-Pilarek, Taneli Huuskonen, Emilio Muñoz Velasco
    Academic press:
    Annals of Pure and Applied Logic (rok: 2014, tom: 165(2), strony: 409-427), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.apal.2013.06.003 - link to the publication
  11. A stable qualitative movement control system based on propositional dynamic logic
    Authors:
    Przemysław Wałęga, Emilio Munoz Velasco
    Academic press:
    Journal of Multiple-Valued Logic and Soft Computing (rok: 2017, ), Wydawca: Old City Publishing
    Status:
    Accepted for publication
    DOI:
    brak - link to the publication
  12. Extending query-subquery nets for deductive databases under the well-founded semantics
    Authors:
    Son Thanh Cao, Linh Anh Nguyen, Ngoc Thanh Nguyen
    Academic press:
    Cybernetics and Systems (rok: 2017, tom: 48(3), strony: 249-266), Wydawca: Taylor and Francis
    Status:
    Published
    DOI:
    10.1080/01969722.2016.1276777 - link to the publication
  13. A discrete representation for dicomplemented lattices
    Authors:
    Ivo Düntsch, Léonard Kwuida, Ewa Orłowska
    Academic press:
    Fundamenta Informaticae (rok: 2017, ), Wydawca: IOS Press
    Status:
    Accepted for publication
    DOI:
    brak - link to the publication
  14. Hybrid logics for subject-oriented reasoning about location
    Authors:
    Michał Zawidzki, Przemysław Wałęga, Tomasz Lechowski
    Academic press:
    Journal of Applied Non-Classical Logics (rok: 2017, ), Wydawca: Taylor and Francis
    Status:
    Submitted
    DOI:
    brak - link to the publication
  15. (m, n)-rationalizable choices
    Authors:
    Domenico Cantone, Alfio Giarlotta, Salvatore Greco, Stephen Watson
    Academic press:
    Journal of Mathematical Psychology (rok: 2016, tom: 73, strony: 45653), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.jmp.2015.12.006 - link to the publication
  16. Discrete dualities for n-potent MTL-algebras and 2-potent BL-algebras
    Authors:
    Ivo Düntsch, Ewa Orłowska, Clint van Alten
    Academic press:
    Fuzzy Sets and Systems (rok: 2016, tom: 292, strony: 203-214), Wydawca: North Holland
    Status:
    Published
    DOI:
    10.1016/j.fss.2014.09.014 - link to the publication
  17. Query–subquery nets for Horn knowledge bases in first-order logic
    Authors:
    Son Thanh Cao, Linh Anh Nguyen
    Academic press:
    Journal of Information and Telecommunication (rok: 2017, tom: 1(1), strony: 79-99), Wydawca: Taylor and Francis
    Status:
    Published
    DOI:
    10.1080/24751839.2017.1295664 - link to the publication
  18. Tableau reductions: Towards an optimal decision procedure for the modal necessity
    Authors:
    Joanna Golińska-Pilarek, Emilio Munoz-Velasco, Angel Mora
    Academic press:
    Journal of Applied Logic (rok: 2016, tom: 17, strony: 14-24), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.jal.2015.09.005 - link to the publication
  19. What does it mean to reason qualitatively?
    Authors:
    Przemysław Wałęga
    Academic press:
    Filozofia Nauki (rok: 2015, tom: 1(89), strony: 59-80), Wydawca: Instytut Filozofii Uniwersytetu Warszawskiego
    Status:
    Published
    DOI:
    brak - link to the publication
  20. An ExpTime tableau method for dealing with nominals and qualified number restrictions in deciding the description logic SHOQ
    Authors:
    Linh Anh Nguyen, Joanna Golińska-Pilarek
    Academic press:
    Fundamenta Informaticae (rok: 2014, tom: 135, strony: 433-449), Wydawca: IOS Press
    Status:
    Published
    DOI:
    10.3233/FI-2014-1133 - link to the publication
  21. ExpTime tableaux with global caching for graded propositional dynamic logic
    Authors:
    Linh Anh Nguyen
    Academic press:
    Fundamenta Informaticae (rok: 2016, tom: 147(2-3), strony: 261-288), Wydawca: IOS Press
    Status:
    Published
    DOI:
    10.3233/FI-2016-1408 - link to the publication
  22. Overfitting problem in a virtual sensor obtained with W–M method
    Authors:
    Przemysław Wałęga
    Academic press:
    Procedia Computer Science (rok: 2014, tom: 35, strony: 54-62), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.procs.2014.08.084 - link to the publication
  23. Mixed algebras and their logics
    Authors:
    Ivo Düntsch, Ewa Orłowska, Tinko Tinchev
    Academic press:
    Journal of Applied Non-Classical Logics (rok: 2017, ), Wydawca: Taylor and Francis
    Status:
    Accepted for publication
    DOI:
    brak - link to the publication
  1. An ExpTime tableau method for dealing with nominals and quantified number restrictions in deciding the Description Logic SHOQ
    Authors:
    Linh, Anh Nguyen, Joanna Golińska-Pilarek
    Conference:
    22nd International Workshop on Concurrency, Specification and Programming (rok: 2013, ), Wydawca: Białystok University of Technology
    Data:
    konferencja 25-27 września 2013
    Status:
    Published
  2. Human-like spatial reasoning formalisms
    Authors:
    Przemysław Wałęga
    Conference:
    Thirty-First AAAI Conference on Artificial Intelligence (rok: 2017, ), Wydawca: AAAI
    Data:
    konferencja 4-9.02.2017
    Status:
    Published
  3. Default reasoning with propositional encoding of topological relations
    Authors:
    Przemysław Wałęga
    Conference:
    The joint NLPAR 2015 and LNMR 2015 workshops: 2ndWorkshop on Natural Language Processing and Automated Reasoning, and 2nd International Workshop on Learning and Nonmonotonic Reasoning (rok: 2015, ), Wydawca: University of Kentucky
    Data:
    konferencja 27 września 2015
    Status:
    Published
  4. Reasoning for moving blocks problem: formal representation and implementation
    Authors:
    Przemysław Wałęga
    Conference:
    Workshop on Knowledge Representation and Reasoning in Robotics / International Conference on Logic Programming (ICLP) (rok: 2013, ), Wydawca: KRR 2013
    Data:
    konferencja 25 sierpnia 2013
    Status:
    Published
  5. On the efficiency of query-subquery nets: an experimental point of view
    Authors:
    Son Thanh Cao
    Conference:
    Fourth Symposium on Information and Communication Technology (rok: 2013, ), Wydawca: ACM
    Data:
    konferencja 5-6 grudnia 2013
    Status:
    Published
  6. Qualitative physics in Angry Birds: first results
    Authors:
    Przemysław Wałęga, Tomasz Lechowski, Michał Zawidzki
    Conference:
    21st European Conference on Artificial Intelligence; Angry Birds AI Competition (rok: 2014, ), Wydawca: Australian National University
    Data:
    konferencja 20 sierpnia 2014
    Status:
    Published
    DOI:
    link to the publication
  7. Reasoning about space and change with Answer Set Programming modulo theories
    Authors:
    Przemysław Wałęga
    Conference:
    Twenty-Fifth International Joint Conference on Artificial Intelligence (rok: 2016, ), Wydawca: AAAI Press / International Joint Conferences on Artificial Intelligence
    Data:
    konferencja 9-15 lipca 2016
    Status:
    Published
  8. Hybridizing interval temporal logics: the first step
    Authors:
    Przemysław Wałęga
    Conference:
    Thirty-First AAAI Conference on Artificial Intelligence (rok: 2017, ), Wydawca: AAAI
    Data:
    konferencja 4-9.02.2017
    Status:
    Published
  9. On dual tableau-based decision procedures for relational fragments
    Authors:
    Domenico Cantone, Joanna Golińska-Pilarek, Marianna Nicolosi Asmundo
    Conference:
    Workshop Automated Deduction: Decidability, Complexity, Tractability (ADDCT) affiliated at IJCAR'14 7th International Joint Conference on Automated Reasoning (rok: 2014, ), Wydawca: Vienna University of Technology and Kurt Godel Society
    Data:
    konferencja 18 lipiec 2014
    Status:
    Published
  10. Qualitative evaluation of stability in disassembling block structures with robot manipulator
    Authors:
    Przemysław Wałęga, Michał Zawidzki, Jakub Możaryn
    Conference:
    International Workshop on Qualitative Reasoning (rok: 2017, ), Wydawca: Qualitative Reasoning Group, Northwestern University
    Data:
    konferencja 21.08.2017
    Status:
    Accepted for publication
  11. Searching for well-behaved fragments of Halpern-Shoham logic
    Authors:
    Przemysław Wałęga
    Conference:
    International Joint Conference on Artificial Intelligence 2017 - Doctoral Consortium (rok: 2017, ), Wydawca: AAAI Press / International Joint Conferences on Artificial Intelligence
    Data:
    konferencja 19-25.08.2017
    Status:
    Accepted for publication
  1. ASPMT(QS): Non-monotonic spatial reasoning with answer set programming modulo theories
    Authors:
    Przemysław Wałęga, Mehul Bhatt, Carl Schultz
    Book:
    Logic Programming and Nonmonotonic Reasoning (Lecture Notes in Computer Science) (rok: 2015, tom: 9345, strony: 488-501), Wydawca: Springer
    Status:
    Published
  2. An empirical approach to query-subquery nets with tail-recursion elimination
    Authors:
    Son Thanh Cao, Linh Anh Nguyen
    Book:
    Advances in Intelligent Systems and Computing: New Trends in Database and Information Systems II (rok: 2015, tom: 312, strony: 109-120), Wydawca: Springer
    Status:
    Published
  3. An improved depth-first control strategy for query-subquery nets in evaluating queries to Horn knowledge bases
    Authors:
    Son Thanh Cao, Linh Anh Nguyen
    Book:
    Advances in Intelligent Systems and Computing: Advanced Computational Methods for Knowledge Engineering (rok: 2014, tom: 282, strony: 281-295), Wydawca: Springer
    Status:
    Published
  4. Computational complexity of a hybridized Horn fragment of Halpern-Shoham logic
    Authors:
    Przemysław Wałęga
    Book:
    Logic and Its Applications. ICLA 2017 (seria: Lecture Notes in Computer Science) (rok: 2017, tom: 10119, strony: 224-238), Wydawca: Springer
    Status:
    Published
  5. On decidability of a logic for order of magnitude qualitative reasoning with bidirectional negligibility
    Authors:
    Joanna Golińska-Pilarek
    Book:
    Logics in Artificial Intelligence (Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence) (rok: 2012, tom: 7519, strony: 255-266), Wydawca: Springer
    Status:
    Published
  6. Automatyczne systemy przetwarzania informacji – paradygmat logiczny
    Authors:
    Joanna Golińska-Pilarek
    Book:
    Różne oblicza informacji (rok: 2017, ), Wydawca: Oficyna Wydawnicza Politechniki Warszawskiej
    Status:
    Accepted for publication
  7. A set-theoretic approach to ABox reasoning services
    Authors:
    Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
    Book:
    Rules and Reasoning (eds. S. Costantini, E. Franconi, W. Van Woensel, R.Kontchakov, F. Sadri, D. Roman), series: Lecture Notes in Computer Science (rok: 2017, tom: 10364, strony: 87-102), Wydawca: Springer
    Status:
    Published
  8. Deterministic tableau-decision procedure via reductions for modal logic K
    Authors:
    Joanna Golińska-Pilarek, Emilio Munoz Velasco, Angel Mora
    Book:
    Advances in Intelligent Systems and Computing: International Joint Conference SOCO'13-CISIS'13-ICEUTE'13 (rok: 2014, tom: 239, strony: 429-438), Wydawca: Springer
    Status:
    Published
  9. Mixed algebras and their logics
    Authors:
    Ivo Düntsch, Ewa Orłowska, Tinko Tinchev
    Book:
    Festschrift in Honour of Luis Farinas del Cerro (rok: 2016, tom: nie dotyczy, strony: 45430), Wydawca: Université Paul Sabatier, Institut de Recherche en Informatique de Toulouse
    Status:
    Published
  10. Post algebras in the work of Helena Rasiowa
    Authors:
    Ewa Orłowska
    Book:
    Lvov-Warsaw School. Past and Present (seria: Studies in Universal Logic ) (rok: 2017, ), Wydawca: Springer/Birkhäsuer
    Status:
    Accepted for publication
  11. A relational dual tableau decision procedure for multimodal and description logics
    Authors:
    Domenico Cantone, Joanna Golińska-Pilarek, Marianna Nicolosi Asmundo
    Book:
    Lecture Notes in Computer Science: Hybrid Artificial Intelligence Systems 2014 (rok: 2014, tom: 8480, strony: 466-477), Wydawca: Springer
    Status:
    Published
  12. Dualities for Structures of Applied Logics (monografia)
    Authors:
    Ewa Orlowska, Anna Maria Radzikowsa and Ingrid Rewitzky
    Book:
    Dualities for Structures of Applied Logics (rok: 2015, tom: 56, strony: 396), Wydawca: College Publications
    Status:
    Published
  13. Query-subquery nets with stratified negation
    Authors:
    Son Thanh Cao
    Book:
    Advanced Computational Methods for Knowledge Engineering (seria Advances in Intelligent Systems and Computing) (rok: 2015, tom: 358, strony: 355-366), Wydawca: Springer International Publishing
    Status:
    Published
  14. Dual tableau-based decision procedures for fragments of the logic of binary relations
    Authors:
    Domenico Cantone, Marianna Nicolosi Asmundo
    Book:
    Ewa Orłowska on Relational Methods in Logic and Computer Science (seria: Outstanding Contributions to Logic) (rok: 2017, ), Wydawca: Springer
    Status:
    Accepted for publication
  15. On expressiveness of Halpern-Shoham logic and its Horn fragments
    Authors:
    Przemysław Wałęga
    Book:
    Proceedings of the 24th International Symposium on Temporal Representation and Reasoning TIME 2017 (rok: 2017, ), Wydawca: LIPIcs-Leibniz International Proceedings in Informatics
    Status:
    Accepted for publication
  16. A Movement control system based on qualitative reasoning
    Authors:
    Przemysław Wałęga, Emilio Munoz Velasco
    Book:
    10th International Conference on Soft Computing Models in Industrial and Environmental Applications ( Advances in Intelligent Systems and Computing) (rok: 2015, tom: 368, strony: 179-189), Wydawca: Springer
    Status:
    Published
  17. Banishing ultrafilters from our consciousness
    Authors:
    Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti
    Book:
    Martin Davis on Computability, Computational Logic, and Mathematical Foundations (eds. E. G. Omodeo, A. Policriti), series: Outstanding Contributions to Logic (rok: 2016, tom: 10, strony: 255-283), Wydawca: Springer
    Status:
    Published
  18. On the efficiency of query-subquery nets with right/tail-recursion elimination in evaluating queries to Horn knowledge bases
    Authors:
    Son Thanh Cao
    Book:
    Advanced Computational Methods for Knowledge Engineering (seria Advances in Intelligent Systems and Computing) (rok: 2015, tom: 358, strony: 243-254), Wydawca: Springer International Publishing
    Status:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy