Integrating Abduction and Constraint Optimization in Constraint Handling Rules

被引：5
|
作者：
Gavanelli, Marco [1 ]
Alberti, Marco [1 ]
Lamma, Evelina [1 ]
机构：
[1] Univ Ferrara, I-44100 Ferrara, Italy
来源：
ECAI 2008, PROCEEDINGS | 2008年 / 178卷
关键词：
D O I：
10.3233/978-1-58603-891-5-903
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：903 / +
页数：2
相关论文
共 50 条
  • [1] Constraint solving with constraint handling rules
    Frühwirth, T
    [J]. INTENSIONAL PROGRAMMING II: BASED ON THE PAPERS AT ISLIP'99, 2000, : 14 - 30
  • [2] Soft constraint propagation and solving in constraint handling rules
    Bistarelli, S
    Frühwirth, T
    Marte, M
    Rossi, F
    [J]. COMPUTATIONAL INTELLIGENCE, 2004, 20 (02) : 287 - 307
  • [3] Quantified Constraint Handling Rules
    Barichard, Vincent
    Stephan, Igor
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 210 - 223
  • [4] Transactions in Constraint Handling Rules
    Schrijvers, Tom
    Sulzmann, Martin
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 516 - +
  • [5] Aggregates in Constraint Handling Rules
    Sneyers, Jon
    Van Weert, Peter
    Schrijvers, Tom
    Demoen, Bart
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 446 - 448
  • [6] On completion of constraint handling rules
    Abdennadher, S
    Frühwirth, T
    [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP98, 1998, 1520 : 25 - 39
  • [7] Constraint Handling Rules - What Else?
    Fruehwirth, Thom
    [J]. RULE TECHNOLOGIES: FOUNDATIONS, TOOLS, AND APPLICATIONS, 2015, 9202 : 13 - 34
  • [8] CLP Projection for Constraint Handling Rules
    Haemmerle, Remy
    Lopez-Garcia, Pedro
    Hermenegildo, Manuel V.
    [J]. PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING, 2011, : 137 - 148
  • [9] Constraint Handling Rules and tabled execution
    Schrijvers, T
    Warren, DS
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 120 - 136
  • [10] Diagrammatic confluence for Constraint Handling Rules
    Haemmerle, Remy
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2012, 12 : 737 - 753
12345