CHR grammars
From MaRDI portal
Publication:5696594
DOI10.1017/S1471068405002395zbMath1104.68055OpenAlexW2911319454MaRDI QIDQ5696594
Publication date: 18 October 2005
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1471068405002395
Related Items (6)
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules ⋮ Parsing as semantically guided constraint solving: the role of ontologies ⋮ On proving confluence modulo equivalence for Constraint Handling Rules ⋮ Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules ⋮ Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities ⋮ Abductive Logic Grammars
This page was built for publication: CHR grammars
