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

Full description

Bibliographic Details

Published in:	The journal of logic programming Vol. 44; no. 1; pp. 179 - 206
Main Authors:	Iwayama, Noboru, Satoh, Ken
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 01.07.2000
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!