| 2004 |
|---|
| 25 | EE | Peter H. Deussen,
Stephan Tobies:
Formal Test Purposes and The Validity of Test Cases
CoRR abs/cs/0412100: (2004) |
| 24 | EE | Franz Baader,
Stephan Tobies:
The Inverse Method Implements the Automata Approach for Modal Satisfiability
CoRR abs/cs/0412101: (2004) |
| 2002 |
|---|
| 23 | EE | Peter H. Deussen,
Stephan Tobies:
Formal Test Purposes and the Validity of Test Cases.
FORTE 2002: 114-129 |
| 2001 |
|---|
| 22 | EE | Franz Baader,
Stephan Tobies:
The Inverse Method Implements the Automata Approach for Modal Satisfiability.
IJCAR 2001: 92-106 |
| 21 | EE | Stephan Tobies:
Complexity Results and Practical Algorithms for Logics in Knowledge Representation
CoRR cs.LO/0106031: (2001) |
| 20 | EE | Stephan Tobies:
PSPACE Reasoning for Graded Modal Logics.
J. Log. Comput. 11(1): 85-106 (2001) |
| 2000 |
|---|
| 19 | | Colin Hirsch,
Stephan Tobies:
A Tableau Algorithm for the Clique Guarded Fragment.
Advances in Modal Logic 2000: 257-277 |
| 18 | | Ian Horrocks,
Ulrike Sattler,
Stephan Tobies:
Reasoning with Individuals for the Description Logic SHIQ.
CADE 2000: 482-496 |
| 17 | EE | Ian Horrocks,
Stephan Tobies:
Optimisation of Terminological Reasoning.
Description Logics 2000: 183-192 |
| 16 | | Ian Horrocks,
Stephan Tobies:
Reasoning with Axioms: Theory and Practice.
KR 2000: 285-296 |
| 15 | EE | Ian Horrocks,
Ulrike Sattler,
Sergio Tessaris,
Stephan Tobies:
How to decide Query Containment under Constraints using a Description Logic.
KRDB 2000: 59-72 |
| 14 | EE | Ian Horrocks,
Ulrike Sattler,
Sergio Tessaris,
Stephan Tobies:
How to Decide Query Containment Under Constraints Using a Description Logic.
LPAR 2000: 326-343 |
| 13 | EE | Stephan Tobies:
PSPACE Reasoning for Graded Modal Logics
CoRR cs.LO/0005009: (2000) |
| 12 | EE | Ian Horrocks,
Stephan Tobies:
Reasoning with Axioms: Theory and Pratice
CoRR cs.LO/0005012: (2000) |
| 11 | EE | Ian Horrocks,
Ulrike Sattler,
Stephan Tobies:
Practical Reasoning for Very Expressive Description Logics
CoRR cs.LO/0005013: (2000) |
| 10 | EE | Ian Horrocks,
Ulrike Sattler,
Stephan Tobies:
Practical Reasoning for Expressive Description Logics
CoRR cs.LO/0005014: (2000) |
| 9 | EE | Ian Horrocks,
Ulrike Sattler,
Stephan Tobies:
Reasoning with Individuals for the Description Logic SHIQ
CoRR cs.LO/0005017: (2000) |
| 8 | EE | Stephan Tobies:
The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics.
J. Artif. Intell. Res. (JAIR) 12: 199-217 (2000) |
| 7 | EE | Ian Horrocks,
Ulrike Sattler,
Stephan Tobies:
Practical Reasoning for Very Expressive Description Logics.
Logic Journal of the IGPL 8(3): (2000) |
| 1999 |
|---|
| 6 | EE | Stephan Tobies:
A PSpace Algorithm for Graded Modal Logic.
CADE 1999: 52-66 |
| 5 | | Stephan Tobies:
A NExpTime-Complete Description Logic Strictly Contained in C2.
CSL 1999: 292-306 |
| 4 | EE | Carsten Lutz,
Ulrike Sattler,
Stephan Tobies:
A Suggestion for an n-ary Description Logic.
Description Logics 1999 |
| 3 | EE | Stephan Tobies:
On the Complexity of Counting in Description Logics.
Description Logics 1999 |
| 2 | | Franz Baader,
Ralf Molitor,
Stephan Tobies:
Tractable and Decidable Fragments of Conceptual Graphs.
ICCS 1999: 480-493 |
| 1 | | Ian Horrocks,
Ulrike Sattler,
Stephan Tobies:
Practical Reasoning for Expressive Description Logics.
LPAR 1999: 161-180 |
