Computing abduction by using TMS with top-down expectation

We present a method to compute abduction in logic programming. We translate an abductive framework into a normal logic program with integrity constraints and show the correspondence between generalized stable models and stable models for the translation of the abductive framework. Abductive explanat...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The journal of logic programming Jg. 44; H. 1; S. 179 - 206
Hauptverfasser:	Iwayama, Noboru, Satoh, Ken
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Inc 01.07.2000
Schlagworte:	Abductive logic programming Bottom-up computation Generalized stable models Integrity constraint Abductive logic programming Generalized stable models Integrity constraint Bottom-up computation
ISSN:	0743-1066, 1873-5789
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!