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 条
  • [11] Integrating Abduction and Constraint Optimization in Constraint Handling Rules
    Gavanelli, Marco
    Alberti, Marco
    Lamma, Evelina
    ECAI 2008, PROCEEDINGS, 2008, 178 : 903 - +
  • [12] The expressive power of voting rules
    Bourgeois-Gironde, Sacha
    Ferreira, Joao V.
    SOCIAL CHOICE AND WELFARE, 2024, 62 (02) : 233 - 273
  • [13] The expressive power of voting rules
    Sacha Bourgeois-Gironde
    João V. Ferreira
    Social Choice and Welfare, 2024, 62 (2) : 233 - 273
  • [14] A comparison of constraint handling rules with equivalent transformation rules
    Shigeta, Y
    Akama, K
    Chippimolchai, P
    Ishikawa, T
    MSV'04 & AMCS'04, PROCEEDINGS, 2004, : 345 - 351
  • [15] CLP Projection for Constraint Handling Rules
    Haemmerle, Remy
    Lopez-Garcia, Pedro
    Hermenegildo, Manuel V.
    PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING, 2011, : 137 - 148
  • [16] Diagrammatic confluence for Constraint Handling Rules
    Haemmerle, Remy
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2012, 12 : 737 - 753
  • [17] Constraint Handling Rules - What Else?
    Fruehwirth, Thom
    RULE TECHNOLOGIES: FOUNDATIONS, TOOLS, AND APPLICATIONS, 2015, 9202 : 13 - 34
  • [18] Constraint Handling Rules and tabled execution
    Schrijvers, T
    Warren, DS
    LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 120 - 136
  • [19] Converting Constraint Handling Rules to Equivalent Transformation Rules
    Shigeta, Yoshinori
    Akama, Kiyoshi
    Mabuchi, Hiroshi
    Koike, Hidekatsu
    JOURNAL OF ADVANCED COMPUTATIONAL INTELLIGENCE AND INTELLIGENT INFORMATICS, 2006, 10 (03) : 339 - 348
  • [20] Theory and practice of constraint handling rules
    Fruhwirth, T
    JOURNAL OF LOGIC PROGRAMMING, 1998, 37 (1-3): : 95 - 138
12345