1![Journal of Artificial Intelligence Research–228 Submitted 03/09; publishedHypertableau Reasoning for Description Logics Boris Motik Journal of Artificial Intelligence Research–228 Submitted 03/09; publishedHypertableau Reasoning for Description Logics Boris Motik](https://www.pdfsearch.io/img/bae04ea22d802d08765d076ba5293ead.jpg) | Add to Reading ListSource URL: www.hermit-reasoner.comLanguage: English - Date: 2012-02-03 12:06:02
|
---|
2![Dynamic Trace Logic: Definition and Proofs? Bernhard Beckert and Daniel Bruns?? Karlsruhe Institute of Technology, Department of Informatics Abstract. Dynamic logic is an established instrument for program verification a Dynamic Trace Logic: Definition and Proofs? Bernhard Beckert and Daniel Bruns?? Karlsruhe Institute of Technology, Department of Informatics Abstract. Dynamic logic is an established instrument for program verification a](https://www.pdfsearch.io/img/1c7a32430b8aaf856eb77149a117845a.jpg) | Add to Reading ListSource URL: formal.iti.kit.eduLanguage: English - Date: 2014-03-13 08:30:05
|
---|
3![Optimized Description Logic Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik Oxford University Computing Laboratory, UK Abstract. State of the art reasoners for expressive description logics, such Optimized Description Logic Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik Oxford University Computing Laboratory, UK Abstract. State of the art reasoners for expressive description logics, such](https://www.pdfsearch.io/img/2d1c6591b2bbc70aa3fc7b75da050522.jpg) | Add to Reading ListSource URL: www.hermit-reasoner.comLanguage: English - Date: 2012-02-03 12:06:02
|
---|
4![An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ Linh Anh Nguyen1,2 and Joanna Goli´ nska-Pilarek3 1 An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ Linh Anh Nguyen1,2 and Joanna Goli´ nska-Pilarek3 1](https://www.pdfsearch.io/img/9d27e6311894d6dba056eda91f85a274.jpg) | Add to Reading ListSource URL: ceur-ws.orgLanguage: English - Date: 2013-09-03 07:12:26
|
---|
5![MUltlog and MUltseq Reanimated and Married M. Baaz1 C.G. Ferm¨ uller1 1 MUltlog and MUltseq Reanimated and Married M. Baaz1 C.G. Ferm¨ uller1 1](https://www.pdfsearch.io/img/2108dc06bf9bfc2da80805bf174d6fcf.jpg) | Add to Reading ListSource URL: www.preining.infoLanguage: English - Date: 2005-04-12 18:14:31
|
---|
6![TABLEAUX 2011 Workshops, Tutorials, and Short Papers Martin Giese and Roman Kuznets (editors) Technical Report IAM, 4–8 JulyInstitut fur TABLEAUX 2011 Workshops, Tutorials, and Short Papers Martin Giese and Roman Kuznets (editors) Technical Report IAM, 4–8 JulyInstitut fur](https://www.pdfsearch.io/img/0831d2087923487a9f2bd7eb9680c44c.jpg) | Add to Reading ListSource URL: www.tableaux11.unibe.chLanguage: English |
---|
7![From Axioms to Rewriting Rules Guillaume Burel ÉNSIIE/Cédric 1 square de la résistance, 91025 Évry cedex, France http://www.ensiie.fr/˜guillaume.burel/ From Axioms to Rewriting Rules Guillaume Burel ÉNSIIE/Cédric 1 square de la résistance, 91025 Évry cedex, France http://www.ensiie.fr/˜guillaume.burel/](https://www.pdfsearch.io/img/281888234b710c4fe735b31222dac626.jpg) | Add to Reading ListSource URL: www.ensiie.frLanguage: English - Date: 2015-01-06 05:11:19
|
---|
8![TERMINATION FOR HYBRID TABLEAUS THOMAS BOLANDER AND PATRICK BLACKBURN Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨ uner [5]. Their paper gives TERMINATION FOR HYBRID TABLEAUS THOMAS BOLANDER AND PATRICK BLACKBURN Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨ uner [5]. Their paper gives](https://www.pdfsearch.io/img/8f3bc71ae048efe4b786748e0962ef71.jpg) | Add to Reading ListSource URL: www.imm.dtu.dkLanguage: English - Date: 2007-04-02 08:29:00
|
---|
9![October 27, 2013 Journal of Applied Non-Classical Logics main October 27, 2013 Journal of Applied Non-Classical Logics main](https://www.pdfsearch.io/img/c94e4babce72493a74fa8df64f5fed74.jpg) | Add to Reading ListSource URL: files.oliverfriedmann.deLanguage: English - Date: 2013-10-27 20:44:29
|
---|
10![Decision Procedures for CTL∗ Oliver Friedmann and Markus Latte Dept. of Computer Science, University of Munich, Germany Abstract. We give an overview over three serious attempts to devise an effective decision method Decision Procedures for CTL∗ Oliver Friedmann and Markus Latte Dept. of Computer Science, University of Munich, Germany Abstract. We give an overview over three serious attempts to devise an effective decision method](https://www.pdfsearch.io/img/54a00bb15afd9bd0624b9d47c7e490e9.jpg) | Add to Reading ListSource URL: files.oliverfriedmann.deLanguage: English - Date: 2012-02-10 07:43:07
|
---|