Logics for Qualitative Reasoning
Przemysław Wałęga, Emilio Munoz-Velasco, A stable qualitative movement control system based on propositional dynamic logic. Accepted for publication in Journal of Multiple-Valued Logic and Soft Computing, 2017
Ivo Düntsch, Ewa Orłowska, Tinko Tinchev, Mixed algebras and their logics. Accepted for publication in Journal of Applied Non-Classical Logics, 2017
Ivo Düntsch, Leonard Kwuida, Ewa Orłowska, A discrete representation for dicomplemented lattices. Accepted for publication in Fundamenta Informaticae, 2017
Przemysław Wałęga, On expressiveness of Halpern-Shoham logic and its Horn fragments. Accepted for publication in: Proceedings of the 24th International Symposium on Temporal Representation and Reasoning TIME 2017, 2017, Belgium
Przemysław Wałęga, Michał Zawidzki, Jakub Możaryn, Qualitative evaluation of stability in disassembling block structures with robot manipulator. Accepted for publication in: Proceedings of the International Workshop on Qualitative Reasoning, 2017, Melbourne, Australia
Przemysław Wałęga, Searching for well-behaved fragments of Halpern-Shoham logic. Accepted for publication in: Proceedings of the International Joint Conference on Artificial Intelligence 2017 - Doctoral Consortium, 2017, Melbourne, Australia
Domenico Cantone, Marianna Nicolosi-Asmundo, Dual tableau-based decision procedures for fragments of the logic of binary relations. Accepted for publication in: J. Golińska-Pilarek, M. Zawidzki (eds.) Ewa Orłowska on Relational Methods in Logic and Computer Science, Outstanding Contributions to Logic, Springer
Ewa Orłowska, Post algebras in the work of Helena Rasiowa. Accepted for publication in: Lvov-Warsaw School. Past and Present, Studies in Universal Logic , Springer 2017
Joanna Golińska-Pilarek, Automatyczne systemy przetwarzania informacji -- paradygmat logiczny. Accepted for publication in: P. Stacewicz (ed.) Różne oblicza informacji, Oficyna Wydawnicza Politechniki Warszawskiej, 2017
Joanna Golińska-Pilarek, Michał Zawidzki, Reasoning with qualitative distance. Submitted to Information and Computation
Przemysław Wałęga, Michał Zawidzki, Hybrid logics for subject-oriented reasoning about location. Submitted to Journal of Applied Non-Classical Logics
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), 2017, 249-266, doi: 10.1080/01969722.2016.1276777
Son Thanh Cao, Linh Anh Nguyen, Query–subquery nets for Horn knowledge bases in first-order logic. Journal of Information and Telecommunication 1(1), 2017, 79-99, doi: dx.doi.org/10.1080/24751839.2017.1295664
Ali Rezaei Divroodi, Linh Anh Nguyen On directed simulations in description logics. Journal of Logic and Computation 2017, doi: doi.org/10.1093/logcom/exx004
Linh Anh Nguyen, Thi Hong Khanh Nguyen, Ngoc-Thanh Nguyen, Quang-Thuy Hae Bisimilarity for paraconsistent description logics. Journal of Intelligent and Fuzzy Systems 32, 2017, 1203-1215, doi: 10.3233/JIFS-169120
Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria A set-theoretic approach to ABox reasoning services. In: S. Costantini, E. Franconi, W. Van Woensel, R.Kontchakov, F. Sadri, D. Roman (eds.) Rules and Reasoning, Lecture Notes in Computer Science 10364, 2017, 87-102, doi: 10.1007/978-3-319-61252-2
Przemysław Wałęga, Human-like spatial reasoning formalisms. In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, AAAI 2017, 5054–5055, San Francisco, USA
Przemysław Wałęga, Hybridizing interval temporal logics: the first step. In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, AAAI 2017, 4997–4998, San Francisco, USA
Ivo Düntsch, Ewa Orłowska, Hui Wang, 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
Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti, Banishing ultrafilters from our consciousness. In: E. G. Omodeo, A. Policriti (eds.) Martin Davis on Computability, Computational Logic, and Mathematical Foundations, Outstanding Contributions to Logic 10, 2016, 255-283, doi: 10.1007/978-3-319-41842-1
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
Linh Anh Nguyen, ExpTime tableaux with global caching for graded propositional dynamic logic. Fundamenta Informaticae 147(2-3), 2016, 261-288, doi: 10.3233/FI-2016-1408
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
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
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
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