Integrating Abduction and Constraint Optimization in. Constraint Handling Rules. Marco Gavanelli and Marco Alberti and Evelina Lamma 1. 1 Abduction and CHR.
This paper investigates earlier work on exploiting implicit hitting sets and propositional satisfiability solvers and proposes a number of algorithmic ...
Integrating Abduction and Constraint Optimization in Constraint Handling Rules. Authors: Marco Gavanelli. Marco Gavanelli. University of Ferrara, Italy, email ...
In particular, we are able to deal with recursion through the optimization predicates: the abductive proof-procedure can invoke optimization predicates, ...
Integrating Abduction and Constraint Optimization in Constraint Handling Rules. Authors. Marco Gavanelli, Marco Alberti, Evelina Lamma. Pages. 903 - 904. DOI.
Marco Gavanelli , Marco Alberti , Evelina Lamma: Integrating Abduction and Constraint Optimization in Constraint Handling Rules. ECAI 2008: 903-904.
Starting from the practical need to combine abduction and constraint optimization, we propose a new declarative semantics for ALP with optimization. We ground ...
... Integrating abduction and constraint optimization in constraint handling rules. In: Ghallab, M., Spyropoulos, C.D., Fakotakis, N., Avouris, N. (eds.) ECAI ...
We believe that adding optimisation meta-predicates to abductive proof-procedures would improve research and practical applications of abductive reasoning.
People also ask
What are the two types of constraints in constrained optimization?
What is the difference between constraint satisfaction problem and constraint optimization problem?
Gavanelli, M., Alberti, M., Lamma, E.: Integrating abduction and constraint optimization in constraint handling rules. In: Ghallab, M., Spyropoulos, C.D. ...