Abductive logic programming

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

Topic mentions per year

Topic mentions per year

1990-2018
05101519902018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
In this paper we present an agent language that combines agent functionality with a state transition theory and model-theoretic… (More)
Is this relevant?
2010
2010
In this paper, we introduce Bayesian Abductive Logic Programs (BALPs), a new formalism that integrates Bayesian Logic Programs… (More)
  • figure 1
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2008
Highly Cited
2008
SCIFF is a framework thought to specify and verify interaction in open agent societies. The SCIFF language is equipped with a… (More)
  • table II
  • table III
  • figure 1
  • table V
Is this relevant?
2008
2008
Logic programming with negation offers a compelling approach to abductive reasoning. This paper shows a simple view of abduction… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
In this paper, we present a framework for agent negotiation based on abductive logic programming. The framework is based on an… (More)
  • figure 1
Is this relevant?
Highly Cited
2000
Highly Cited
2000
This paper presents the framework of Abductive Constraint Logic Programming (ACLP), which integrates Abductive Logic Programming… (More)
Is this relevant?
1998
1998
We describe a system implementing a novel extension of Fung and Kowalski’s IFF abductive proof procedure which we call CIFF, and… (More)
  • table 1
  • table 2
  • table 4
  • table 6
Is this relevant?
1995
1995
Inductive Logic Programming (ILP) is often situated as a research area emerging at the intersection of Machine Learning and Logic… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Recently, Gelfond and Lifschitz presented a formal language for representing incomplete knowledge on actions and states, and a… (More)
Is this relevant?
Review
1993
Review
1993
This paper is a survey and critical overview of recent work on the extension of Logic Programming to perform Abductive Reasoning… (More)
Is this relevant?