Search
Now showing items 81-90 of 219
Abductive logic programming
(1992)
This paper is a survey and critical overview of recent work on the extension of logic programming to perform abductive reasoning (abductive logic programming). We outline the general framework of abduction and its applications ...
A simple declarative language for describing narratives with actions
(1997)
We describe a simple declarative language ℰ for describing the effects of a series of action occurrences within a narrative. ℰ is analogous to Gelfond and Lifschitz's Language script A sign and its extensions, but is based ...
Computing argumentation in logic programming
(1999)
In recent years, argumentation has been shown to be an appropriate framework in which logic programming with negation as failure as well as other logics for non-monotonic reasoning can be encompassed. Many of the existing ...
Learning with abduction
(1997)
We investigate how abduction and induction can be integrated into a common learning framework through the notion of Abductive Concept Learning (ACL). ACL is an extension of Inductive Logic Programming (ILP) to the case in ...