http://www.bibsonomy.org/user/thau/reasoningBibSonomy RSS Feed for /user/thau/reasoningdblphttp://www.bibsonomy.org/bibtex/27383ce7fb56c880f52243294ad01421d/thauthau2008-02-20T02:46:28+01:00first-order reasoning <span style="color:#555555;">Alexandre <a href="http://www.bibsonomy.org/author/Riazanov">Riazanov</a> und Andrei <a href="http://www.bibsonomy.org/author/Voronkov">Voronkov</a> </span>(<em>2002</em>) <a href="http://www.bibsonomy.org/bibtex/27383ce7fb56c880f52243294ad01421d/thau"><i>The design and implementation of VAMPIRE..</i></a><em>AI Commun.</em><em>Volume15. </em><em>Seite91-110. </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/thau/first-order">first-order</a> <a href="http://www.bibsonomy.org/user/thau/reasoning">reasoning</a>] <a href="http://dblp.uni-trier.de/db/journals/aicom/aicom15.html#RiazanovV02">URL</a>dblphttp://www.bibsonomy.org/bibtex/26aa7d6596633e6391a1bc5169cfadc97/thauthau2008-01-18T01:27:21+01:00reasoning disjunctive <span style="color:#555555;">William W. <a href="http://www.bibsonomy.org/author/Cohen">Cohen</a> und Alexander <a href="http://www.bibsonomy.org/author/Borgida">Borgida</a> und Haym <a href="http://www.bibsonomy.org/author/Hirsh">Hirsh</a> </span>(<em>1992</em>) <a href="http://www.bibsonomy.org/bibtex/26aa7d6596633e6391a1bc5169cfadc97/thau"><i>Computing Least Common Subsumers in Description Logics..</i></a><em>AAAI, </em><em>Seite754-760. </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/thau/reasoning">reasoning</a> <a href="http://www.bibsonomy.org/user/thau/disjunctive">disjunctive</a>] <a href="http://dblp.uni-trier.de/db/conf/aaai/aaai92.html#CohenBH92">URL</a>dblphttp://www.bibsonomy.org/bibtex/21acf29126947946b2cce566c5c32d1b5/thauthau2008-01-18T01:23:03+01:00reasoning disjunctive <span style="color:#555555;">Alexander <a href="http://www.bibsonomy.org/author/Borgida">Borgida</a> und David W. <a href="http://www.bibsonomy.org/author/Etherington">Etherington</a> </span>(<em>1989</em>) <a href="http://www.bibsonomy.org/bibtex/21acf29126947946b2cce566c5c32d1b5/thau"><i>Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning..</i></a><em>KR, </em><em>Seite33-43. </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/thau/reasoning">reasoning</a> <a href="http://www.bibsonomy.org/user/thau/disjunctive">disjunctive</a>] <a href="http://dblp.uni-trier.de/db/conf/kr/kr89.html#BorgidaE89">URL</a>dblphttp://www.bibsonomy.org/bibtex/27cc43885a24f8a237a16cd87acf967ea/thauthau2007-11-09T20:10:15+01:00ontology reasoning inconsistency <span style="color:#555555;">Zhisheng <a href="http://www.bibsonomy.org/author/Huang">Huang</a> und Frank van <a href="http://www.bibsonomy.org/author/Harmelen">Harmelen</a> und Annette ten <a href="http://www.bibsonomy.org/author/Teije">Teije</a> </span>(<em>2005</em>) <a href="http://www.bibsonomy.org/bibtex/27cc43885a24f8a237a16cd87acf967ea/thau"><i>Reasoning with Inconsistent Ontologies..</i></a><em>IJCAI, </em><em>Seite454-459. </em><em>Professional Book Center, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/thau/ontology">ontology</a> <a href="http://www.bibsonomy.org/user/thau/reasoning">reasoning</a> <a href="http://www.bibsonomy.org/user/thau/inconsistency">inconsistency</a>] <a href="http://dblp.uni-trier.de/db/conf/ijcai/ijcai2005.html#HuangHT05">URL</a>Practical Reasoning for Very Expressive Description Logics - Horrocks, Sattler, Tobies (ResearchIndex)http://www.bibsonomy.org/bibtex/2b22975479218a08555f9288c27bd1cae/thauthau2007-10-26T19:46:26+02:00logic reasoning <span style="color:#555555;">I. <a href="http://www.bibsonomy.org/author/Horrocks">Horrocks</a> und U. <a href="http://www.bibsonomy.org/author/Sattler">Sattler</a> und S. <a href="http://www.bibsonomy.org/author/Tobies">Tobies</a> </span>(<em>2000</em>) <a href="http://www.bibsonomy.org/bibtex/2b22975479218a08555f9288c27bd1cae/thau"><i>Practical Reasoning for Very Expressive Description Logics.</i></a><em>Logic Journal of the IGPL</em><em>Volume8. </em><em>Seite239--264. </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/thau/logic">logic</a> <a href="http://www.bibsonomy.org/user/thau/reasoning">reasoning</a>] <a href="http://citeseer.ist.psu.edu/horrocks00practical.html">URL</a>dblphttp://www.bibsonomy.org/bibtex/26f32efcca30296fd1f8431c6e8267f98/thauthau2007-10-23T18:39:02+02:00reasoning taxonomy <span style="color:#555555;">Sonia <a href="http://www.bibsonomy.org/author/Bergamaschi">Bergamaschi</a> und Claudio <a href="http://www.bibsonomy.org/author/Sartori">Sartori</a> </span>(<em>1992</em>) <a href="http://www.bibsonomy.org/bibtex/26f32efcca30296fd1f8431c6e8267f98/thau"><i>On Taxonomic Reasoning in Conceptual Design..</i></a><em>ACM Trans. Database Syst.</em><em>Volume17. </em><em>Seite385-422. </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/thau/reasoning">reasoning</a> <a href="http://www.bibsonomy.org/user/thau/taxonomy">taxonomy</a>] <a href="http://dblp.uni-trier.de/db/journals/tods/tods17.html#BergamaschiS92">URL</a>