COOL — A Generic Reasoner for Coalgebraic Hybrid Logics (System Description)

Gorin D, Pattinson D, Schröder L, Widmann F, Wißmann T (2014)

Publication Language: English

Publication Type: Conference contribution, Original article

Publication year: 2014

Publisher: Springer

Edited Volumes: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Series: Lecture Notes in Artificial Intelligence

City/Town: Berlin

Book Volume: 8562

Pages Range: 396-402

Conference Proceedings Title: Automated Reasoning

Event location: Wien

ISBN: 978-3-319-08587-6

URI: http://www8.cs.fau.de/_media/research:papers:cool.pdf

DOI: 10.1007/978-3-319-08587-6_31

Abstract

We describe the Coalgebraic Ontology Logic solver Cool, a generic reasoner that decides the satisfiability of modal (and, more generally, hybrid) formulas with respect to a set of global assumptions-in Description Logic parlance, we support a general TBox and internalize a Boolean ABox. The level of generality is that of coalgebraic logic, a logical framework covering a wide range of modal logics, beyond relational semantics. The core of Cool is an efficient unlabelled tableaux search procedure using global caching. Concrete logics are added by implemening the corresponding (one-step) tableaux rules. The logics covered at the moment include standard relational examples as well as graded modal logic and Pauly's Coalition Logic (the next-step fragment of Alternating-time Temporal Logic), plus every logic that arises as a fusion of the above. We compare the performance of Cool with state-of-the-art reasoners. © 2014 Springer International Publishing Switzerland.

Authors with CRIS profile

Daniel Gorin Lehrstuhl für Informatik 8 (Theoretische Informatik) Lutz Schröder Lehrstuhl für Informatik 8 (Theoretische Informatik) Thorsten Wißmann Lehrstuhl für Informatik 8 (Theoretische Informatik)

Related research project(s)

Coalgebra-based generic decision procedures and complexity bounds for modal and hybrid logics (GenMod) May 1, 2008 - Sept. 30, 2016 Probabilistische Beschreibungslogik als Fragment der Probabilistischen Logik Erster Stufe (ProbDL) April 1, 2011 - April 1, 2014

Involved external institutions

Australian National University (ANU) AU Australia (AU) Imperial College London / The Imperial College of Science, Technology and Medicine GB United Kingdom (GB)

How to cite

APA:

Gorin, D., Pattinson, D., Schröder, L., Widmann, F., & Wißmann, T. (2014). COOL — A Generic Reasoner for Coalgebraic Hybrid Logics (System Description). In Automated Reasoning (pp. 396-402). Wien: Berlin: Springer.

MLA:

Gorin, Daniel, et al. "COOL — A Generic Reasoner for Coalgebraic Hybrid Logics (System Description)." Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR), Wien Berlin: Springer, 2014. 396-402.

BibTeX: Download