Logics for Qualitative Reasoning

Forthcoming publications

Ivo Düntsch, Ewa Orłowska, Tinko Tinchev, Mixed algebras and their logics. Journal of Applied Non-Classical Logics, 2017

Son Thanh Cao, Linh Anh Nguyen, Query–subquery nets for Horn knowledge bases in first-order logic. Journal of Information and Telecommunication, 2017

2017

Przemysław Wałęga, Mehul Bhatt, Carl Schultz, Non-monotonic spatial reasoning with answer set programming modulo theories. Theory and Practice of Logic Programming 17(2), 2017, 205-225, doi: https://doi.org/10.1017/ S1471068416000193

Przemysław Wałęga, Computational complexity of a hybridized Horn fragment of Halpern-Shoham logic. In: S. Ghosh, S. Prasad (eds.). Logic and Its Applications. ICLA 2017, Lecture Notes in Computer Science, vol 10119, Springer, Berlin, Heidelberg 2017

Son Thanh Cao, Linh Anh Nguyen, Ngoc Thanh Nguyen, Extending query-subquery nets for deductive databases under the well-founded semantics. Cybernetics and Systems 48(3), 249-266, doi: 10.1080/01969722.2016.1276777

2016

Ivo Düntsch, Ewa Orłowska, Michael Winter, A relational logic for spatial contact based on rough set approximation. Fundamenta Informaticae 148(1-2), 2016, 191-206, doi: 10.3233/FI-2016-1430

Przemysław Wałęga, Reasoning about space and change with answer set programming modulo theories. Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016, 4038-4039

Przemysław Wałęga, Michał Zawidzki, Tomasz Lechowski, Qualitative physics in Angry Birds. IEEE Transactions on Computational Intelligence and AI in Games 8(2), 2016, 152-165, doi: 10.1109/TCIAIG.2016.2561080

Ivo Düntsch, Ewa Orłowska, Tinko Tinchev, Mixed algebras and their logics. In: Pedro Cabalar, David Pearce, Andreas Herzig (eds.), Logical Reasoning and Computation: Essays dedicated to Luis Farinas del Cerro, Université de Toulouse, Institut de Recherche en Informatique de Toulouse, 2016, 5–18

Ivo Düntsch, Ewa Orłowska, Clint van Alten, Discrete dualities for n-potent MTL–algebras and 2-potent BL–algebras. Fuzzy Sets and Systems 292, 2016, 203–214, doi: 10.1016/j.fss.2014.09.014

Domenico Cantone, Alfio Giarlotta, Salvatore Greco, Stephen Watson, (m,n)-rationalizable choices. Journal of Mathematical Psychology 73, 2016, 12–27, doi: 10.1016/j.jmp.2015.12.006

2015

Ewa Orłowska, Anna Maria Radzikowska, Ingrid Rewitzky, Dualities for Structures of Applied Logics, College Publications 56, 2015, 396 pp., ISBN: 978-84890-181-0

Joanna Golińska-Pilarek, Emilio Munoz-Velasco, Angel Mora, Tableau reductions: Towards an optimal decision procedure for the modal necessity. Journal of Applied Logic 17, 2016, 14-24, available online September 28, 2015, doi: 10.1016/j.jal.2015.09.005

Tomasz Lechowski, Przemysław Wałęga, Michał Zawidzki (eds.), Proceedings of the LQMR 2015 Workshop. Annals of Computer Science and Information Systems, vol. 7, 2015, Polish Information Processing Society, ISSN: 2300-5963, doi: 10.15439/978-83-60810-78-1

Joanna Golińska-Pilarek, Emilio Munoz-Velasco, A hybrid qualitative approach for relative movements. Logic Journal of the IGPL 23(3), 2015, 410–420, doi:10.1093/jigpal/jzv012

Przemysław Wałęga, Nonmonotonic qualitative spatial reasoning. Lecture Notes in Computer Science 9345, 2015, 565–571

Przemysław Wałęga, Default reasoning with propositional encoding of topological relations. In: M. Balduccini et al. (eds.), Joint Proceedings of the 2nd Workshop on Natural Language Processing and Automated Reasoning, and the 2nd International Workshop on Learning and Nonmonotonic Reasoning at LPNMR 2015, 27–38

Przemysław Wałęga, Mehul Bhatt, Carl Schultz, ASPMT (QS): Non-monotonic spatial reasoning with answer set programming modulo theories. Lecture Notes in Computer Science 9345, 2015, 488–501

Przemysław Wałęga, Emilio Munoz-Velasco, A Movement Control System Based on Qualitative Reasoning. Advances in Intelligent Systems and Computing 368, 2015, 179–189

Przemysław Wałęga, What does it mean to reason qualitatively?. Filozofia Nauki 89(1), 2015, 59–80

Son Thanh Cao, On the efficiency of query-subquery nets with right/tailrecursion elimination in evaluating queries to Horn knowledge bases. Advances in Intelligent Systems and Computing 358, 2015, 243–254, doi: 10.1007/978-3-319-17996-4_22

Son Thanh Cao, Query-subquery nets with stratified negation. Advances in Intelligent Systems and Computing 358, 2015, 355–366, doi: 10.1007/978-3-319-17996-4_32

Son Thanh Cao, Linh Anh Nguyen, An empirical approach to query-subquery nets with tail-recursion elimination. Advances in Intelligent Systems and Computing 312, 2015, 109–120, doi: 10.1007/978-3-319-10518-5_9

2014

Joanna Golińska-Pilarek, Taneli Huuskonen, Emilio Munoz-Velasco, Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. Annals of Pure and Applied Logic 165(2), 2014, 409-427, available online 4 July 2013, doi: 10.1016/j.apal.2013.06.003

Linh Anh Nguyen, Joanna Golińska-Pilarek, An ExpTime tableau method for dealing with nominals and quantified number restrictions in deciding the Description Logic SHOQ. Fundamenta Informaticae 135(4), 2014, 433–449, doi: 10.3233/FI-2014-1133

Domenico Cantone, Joanna Golińska-Pilarek, Marianna Nicolosi Asmundo, A relational dual tableau decision procedure for multimodal and description logics. Lecture Notes in Computer Science 8480, 2014, 466–477, doi: 10.1007/978-3-319-07617-1_41

Domenico Cantone, Joanna Golińska-Pilarek, Marianna Nicolosi Asmundo, On dual tableau-based decision procedures for relational fragments. In Proceedings of the Workshop on Automated Deduction: Decidability, Complexity, Tractability ADDCT’14 (IJCAR’14 7th International Conference on Automated Reasoning, 18 July 2014 Vienna, Vienna Summer of Logic), 2014, 50–58

Domenico Cantone, Pietro Ursino, Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate. Information and Computation 237, 2014, 215–242, doi: 10.1016/j.ic.2014.02.005

Son Thanh Cao, Linh Anh Nguyen, An improved depth-first control strategy for query-subquery nets in evaluating queries to Horn knowledge bases. Advances in Intelligent Systems and Computing 282, 2014, 281–295, doi: 10.1007/978-3-319-06569-4_21

Ivo Düntsch, Ewa Orłowska, Discrete dualities for some algebras with relations. Journal of Logical and Algebraic Methods in Programming 83(2), 2014, 169–179, doi: 10.1016/j.jlap.2014.02.006

Przemysław Wałęga, Overfitting problem in a virtual sensor obtained with W–M method. Procedia Computer Science 35, 2014, 54–62, doi: 10.1016/j.procs.2014.08.084

Przemysław Wałęga, Tomasz Lechowski, Michał Zawidzki, Qualitative physics in Angry Birds: first results. Published online as an accepted paper of ECAI 2014 Symposium on AI in Angry Birds, 2014, see also Angry Birds Competition at 21st European Conference on Artificial Intelligence

Joanna Golińska-Pilarek, Emilio Munoz-Velasco, Angel Mora, Deterministic tableau-decision procedure via reductions for modal logic K. Advances in Intelligent Systems and Computing 239, 2014, 429–438, doi:10.1007/978-3-319-01854-6_44

2013

Son Thanh Cao, On the efficiency of query-subquery nets: an experimental point of view . In Proceedings of the Fourth International Symposium on Information and Communication Technology, ACM 2013, 148–157, doi: 10.1145/2542050.2542085

Ivo Düntsch, Ewa Orłowska, Discrete duality for rough relation algebras. Fundamenta Informaticae 127, 2013, 35–47, doi: 10.3233/FI-2013-894

Linh Anh Nguyen, Joanna Golińska-Pilarek, An ExpTime tableau method for dealing with nominals and quantified number restrictions in deciding the Description Logic SHOQ. In M.S. Szczuka, L. Czaja, and M. Kacprzak (eds.), Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland, vol. 1032 of CEUR Workshop Proceedings, 2013, 296–308

Przemysław Wałęga, Reasoning for moving blocks problem: formal representation and implementation. In Workshop Proceedings of Knowledge Representation and Reasoning in Robotics at International Conference on Logic Programming (ICLP), August 25, 2013, Istanbul, Turkey, 2013, 18–30

2012

Joanna Golińska-Pilarek, On decidability of a logic for order of magnitude qualitative reasoning with bidirectional negligibility. Lecture Notes in Computer Science 7519, 2012, 255–266 , doi: 10.1007/978-3-642-33353-8

Joanna Golińska-Pilarek, Emilio Munoz-Velasco, Reasoning with qualitative velocity: towards a hybrid approach. Lecture Notes in Computer Science 7208, 2012, 635–646, doi: 10.1007/978-3-642-28942-2