A New Logic for Jointly Representing Hard and Soft Constraints.

Jan Maly Stefan Woltran

Published in: PRUV@IJCAR (2018)

Keyphrases

hard and soft constraints
constraint programming
integrity checking
modal logic
soft constraints
database
cost function
logic programming
expressive power
integrity constraints
automated reasoning
hard constraints