Abductive logic programming

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

Papers overview

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

2013

Despite its potential as a reasoning paradigm in AI applications, abduction has been on the back burner in logic programming, as…

2010

In this paper, we introduce Bayesian Abductive Logic Programs (BALPs), a new formalism that integrates Bayesian Logic Programs…

2006

This paper presents a new Abductive Logic Programming (ALP) approach for assisting clinicians in the selection of antiretroviral…

2006

This paper presents a new system called ProLogICA for Abductive Logic Programming (ALP) with Negation as Failure (NAF) and…

2005

In this paper we present by a case study an approach to the verification of security protocols based on Abductive Logic…

2004

Abduction has found broad application as a powerful tool for hypothetical reasoning with incomplete knowledge, which can be…

1999

Case studies are frequently used in industrial network research. In this paper \\c discu^ the difficulties and opportunities…

1998

We describe a system implementing a novel extension of Fung and Kowalski’s IFF abductive proof procedure which we call CIFF, and…

1997

room 36, etc., but we do not go through that now. However, let us finally consider a slight modification of the example, just to…

1995

Inductive Logic Programming (ILP) is often situated as a research area emerging at the intersection of Machine Learning and Logic…