Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,976,934 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.
2016
2016
A Logic Programming Language Designed for the Modeling of Abductive Reasoning in an Educational Context
Osvaldo Luiz De Oliveira
,
C. E. A. Oliveira
,
R. Martins
,
M. Matsumoto
Mexican International Conference on Artificial…
2016
Corpus ID: 57190763
The programming of simulations of real or abstract phenomena is referred to as computational modeling. In the educational sphere…
Expand
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
An Abductive Approach to Hand-written Character Recognition for Multiple Domains
R. Fox
,
William Hartmann
International Conference on Artificial…
2006
Corpus ID: 8418842
Perceptual problems often call upon the application of a variety of knowledge sources. An automated problem solver can utilize…
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: 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
2004
2004
USING ABDUCTIVE LOGIC AGENTS FOR MODELING THE JUDICIAL EVALUATION OF CRIMINAL EVIDENCE
A. Ciampolini
,
Paolo Torroni
Applied Artificial Intelligence
2004
Corpus ID: 5880372
In this paper, we present a new approach to the modeling of the judicial evaluation of criminal evidence, an approach based on an…
Expand
2000
2000
Abductive Generalization and Specialization
Chiaki Sakama
2000
Corpus ID: 10261179
Abduction and induction both generate hypotheses to explain observed phenomena in an incomplete knowledge base, while they are…
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
1996
1996
Translating Case-Based Reasoning into Abductive Logic Programming
K. Satoh
European Conference on Artificial Intelligence
1996
Corpus ID: 7385605
This paper presents a translation method of casebased reasoning which changes similarity according to context into abductive…
Expand