Ulrich Junker, Daniel Mailharro  Home/Search
Context
Related
| ilog.com/ijcai03/Pape...IJCAI0303.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: ilog.com/ijcai03/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes the logic of ILOG (J)Configurator, a powerful configuration system combining constraint programming with a description logic. This combination is based on two key ideas: 1. Constraints are embedded into a logical language and can thus be applied to logical terms formed with the vocabulary of the description logic. 2. When solving the problem, the constructs of description logic are translated into constraints that do the classification while interacting with the... (Update)
Active bibliography (related documents): More All
0.3: Consistency-Based Configuration - Friedrich, Stumptner (1999) (Correct)
0.3: Suggestions from the Software Engineering Practice for.. - Fleischanderl (Correct)
0.3: ADVISOR SUITE A knowledge-based sales advisory system - Jannach (2004) (Correct)
Similar documents based on text: More All
0.6: Propagate the Right Thing: How Preferences Can Speed-Up.. - Bessiere, Fabre, Junker (2003) (Correct)
0.5: Preference Programming for Configuration - Junker (2001) (Correct)
0.4: A Framework for Constraint Programming Based Column.. - Junker, Karisch.. (1999) (Correct)
BibTeX entry: (Update)
@misc{ junker-logic,
author = "Ulrich Junker and Daniel Mailharro",
title = "The Logic of ILOG (J)Configurator: Combining Constraint Programming with
a Description Logic",
url = "citeseer.ist.psu.edu/654888.html" }
Citations (may not include all citations):331 Logical Foundations of Artificial Intelligence (context) - Genesereth, Nilsson - 1987
104 Dynamic constraint satisfaction problems (context) - Mittal, Falkenhainer - 1990
62 the relative expressiveness of description logics and predic.. - Borgida - 1996
52 A filtering algorithm for constraints of difference in CSPs (context) - Regin - 1994
32 The logic of constraint satisfaction (context) - Mackworth - 1992
20 A classification and constraint based framework for configur.. (context) - Mailharro - 1998
17 Reviewing the design of DAML+OIL: An ontology language for t.. (context) - Horrocks, PatelSchneider et al. - 2002
7 PECOS: a high level constraint programming language (context) - Puget - 1992
4 Conceptual modeling for configuration: A description logic-b.. (context) - McGuiness, Wright - 1998
3 Generative constraintbased configuration of large technical .. (context) - Stumptner, Friedrich et al. - 1998
3 Preference programming: Advanced problem solving for configu.. (context) - Junker, Mailharro - 2003
1 Problem decomposition in configuration (context) - Magro, Torasso et al. - 2002
Documents on the same site (http://www2.ilog.com/ijcai-03/): More
Recognizing User Intentions in Incremental Configuration.. - Krebs, Wagner, Runte (2003) (Correct)
Satisfaction Guaranteed - Eugene Freuder And (Correct)
Solving Methods for Conditional Constraint Satisfaction - Gelle, Sabin (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