# Abductive logic programming

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2011

2011

- Annals of Mathematics and Artificial Intelligence
- 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

- Statistical Relational Artificial Intelligence
- 2010

In this paper, we introduce Bayesian Abductive Logic Programs (BALPs), a new formalism that integrates Bayesian Logic Programsâ€¦Â (More)

Is this relevant?

Highly Cited

2008

Highly Cited

2008

- ACM Trans. Comput. Log.
- 2008

SCIFF is a framework thought to specify and verify interaction in open agent societies. The SCIFF language is equipped with aâ€¦Â (More)

Is this relevant?

2008

2008

- AAAI
- 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

- JELIA
- 2002

In this paper, we present a framework for agent negotiation based on abductive logic programming. The framework is based on anâ€¦Â (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- J. Log. Program.
- 2000

This paper presents the framework of Abductive Constraint Logic Programming (ACLP), which integrates Abductive Logic Programmingâ€¦Â (More)

Is this relevant?

1998

1998

- IJCSLP
- 1998

We describe a system implementing a novel extension of Fung and Kowalskiâ€™s IFF abductive proof procedure which we call CIFF, andâ€¦Â (More)

Is this relevant?

1995

1995

- IJCAI
- 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

- ILPS
- 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

- 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?