BibSonomy :: author  :: Voronkov ::

bookmarks

publications

(4)

• Practical Reasoning for Expressive Description Logics
  Ian Horrocks and Ulrike Sattler and Stephan Tobies Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99) 161--180 (1999)
  to imported by ramaz and 3 other people on 2007-11-23 14:13:20
  | BibTeX  
• Proof Development with OMEGA
  J. Siekmann and C. Benzm{\"u}ller and V. Brezhnev and L. Cheikhrouhou and A. Fiedler and A. Franke and H. Horacek and M. Kohlhase and A. Meier and E. Melis and M. Moschner and I. Normann and M. Pollet and V. Sorge and C. Ullrich and C. Wirth and J. Zimmer Proceedings of the 19th Conference on Automated Deduction (CADE-19) 143-148 (2002)
  to imported by carstenullrich on 2007-10-07 09:43:01
  | URL | BibTeX  
• A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
  Boris Motik and Ulrike Sattler Proc. of the 13th Int. Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2006) 227-241 (2006)
  to imported by moustaki and 1 other person on 2007-03-28 16:44:39
  | BibTeX  
• SPASS Version 2.0
  Christoph Weidenbach and Uwe Brahm and Thomas Hillenbrand and Enno Keen and Christian Theobalt and Dalibor Topić Automated deduction, CADE-18 : 18th International Conference on Automated Deduction 275--279 (2002)
  to imported by lonzo on 2006-11-26 11:43:57
  | BibTeX