New Polynomial Classes for Logic-Based Abduction

  title={New Polynomial Classes for Logic-Based Abduction},
  author={Bruno Zanuttini},
  journal={J. Artif. Intell. Res.},
We address the problem of propositional logic-based abduction, i.e., the problem of searching for a best explanation for a given propositional observation according to a given propositional knowledge base. We give a general algorithm, based on the notion of projection; then we study restrictions over the representations of the knowledge base and of the query, and find new polynomial classes of abduction problems. 
Highly Cited
This paper has 18 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 20 references

Consequence finding algorithms

  • P. Marquis
  • In Handbook of Defeasible Reasoning and…
  • 2000
Highly Influential
7 Excerpts

New polynomial classes for logic-based abduction

  • B. Zanuttini
  • Tech. rep., Université de Caen, France
  • 2003
2 Excerpts

Similar Papers

Loading similar papers…