Resolution for Constraint Logic Programming Slim Abdennadher and Christophe...  Home/Search
Context
Related
| pms.informatik.unimue...abdennadher.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: pms.informatik.unimuench...paper (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The goal of automated program synthesis is to bridge the gap between what is easy for people to describe and what is possible to execute on a computer. In this paper, we present a framework for synthesis of rule-based solvers for constraints given their logical speci - cation. This approach takes advantage of the power of tabled resolution for constraint logic programming, in order to check the validity of the rules. Compared to previous work [8, 19, 2, 5, 3], where di erent methods for ... (Update)
Active bibliography (related documents): More All
1.2: Rule-Based Constraint Programming: Theory and Practice - Abdennadher (2001) (Correct)
0.9: Towards Inductive Constraint Solving - Abdennadher, Rigotti (2001) (Correct)
0.8: Automatic Generation of Rule-based Solvers for.. - Abdennadher, Rigotti (2002) (Correct)
Similar documents based on text: More All
0.5: Using Confluence to Generate Rule-based Constraint Solvers - Abdennadher, Rigotti (2001) (Correct)
0.5: Automatic Generation of Rule-Based Constraint Solvers over .. - Abdennadher, Rigotti (2002) (Correct)
0.5: Automatic Generation of Propagation Rules for Finite Domains - Abdennadher, Rigotti (2000) (Correct)
BibTeX entry: (Update)
@misc{ constraint-constraint,
author = "Resolution For Constraint",
title = "Constraint Solver Synthesis using Tabled",
url = "citeseer.ist.psu.edu/626508.html" }
Citations (may not include all citations):313 Inductive Logic Programming : theory and methods - Muggleton, De Raedt - 1994
113 Constraint logic programming: A survey (context) - Ja, Maher - 1994
112 OLD resolution with tabulation (context) - Tamaki, Sato - 1986
87 Programming with Constraints: An Introduction (context) - Marriott, Stuckey - 1998
64 Theory and practice of constraint handling rules - Fr - 1998
58 Memoing for logic programs (context) - Warren - 1992
34 Information and Computation (context) - Stuckey, constraint - 1995
21 On constructive negation in logic programming - Przymusinski - 1990
18 and evaluation of the constraint language cc (context) - Hentenryck, Saraswat et al. - 1998
16 Automatic generation of constraint propagation algorithms fo.. - Apt, Monfroy - 1999
13 A proof theoretic view of constraint programming - Apt - 1998
11 Generalized constraint propagation over the CLP scheme (context) - Provost, Wallace - 1993
6 Automatic generation of propagation rules for nite domains (context) - Abdennadher, Rigotti - 2000
6 A system for tabled constraint logic programming (context) - Cui, Warren - 2000
5 Operational equivalence of CHR programs and constraints - Abdennadher, Fr - 1999
5 Flexible Query Answering Systems (context) - Abdennadher, Sch et al. - 1998
4 Using con uence to generate rule-based constraint solvers (context) - Abdennadher, Rigotti - 2001
3 Generating propagation rules for nite domains via uni cation.. (context) - Ringeissen, Monfroy - 2000
3 Constructive disjunction revisited (context) - urtz, uller - 1996
2 A tabulation method for constraint logic programs (context) - Codognet - 1995
1 Encyclopedia of Arti cial Intelligence (context) - Biermann - 1992
1 Automatic generation of rule-based constraint solvers over n.. - Abdennadher, Rigotti - 2004
1 Towards inductive constraint solving - Abdennadher, Rigotti - 2001
Documents on the same site (http://www.pms.informatik.uni-muenchen.de/mitarbeiter/abdennad/paper.html): More
The Munich Rent Advisor - Frühwirth, Abdennadher (Correct)
Model Generation with Existentially Quantified Variables.. - Abdennadher, Schütz (1997) (Correct)
CHR: A Flexible Query Language - Abdennadher, Schütz (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC