Autor der Publikation

Reasoning in description logics

, , , und . Kapitel Principles of knowledge representation, Seite 191-236. Center for the Study of Language and Information Stanford, CA, USA, (1997)

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

A Logic for SVG Documents Query and Retrieval., , und . Multimedia Tools Appl., 24 (2): 125-153 (2004)Description Logic-Based Resource Retrieval., , , , und . Encyclopedia of Knowledge Management, IGI Global, (2011)Comparing Space Efficiency of Propositional Knowledge Representation Formalisms., , , und . KR, Seite 364-373. Morgan Kaufmann, (1996)Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction., , , , , und . Int. J. Web Service Res., 4 (3): 85-112 (2007)A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics., , , , und . ECAI, Seite 975-976. IOS Press, (2004)Space Efficiency of Propositional Knowledge Representation Formalisms, , , und . CoRR, (2011)Nonmonotonic reasoning., , , , und . Artif. Intell. Rev., 4 (3): 163-210 (1990)Abductive Matchmaking using Description Logics., , , und . IJCAI, Seite 337-342. Morgan Kaufmann, (2003)Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics., und . CILC, Volume 857 von CEUR Workshop Proceedings, Seite 32-46. CEUR-WS.org, (2012)Semantic-based Automated Evaluation of Company Core Competence., , , und . SWAP, Volume 426 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)