Publications

Alexandre Riazanov and Andrei Voronkov. The design and implementation of VAMPIRE.. AI Commun., (15)2-3:91-110,2002. [BibSonomy: first-order reasoning] URL

William W. Cohen and Alexander Borgida and Haym Hirsh. Computing Least Common Subsumers in Description Logics.. AAAI, 754-760,1992. [BibSonomy: disjunctive reasoning] URL

Alexander Borgida and David W. Etherington. Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning.. KR, 33-43,1989. [BibSonomy: disjunctive reasoning] URL

Zhisheng Huang and Frank van Harmelen and Annette ten Teije. Reasoning with Inconsistent Ontologies.. In Leslie Pack Kaelbling and Alessandro Saffiotti, editor(s), IJCAI, 454-459,Professional Book Center,2005. [BibSonomy: inconsistency ontology reasoning] URL

I. Horrocks and U. Sattler and S. Tobies. Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL, (8)3:239--264,2000. [BibSonomy: logic reasoning] URL

Sonia Bergamaschi and Claudio Sartori. On Taxonomic Reasoning in Conceptual Design.. ACM Trans. Database Syst., (17)3:385-422,1992. [BibSonomy: reasoning taxonomy] URL