On Computing Constraint Abduction Answers

DOI10.1007/978-3-540-89439-1_30zbMATH Open1182.68046OpenAlexW1787346345MaRDI QIDQ5505571FDOQ5505571

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

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)