Georg Ringwelski  Home/Search
Context
Related
| 4c.ucc.ie/web/uplo...LP04Ringwelski.pdf 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: 4c.ucc.ie/web/d...2010&firstname= (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The availability of two decades of research in o#-the-shelf constraint solvers makes Constraint Programming the method of choice in many application areas of Artificial Intelligence. The domain of these systems is naturally very abstract such that an elaborate modeling of the application domain in the constraint domain has to be made. In interactive applications, the found model is normally too abstract to be handled by the user. I propose a modeling schema that is oriented to the... (Update)
Active bibliography (related documents): More All
0.2: Using Typed Interfaces to Compose CHR Programs - Ringwelski, Schlenker (2000) (Correct)
0.2: Type Inference in CHR Programs for the Composition of.. - Ringwelski, Schlenker (2000) (Correct)
0.2: Theory and Practice of Constraint Handling Rules - Frühwirth (1998) (Correct)
Similar documents based on text: More All
0.6: Constraint Processing with Reactive Agents - Georg Ringwelski And (Correct)
0.3: Question-Generation In Constraint-Based Expert Systems - Bowen, Likitvivatanavong (2002) (Correct)
0.3: A Mathematical Analysis of the Effect of the.. - Pokrovskii, Cronin.. (Correct)
BibTeX entry: (Update)
@misc{ ringwelski-modeling,
author = "Georg Ringwelski",
title = "Modeling the User's Constraint Domain",
url = "citeseer.ist.psu.edu/703544.html" }
Citations (may not include all citations):267 The constraint logic programming language chip (context) - Dincbas, van Hentenryck et al. - 1988
161 Fundamentals of Algebraic Specification (context) - Ehrig, Mahr - 1985
161 Fundamentals of Algebraic Specification (context) - Ehrig, Mahr - 1990
85 Compiling constraints in clp (context) - Codognet, Diaz - 1996
74 Software Engineering (context) - Sommerville - 2000
65 implementation of clp (context) - Puget - 1994
64 Theory and practice of constraint handling rules - Fruhwirth - 1998
52 The essence of constraint propagation - Apt - 1998
4 Constraint-Programmierung (context) - Fruhwirth, Abdenadher - 1997
1 Multiplication constraint in several approximation spaces (context) - Colmerauer - 2001
1 Technical University Berlin (context) - Ringwelski, PhD - 2003
1 Query generation for interactive constraint acquisition (context) - Freuder, Barry - 2002
1 Finite domain constraint programming systems (context) - Schulte, Carlson - 2002
Documents on the same site (http://4c.ucc.ie/web/displaypubs.jsp?author=&fromyear=1900&toyear=2010&firstname=): More
Balanced Incomplete Block Design as Satisfiability - Prestwich (2001) (Correct)
Texture-Based Heuristics for Scheduling Revisited - Beck, Davenport, Sitarski, Fox (1997) (Correct)
A Local Search Algorithm for Balanced Incomplete Block Designs - Prestwich (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