{"type":"ScholarlyArticle","title":"Searching for Well-Behaved Fragments of Halpern-Shoham Logic","authors":[{"name":"Przemysław Andrzej Wałęga","slug":"przemys-aw-andrzej-wa-ega","given":"Przemysław Andrzej","family":"Wałęga","affiliation":"Institute of Philosophy , University of Warsaw , Poland"}],"abstract":"Temporal reasoning constitutes one of the main topics within the field of Artificial Intelligence. Particularly interesting are interval-based methods, in which time intervals are treated as basic ontological objects, in opposite to point-based methods, where time-points are considered as basic. The former approach is more expressive and seems to be more appropriate for such applications as natural language analysis or real time processes verification. My research concerns the classical interval-based logic, namely Halpern-Shoham logic (HS). In particular, my investigation continues recently proposed search for well-behaved - i.e., expressive enough for practical applications and of low computational complexity - HS fragments obtained by imposing syntactical restrictions on the usage of propositional connectives in their languages.","doi":"10.24963/ijcai.2017/769","url":"https://ijcai.org/proceedings/2017/769","pdf":"https://ijcai.org/proceedings/2017/0769.pdf","markdown":"https://ijcai.org/proceedings/2017/769.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/769","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Doctoral Consortium","track":"Doctoral Consortium","number":769,"pages":{"first":5219,"last":5220},"keywords":["Artificial Intelligence: computer science","Artificial Intelligence: knowledge representation","Artificial Intelligence: artificial intelligence"],"videos":[],"references":[{"position":1,"raw":"[Areces et al., 2000] Carlos Areces, Patrick Blackburn, and Maarten Marx. The computational complexity of hybrid temporal logics. Logic Journal of IGPL, 8(5):653-679, 2000.","title":"The computational complexity of hybrid temporal logics","authors":"Carlos Areces, Patrick Blackburn, Maarten Marx","year":"2000","venue":"Logic Journal of IGPL","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Blackburn, 2000] Patrick Blackburn. Representation, rea- soning, and relational structures: a hybrid logic manifesto. Logic Journal of the IGPL, 8(3), 2000.","title":"Representation, reasoning, and relational structures: a hybrid logic manifesto","authors":"Patrick Blackburn","year":"2000","venue":"Logic Journal of the IGPL","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Bresolin et al., 2014] Davide Bresolin, Emilio Muñoz- Velasco, and Guido Sciavicco. Sub-propositional frag- ments of the interval temporal logic of Allen's relations. In European Workshop on Logics in Artificial Intelligence, pages 122-136. Springer, 2014.","title":"Sub-propositional fragments of the interval temporal logic of Allen's relations","authors":"Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco","year":"2014","venue":"European Workshop on Logics in Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"Bresolin et al., Forthcoming] Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciav- icco, and Michael Zakharyaschev. Horn fragments of the Halpern-Shoham interval temporal logic. Forthcoming. [Halpern and Shoham, 1991] Joseph Yehuda Halpern and Yoav Shoham. A propositional modal logic of time inter- vals. Journal of the ACM (JACM), 38(4):935-962, 1991.","title":"Horn fragments of the Halpern-Shoham interval temporal logic. Forthcoming","authors":"Bresolin","year":"1991","venue":"Journal of the ACM (JACM)","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Kontchakov et al., 2016] Roman Kontchakov, Laura Pan- dolfo, Luca Pulina, Vladislav Ryzhikov, and Michael Za- kharyaschev. Temporal and spatial OBDA with many- dimensional Halpern-Shoham logic. In Proceedings of 25th International Joint Conference on Artificial Intelli- gence (IJCAI-2016). AAAI Press, 2016.","title":"Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, and Michael Zakharyaschev","authors":"Kontchakov","year":"2016","venue":"Proceedings of 25th International Joint Conference on Artificial Intelligence (IJCAI-2016)","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Wałęga, 2017] Przemysław Andrzej Wałęga. Computa- tional complexity of a hybridized Horn fragment of Halpern-Shoham logic. In Indian Conference on Logic and Its Applications, pages 224-238. Springer, 2017.","title":"Computational complexity of a hybridized Horn fragment of Halpern-Shoham logic","authors":"Andrzej Przemysław, Wałęga","year":"2017","venue":"Indian Conference on Logic and Its Applications","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}