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...

Celý popis

Podrobná bibliografie

Vydáno v:	The journal of logic programming Ročník 44; číslo 1; s. 179 - 206
Hlavní autoři:	Iwayama, Noboru, Satoh, Ken
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.07.2000
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!