Skip to search formSkip to main contentSkip to account menu

Abductive logic programming

Abductive logic programming (ALP) is a high-level knowledge-representation framework that can be used to solve problems declaratively based on… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Despite its potential as a reasoning paradigm in AI applications, abduction has been on the back burner in logic programming, as… 
2006
2006
This paper presents a new system called ProLogICA for Abductive Logic Programming (ALP) with Negation as Failure (NAF) and… 
2006
2006
Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that… 
2004
2004
Abduction has found broad application as a powerful tool for hypothetical reasoning with incomplete knowledge, which can be… 
2004
2004
We describe a system implementing a novel extension of Fung and Kowalski’s IFF abductive proof procedure which we call CIFF, and… 
1999
1999
Case studies are frequently used in industrial network research. In this paper \\c discu^ the difficulties and opportunities… 
1998
1998
We describe a system implementing a novel extension of Fung and Kowalski’s IFF abductive proof procedure which we call CIFF, and… 
1997
1997
room 36, etc., but we do not go through that now. However, let us finally consider a slight modification of the example, just to… 
1997
1997
We propose an approach for the integration of abduction and induction in Logic Programming. In particular, we show how it is…