(Co-)Inductive semantics for Constraint Handling Rules

Theory and Practice of Logic Programming, 11(4-5): 593-609, 2011 In this paper, we address the problem of defining a fixpoint semantics for Constraint Handling Rules (CHR) that captures the behavior of both simplification and propagation rules in a sound and complete way with respect to their declar...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Haemmerlé, Rémy
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Logic in Computer Science Computer Science - Programming Languages
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!