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] Satisfying Poetry Properties Using Constraint Handling Rules
    El Bolock, Alia
    Abdennadher, Slim
    COMPUTATIONAL LINGUISTICS AND INTELLIGENT TEXT PROCESSING (CICLING 2015), PT II, 2015, 9042 : 335 - 347
  • [42] 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
  • [43] University course timetabling using constraint handling rules
    Abdennadher, S
    Marte, M
    APPLIED ARTIFICIAL INTELLIGENCE, 2000, 14 (04) : 311 - 325
  • [44] 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
  • [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
12345