Autor der Publikation

Modeling Hybrid Domains Using Process Description Language.

, , und . Answer Set Programming, Volume 142 von CEUR Workshop Proceedings, CEUR-WS.org, (2005)

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

Knowledge Representation Language P-Log - A Short Introduction.. Datalog, Volume 6702 von Lecture Notes in Computer Science, Seite 369-383. Springer, (2010)Integrating Answer Set Reasoning with Constraint Solving Techniques., und . FLOPS, Volume 4989 von Lecture Notes in Computer Science, Seite 15-31. Springer, (2008)Definitions in Epistemic Specifications., und . LPNMR, Seite 245-259. The MIT Press, (1991)Reasoning on Open Domains., und . LPNMR, Seite 397-413. MIT Press, (1993)Language ASPf with Arithmetic Expressions and Consistency-Restoring Rules, und . CoRR, (2013)The Stable Model Semantics for Logic Programming., und . ICLP/SLP, Seite 1070-1080. MIT Press, (1988)Diagnosing Dynamic Systems in A Prolog., und . Answer Set Programming, (2001)Disjective Defaults., , , und . KR, Seite 230-237. Morgan Kaufmann, (1991)On the relationship between CWA, minimal model, and minimal herbrand model semantics., , und . Int. J. Intell. Syst., 5 (5): 549-564 (1990)Vicious Circle Principle and Logic Programs with Aggregates., und . CoRR, (2018)