On Computing Constraint Abduction Answers

DOI10.1007/978-3-540-89439-1_30MaRDI QIDQ5505571zbMATH OpenOpenAlexFDO

Authors Michael J. Maher, Ge Huang

Publication date 27 January 2009

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89439-1_30

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Logic Programming
• The Complexity of Abduction for Equality Constraint Languages
• Type Processing by Constraint Reasoning
• Abduction from logic programs: Semantics and complexity
• scientific article; zbMATH DE number 140407

Cited in

(4)

• A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials
• Logic Programming
• Modelling cyclicity and generalized cost-based abduction using linear constraint satisfaction
• Distributed Abductive Reasoning with Constraints

This page was built for publication: On Computing Constraint Abduction Answers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505571)