BibSonomy :: user  :: thau ::

bookmarks

publications

(6)   

• The design and implementation of VAMPIRE.
  Alexandre Riazanov and Andrei Voronkov AI Commun.15(2-3):91-110(2002)
  to first-order reasoning by thau and 1 other person on Feb 20, 2008, 2:46 AM
  URL | BibTeX 
• Computing Least Common Subsumers in Description Logics.
  William W. Cohen and Alexander Borgida and Haym Hirsh AAAI, page754-760. (1992)
  to disjunctive reasoning by thau and 1 other person on Jan 18, 2008, 1:27 AM
  URL | BibTeX 
• Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning.
  Alexander Borgida and David W. Etherington KR, page33-43. (1989)
  to disjunctive reasoning by thau and 1 other person on Jan 18, 2008, 1:23 AM
  URL | BibTeX 
• Reasoning with Inconsistent Ontologies.
  Zhisheng Huang and Frank van Harmelen and Annette ten Teije IJCAI, page454-459. Professional Book Center, (2005)
  to inconsistency ontology reasoning by thau and 5 other people on Nov 9, 2007, 8:10 PM
  URL | BibTeX 
• Practical Reasoning for Very Expressive Description Logics
  I. Horrocks and U. Sattler and S. Tobies Logic Journal of the IGPL8(3):239--264(2000)
  to logic reasoning by thau and 4 other people on Oct 26, 2007, 7:46 PM
  URL | BibTeX 
• On Taxonomic Reasoning in Conceptual Design.
  Sonia Bergamaschi and Claudio Sartori ACM Trans. Database Syst.17(3):385-422(1992)
  to reasoning taxonomy by thau and 1 other person on Oct 23, 2007, 6:39 PM
  URL | BibTeX