Search the dblp DataBase
Stephan Tobies :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Colin Hirsch , Stephan Tobies A Tableau Algorithm for the Clique Guarded Fragment. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2000, pp:257-277 [Conf ] Franz Baader , Stephan Tobies The Inverse Method Implements the Automata Approach for Modal Satisfiability. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:92-106 [Conf ] Ian Horrocks , Ulrike Sattler , Stephan Tobies Reasoning with Individuals for the Description Logic SHIQ. [Citation Graph (0, 0)][DBLP ] CADE, 2000, pp:482-496 [Conf ] Stephan Tobies A PSpace Algorithm for Graded Modal Logic. [Citation Graph (0, 0)][DBLP ] CADE, 1999, pp:52-66 [Conf ] Stephan Tobies A NExpTime-Complete Description Logic Strictly Contained in C2 . [Citation Graph (0, 0)][DBLP ] CSL, 1999, pp:292-306 [Conf ] Ian Horrocks , Stephan Tobies Optimisation of Terminological Reasoning. [Citation Graph (0, 0)][DBLP ] Description Logics, 2000, pp:183-192 [Conf ] Carsten Lutz , Ulrike Sattler , Stephan Tobies A Suggestion for an n-ary Description Logic. [Citation Graph (0, 0)][DBLP ] Description Logics, 1999, pp:- [Conf ] Stephan Tobies On the Complexity of Counting in Description Logics. [Citation Graph (0, 0)][DBLP ] Description Logics, 1999, pp:- [Conf ] Peter H. Deussen , Stephan Tobies Formal Test Purposes and the Validity of Test Cases. [Citation Graph (0, 0)][DBLP ] FORTE, 2002, pp:114-129 [Conf ] Franz Baader , Ralf Molitor , Stephan Tobies Tractable and Decidable Fragments of Conceptual Graphs. [Citation Graph (0, 0)][DBLP ] ICCS, 1999, pp:480-493 [Conf ] Ian Horrocks , Stephan Tobies Reasoning with Axioms: Theory and Practice. [Citation Graph (0, 0)][DBLP ] KR, 2000, pp:285-296 [Conf ] Ian Horrocks , Ulrike Sattler , Sergio Tessaris , Stephan Tobies How to decide Query Containment under Constraints using a Description Logic. [Citation Graph (0, 0)][DBLP ] KRDB, 2000, pp:59-72 [Conf ] Ian Horrocks , Ulrike Sattler , Stephan Tobies Practical Reasoning for Expressive Description Logics. [Citation Graph (0, 0)][DBLP ] LPAR, 1999, pp:161-180 [Conf ] Ian Horrocks , Ulrike Sattler , Sergio Tessaris , Stephan Tobies How to Decide Query Containment Under Constraints Using a Description Logic. [Citation Graph (0, 0)][DBLP ] LPAR, 2000, pp:326-343 [Conf ] Stephan Tobies PSPACE Reasoning for Graded Modal Logics [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] Ian Horrocks , Stephan Tobies Reasoning with Axioms: Theory and Pratice [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] Ian Horrocks , Ulrike Sattler , Stephan Tobies Practical Reasoning for Very Expressive Description Logics [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] Ian Horrocks , Ulrike Sattler , Stephan Tobies Practical Reasoning for Expressive Description Logics [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] Ian Horrocks , Ulrike Sattler , Stephan Tobies Reasoning with Individuals for the Description Logic SHIQ [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] Stephan Tobies Complexity Results and Practical Algorithms for Logics in Knowledge Representation [Citation Graph (0, 0)][DBLP ] CoRR, 2001, v:0, n:, pp:- [Journal ] Ian Horrocks , Ulrike Sattler , Stephan Tobies Practical Reasoning for Very Expressive Description Logics. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2000, v:8, n:3, pp:- [Journal ] Stephan Tobies The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics. [Citation Graph (0, 0)][DBLP ] J. Artif. Intell. Res. (JAIR), 2000, v:12, n:, pp:199-217 [Journal ] Stephan Tobies PSPACE Reasoning for Graded Modal Logics. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2001, v:11, n:1, pp:85-106 [Journal ] Peter H. Deussen , Stephan Tobies Formal Test Purposes and The Validity of Test Cases [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Franz Baader , Stephan Tobies The Inverse Method Implements the Automata Approach for Modal Satisfiability [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Local Verification of Global Invariants in Concurrent Programs. [Citation Graph (, )][DBLP ] Invariants, Modularity, and Rights. [Citation Graph (, )][DBLP ] VCC: Contract-based modular verification of concurrent C. [Citation Graph (, )][DBLP ] VCC: A Practical System for Verifying Concurrent C. [Citation Graph (, )][DBLP ] A Precise Yet Efficient Memory Model For C. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.004secs