Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,158,946 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
2009
2009
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture
M. Alberti
,
Massimiliano Cattafi
,
+5 authors
Paolo Torroni
IEEE International Conference on Web Services
2009
Corpus ID: 16846197
In Semantic Web technologies, searching for a service means to identify components that can potentially satisfy the user needs in…
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
2001
2001
A-system: Declarative Programming with Abduction
Bert Van Nuffelen
,
A. Kakas
International Conference on Logic Programming and…
2001
Corpus ID: 40380131
The A-system [4] is a new system for performing abductive reasoning within the framework of Abductive Logic Programming (ALP…
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
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