Autor der Publikation

Coherent Well-founded Annotated Logic Programs.

, , und . LPNMR, Volume 1730 von Lecture Notes in Computer Science, Seite 262-276. Springer, (1999)

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

An Abstract Machine for Fixed-Order Dynamically Stratified Programs., , und . CADE, Volume 1104 von Lecture Notes in Computer Science, Seite 328-342. Springer, (1996)Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs., , und . Theory Pract. Log. Program., 4 (4): 383-428 (2004)Editorial: 29th International Conference on Logic Programming special issue., und . Theory Pract. Log. Program., 13 (4-5): 465-470 (2013)Efficient Access Mechanisms for Tabled Logic Programs., , , , und . J. Log. Program., 38 (1): 31-54 (1999)An Abstract Machine for Computing the Well-Founded Semantics., , und . JICSLP, Seite 274-288. MIT Press, (1996)Goal-Directed Evaluation of Well-Founded Sematics for XSB., , und . ILPS, Seite 679. MIT Press, (1993)Principles and Practice of Unification Factoring., , , und . ACM Trans. Program. Lang. Syst., 18 (5): 528-563 (1996)Advanced Knowledge Base Debugging for Rulelog., , , , , , , , und . RuleML (2), Volume 1004 von CEUR Workshop Proceedings, CEUR-WS.org, (2013)Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics, und . CoRR, (2011)Tabling for Non-Monotonic Programming.. Ann. Math. Artif. Intell., 25 (3-4): 201-240 (1999)