The following pages link to CHR grammars (Q5696594):
Displaying 6 items.
- On proving confluence modulo equivalence for Constraint Handling Rules (Q511019) (← links)
- Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules (Q833735) (← links)
- Parsing as semantically guided constraint solving: the role of ontologies (Q1653454) (← links)
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules (Q3616884) (← links)
- Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities (Q3621268) (← links)
- Abductive Logic Grammars (Q3638282) (← links)
