Autor der Publikation

Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs.

, , und . TPLP, 4 (4): 383-428 (2004)

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 Assimilation in Domains of Actions: A Possible Causes Approach., und . Journal of Applied Non-Classical Logics, 7 (1): 77-116 (1997)Contradiction Removal within Well Founded Semantics., , und . LPNMR, Seite 105-119. (1991)Tabling Abduction., und . TAPD, Seite 75-82. (1998)A General Tabulation Procedure for Extended Constraint Logic Programs., und . TAPD, Seite 67-74. (1998)What Is Believed Is What Is Explained (Sometimes)., und . AAAI/IAAI, Vol. 1, Seite 550-555. AAAI Press / The MIT Press, (1996)Proactive Intention Recognition for Home Ambient Intelligence., und . Intelligent Environments (Workshops), Volume 8 von Ambient Intelligence and Smart Environments, Seite 91-100. IOS Press, (2010)LUPSA language for updating logic programs., , , und . Artif. Intell., 138 (1-2): 87-116 (2002)Properties of Stable Model Semantics Extensions., und . CoRR, (2014)Automated Reasoning in Geometry Theorem Proving with Prolog., und . J. Autom. Reasoning, 2 (4): 329-390 (1986)'Classical' Negation in Nonmonotonic Reasoning and Logic Programming., , und . J. Autom. Reasoning, 20 (1): 107-142 (1998)