Autor der Publikation

Detecting Inconsistencies in Large First-Order Knowledge Bases.

, , , und . CADE, Volume 10395 von Lecture Notes in Computer Science, Seite 310-325. Springer, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

The DARPA High-Performance Knowledge Bases Project., , , , , , , und . AI Magazine, 19 (4): 25-49 (1998)Reasoning from imperfect knowledge., und . Cogn. Syst. Res., (2017)Large theory reasoning with SUMO at CASC., , , und . AI Commun., 23 (2-3): 137-144 (2010)Translating SUMO-K to Higher-Order Set Theory., , und . FroCoS, Volume 14279 von Lecture Notes in Computer Science, Seite 255-274. Springer, (2023)Choosing a Logic to Represent the Semantics of Natural Language.. CLAR, Volume 13040 von Lecture Notes in Computer Science, Seite 504-512. Springer, (2021)Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project., , , und . KR, Seite 717-724. Morgan Kaufmann, (2000)Ontology: A Practical Guide. Articulate Software Press, Angwin, CA, (2011)Foundational ontologies meet ontology matching: A survey., , , , und . Semantic Web, 13 (4): 685-704 (2022)Knowledge Engineering for Large Ontologies with Sigma KEE 3.0., und . IJCAR, Volume 8562 von Lecture Notes in Computer Science, Seite 519-525. Springer, (2014)A framework for constructing cognition ontologies using WordNet, FrameNet, and SUMO., und . Cogn. Syst. Res., (2015)