Browsing Fakultät für Ingenieurwissenschaften, Informatik und Psychologie by Person "Raiser, Frank"
Now showing items 1-4 of 4
BerichtWe observe that the various formulations of the operational semantics of Constraint Handling Rules proposed over the years fall into a spectrum ranging from the analytical to the pragmatic. While existing analytical ...
Buch(Universität Ulm, 2018)
DissertationConstraint Handling Rules (CHR) is a rule- and logic-based formalism and has established itself as an active research topic. In contrast to other rule-based approaches, CHR is both, a theoretical formalism related to ...
ArbeitspapierConstraint programming often involves global constraints, which have been catalogued in  and for which various custom filtering algorithms have been published. This work presents a semi-automatic generation of CHR solvers ...