Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,495,999 papers from all fields of science
Search
Sign In
Create Free Account
Abductive logic programming
Abductive logic programming (ALP) is a high-level knowledge-representation framework that can be used to solve problems declaratively based on…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
Abductive reasoning
Answer set programming
Bayesian programming
Glossary of artificial intelligence
Expand
Broader (1)
Logic programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Towards Practical Tabled Abduction in Logic Programs
A. Saptawijaya
,
L. Pereira
Portuguese Conference on Artificial Intelligence
2013
Corpus ID: 14594747
Despite its potential as a reasoning paradigm in AI applications, abduction has been on the back burner in logic programming, as…
Expand
2006
2006
ProLogICA : a practical system for Abductive Logic Programming
O. Ray
,
A. Kakas
,
J. Dix
,
A. Hunter
2006
Corpus ID: 985649
This paper presents a new system called ProLogICA for Abductive Logic Programming (ALP) with Negation as Failure (NAF) and…
Expand
2006
2006
Interleaving Belief Updating and Reasoning in Abductive Logic Programming
F. Sadri
,
Francesca Toni
European Conference on Artificial Intelligence
2006
Corpus ID: 7967876
Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that…
Expand
2004
2004
Abductive Logic Programming with CIFF
U. Endriss
,
P. Mancarella
,
F. Sadri
,
G. Terreni
,
Francesca Toni
2004
Corpus ID: 60265198
Abduction has found broad application as a powerful tool for hypothetical reasoning with incomplete knowledge, which can be…
Expand
2004
2004
Abductive Logic Programming with CIFF: Implementation and Applications
U. Endriss
,
P. Mancarella
,
F. Sadri
,
G. Terrreni
,
Francesca Toni
2004
Corpus ID: 9625029
We describe a system implementing a novel extension of Fung and Kowalski’s IFF abductive proof procedure which we call CIFF, and…
Expand
1999
1999
Case Studies in Business Market Research - An abductive approach
A. Dubois
,
Lars-Erik Gadde
1999
Corpus ID: 109709039
Case studies are frequently used in industrial network research. In this paper \\c discu^ the difficulties and opportunities…
Expand
1998
1998
Applications of Abductive Logic Programming
A. Kakas
,
A. Michael
IJCSLP
1998
Corpus ID: 476519
We describe a system implementing a novel extension of Fung and Kowalski’s IFF abductive proof procedure which we call CIFF, and…
Expand
1997
1997
One Abductive Logic Programming Procedure for Two Kinds of Updates
H. Decker
,
Lehrstuhl fur
,
Port Jefferson
,
D. Ekerdt
1997
Corpus ID: 16263266
room 36, etc., but we do not go through that now. However, let us finally consider a slight modification of the example, just to…
Expand
1997
1997
Introducing Abduction into (Extensional) Inductive Logic Programming Systems
E. Lamma
,
P. Mello
,
M. Milano
,
Fabrizio Riguzzi
International Conference of the Italian…
1997
Corpus ID: 26182551
We propose an approach for the integration of abduction and induction in Logic Programming. In particular, we show how it is…
Expand
1995
1995
Uncertainty in decision-making: An abductive perspective
Rita Almeida Ribeiro
,
P. Powell
,
J. Baldwin
Decision Support Systems
1995
Corpus ID: 34185484
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE