BibSonomy :: author  ::

bookmarks

publications

(32)

• Practical Reasoning for Very Expressive Description Logics
  I. Horrocks and U. Sattler and S. Tobies Logic Journal of the IGPL 8 239--263 (2000)
  to imported by vrandezo and 4 other people on 2008-04-02 15:35:07
  | BibTeX  
• The Inverse Method Implements the Automata Approach for Modal Satisfiability
  Franz Baader and Stephan Tobies CoRR abs/cs/0412101 (2004)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Formal Test Purposes and The Validity of Test Cases
  Peter H. Deussen and Stephan Tobies CoRR abs/cs/0412100 (2004)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Complexity Results and Practical Algorithms for Logics in Knowledge Representation
  Stephan Tobies CoRR cs.LO/0106031 (2001)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Reasoning with Individuals for the Description Logic SHIQ
  Ian Horrocks and Ulrike Sattler and Stephan Tobies CoRR cs.LO/0005017 (2000)
  to dblp by dblp and 1 other person on 2008-01-02 00:00:00
  | URL | BibTeX  
• Practical Reasoning for Expressive Description Logics
  Ian Horrocks and Ulrike Sattler and Stephan Tobies CoRR cs.LO/0005014 (2000)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Practical Reasoning for Very Expressive Description Logics
  Ian Horrocks and Ulrike Sattler and Stephan Tobies CoRR cs.LO/0005013 (2000)
  to dblp by dblp and 4 other people on 2008-01-02 00:00:00
  | URL | BibTeX  
• Reasoning with Axioms: Theory and Pratice
  Ian Horrocks and Stephan Tobies CoRR cs.LO/0005012 (2000)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• PSPACE Reasoning for Graded Modal Logics
  Stephan Tobies CoRR cs.LO/0005009 (2000)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Practical Reasoning for Very Expressive Description Logics
  Ian Horrocks and Ulrike Sattler and Stephan Tobies Journal of the IGPL 8 239--263 (2000)
  to imported by ramaz and 4 other people on 2007-11-23 14:13:20
  | BibTeX