Support set selection for abductive and default reasoning

DOI10.1016/0004-3702(94)00069-7zbMath1506.68144OpenAlexW2035824165MaRDI QIDQ2674205

Bart Selman, Hector J. Levesque

Publication date: 22 September 2022

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(94)00069-7

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (7)

Reasoning with ordered binary decision diagrams ⋮ On the complexity of second-best abductive explanations ⋮ Unranking of small combinations from large sets ⋮ First order LUB approximations: characterization and algorithms ⋮ On some tractable classes in deduction and abduction ⋮ Horn approximations of empirical data ⋮ Complexity results for explanations in the structural-model approach

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An incremental method for generating prime implicants/implicates
• NP is as easy as detecting unique solutions
• A theory of diagnosis from first principles
• A logic for default reasoning
• Hard problems for simple default logics
• Propositional truth maintenance systems: Classification and complexity analysis
• Parity, circuits, and the polynomial-time hierarchy
• Linear-time algorithms for testing the satisfiability of propositional horn formulae

This page was built for publication: Support set selection for abductive and default reasoning