Expressive power of constraint handling rules extensions and fragments

被引：0

作者：

Mauro, Jacopo ^{[1
]}

机构：

[1] University of Bologna / INRIA, Italy

来源：

Bulletin of the European Association for Theoretical Computer Science | 2013年 / 111卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：168 / 194

共 50 条

[41] Representing argumentation schemes with Constraint Handling Rules (CHR)
Gordon, Thomas F.
Friedrich, Horst
Walton, Douglas
ARGUMENT & COMPUTATION, 2018, 9 (02) : 91 - 119
[42] University course timetabling using constraint handling rules
Abdennadher, S
Marte, M
APPLIED ARTIFICIAL INTELLIGENCE, 2000, 14 (04) : 311 - 325
[43] A linear-logic semantics for constraint handling rules
Betz, H
Frühwirth, T
PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2005, PROCEEDINGS, 2005, 3709 : 137 - 151
[44] Understanding functional dependencies via constraint handling rules
Sulzmann, Martin
Duck, Gregory J.
Peyton-Jones, Simon
Stuckey, Peter J.
JOURNAL OF FUNCTIONAL PROGRAMMING, 2007, 17 : 83 - 129
[45] Constraint handling rules with binders, patterns and generic quantification
Serrano, Alejandro
Hage, Jurriaan
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2017, 17 (5-6) : 992 - 1009
[46] Optimal union-find in Constraint Handling Rules
Schrijvers, T
Frühwirth, T
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 213 - 224
[47] Implementation of Logical Retraction in Constraint Handling Rules with Justifications
Fruehwirth, Thom
DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, DECLARE 2017, 2018, 10997 : 37 - 52
[48] A prolog constraint handling rules compiler and runtime system
Holzbaur, C
Frühwirth, T
APPLIED ARTIFICIAL INTELLIGENCE, 2000, 14 (04) : 369 - 388
[49] A unified semantics for constraint handling rules in transaction logic
Meister, Marc
Djelloul, Khalil
Robin, Jacques
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2007, 4483 : 201 - +
[50] (Co-)Inductive semantics for Constraint Handling Rules
Haemmerle, Remy
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2011, 11 : 593 - 609

← 1 2 3 4 5 →