MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Stephan Tobies" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 28 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • PSpace Reasoning for Graded Modal Logics  
  • by Stephan Tobies — 1999
  • …We present a PSpace algorithm that decides satisfiability of the graded modal logic Gr(KR) - a natural extension of propositional modal logic KR by counting expressions - which plays an important role in the area of knowledge representation. The algorithm employs a tableaux approach and is the rst k…
  • Cited by 19 (1 self) – Add To MetaCart
  • Reasoning with Axioms: Theory and Practice  
  • by Ian Horrocks, Stephan Tobies — 2000 — In Proc. of the 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2000
  • … of Manchester, UK horrocks@(email omitted); Stephan Tobies LuFg Theoretical Computer Science RWTH Aachen, Germany…
  • Cited by 37 (16 self) – Add To MetaCart
  • Truth - A verification platform for concurrent systems  
  • by Martin Lange, Martin Leucker, Thomas Noll, Stephan Tobies — 1998 — In Tool Support for System Specification, Development, and Verification, Advances in Computing Science
  • …, Stephan Tobies Abstract. We briefly explain the design and implementation of the newly developed tool…
  • Cited by 8 (7 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB