Autor der Publikation

Well-founded semantics for description logic programs in the semantic web.

, , , und . ACM Trans. Comput. Log., 12 (2): 11:1-11:41 (2011)

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

Well-Founded Semantics for Description Logic Programs in the Semantic Web, , , und . (2009)Nonmonotonic Description Logic Programs: Implementation and Experiments., , , und . LPAR, Volume 3452 von Lecture Notes in Computer Science, Seite 511-527. Springer, (2004)Exploiting Conjunctive Queries in Description Logic Programs., , , und . Description Logics, Volume 250 von CEUR Workshop Proceedings, CEUR-WS.org, (2007)A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming., , , und . IJCAI, Seite 90-96. Professional Book Center, (2005)dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework., , , und . WLP, Volume 1843-06-02 von INFSYS Research Report, Seite 206-210. Technische Universität Wien, Austria, (2006)Exploiting Conjunctive Queries in Description Logic Programs., , , und . ISAIM, (2008)Nonmonotonic Logic Programs for the Semantic Web.. ICLP, Volume 3668 von Lecture Notes in Computer Science, Seite 446-447. Springer, (2005)dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics., , , und . Web Intelligence, Seite 1073-1074. IEEE Computer Society, (2006)OntoDLV: An ASP-based System for Enterprise Ontologies., , , , , und . J. Log. Comput., 19 (4): 643-670 (2009)Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning., , , und . ESWC, Volume 4011 von Lecture Notes in Computer Science, Seite 273-287. Springer, (2006)