Ulrich Junker  Home/Search
Context Related
| lirmm.fr/~bessiere/./ws_...junker.ps.gz 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: lirmm.fr/~bessie...proc_wsijcai01 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Existing conflict detection methods for CSP's such as [de Kleer, 1989; Ginsberg, 1993] cannot make use of powerful propagation which makes them unusable for complex real-world problems. On the other hand, powerful constraint propagation methods lack the ability to extract dependencies or conflicts, which makes them unusable for many advanced AI reasoning methods that require conflicts, as well as for interactive applications that require explanations. In this paper, we present a non-intrusive... (Update)
Cited by: More
ADVISOR SUITE A knowledge-based sales advisory system - Jannach (2004) (Correct)
Consistency-based diagnosis of configuration knowledge.. - Felfernig, Friedrich.. (2004) (Correct)
The Specification of Agent Behavior by Ordinary People: A .. - McDowell, Etzioni, Halevy (2004) (Correct)
Active bibliography (related documents): More All
0.3: Non-Intrusive Constraint Solver Enhancements - Douence, Jussien (2002) (Correct)
0.3: Improving Asynchronous Backtracking for Dealing with - Complex Local Problems (Correct)
0.1: Local Search With Constraint Propagation and Conflict-Based.. - Jussien, Lhomme (2002) (Correct)
Similar documents based on text: More All
0.5: Preference Programming for Configuration - Junker (2001) (Correct)
0.4: The Logic of ILOG (J)Configurator: Combining Constraint.. - Junker, Mailharro (Correct)
0.3: Fast and Scalable Conflict Detection for Packet Classifiers - Baboescu, Varghese (2002) (Correct)
Related documents from co-citation: More All
6: constraints: explanation-based Constraint Programming (context) - e- - 2001
6: Maintaining arcconsistency within dynamic backtracking - Jussien, Debruyne et al. - 2000
6: A complexity analysis of space-bounded learning algorithms for the constraint sa.. - Bayardo, Mirankar - 1996
BibTeX entry: (Update)
Ulrich Junker. QUICKXPLAIN: Conflict detection for arbitrary constraint propagation algorithms. Technical report, Ilog SA, 2001. http://citeseer.ist.psu.edu/junker01quickxplain.html More
@inproceedings{ junker01:quickxplain:inp,
author={Ulrich Junker},
title={QUICKXPLAIN: Conflict Detection for Arbitrary Constraint Propagation Algorithms},
booktitle={IJCAI'01 Workshop on Modelling and Solving problems with constraints (CONS-1)},
year={2001},
month={August},
address={Seattle, WA, USA},
url={citeseer.ist.psu.edu/junker01quickxplain.html},
url={http://www.lirmm.fr/~bessiere/ws_ijcai01/junker.ps.gz} }
Citations (may not include all citations):458 A theory of diagnosis from first principles (context) - Reiter - 1987
334 A truth maintenance system (context) - Doyle - 1979
211 Hybrid algorithms for the constraint satisfaction problem (context) - Prosser - 1993
93 Journal of Artificial Intelligence Research (context) - Ginsberg - 1993
65 A model for belief revision - Martins, Shapiro - 1988
57 Conditional entailment: Bridging two approaches to default r.. (context) - Geffner, Pearl - 1992
52 A filtering algorithm for constraints of difference in CSPs (context) - Regin - 1994
33 Asynchronous weak-commitment search for solving distributed .. (context) - Yokoo - 1995
32 Computing the extensions of autoepistemic and default logics.. (context) - Junker, Konolige - 1990
28 Reference manual and User manual (context) - Configurator - 2000
18 Diagnosing and solving overdetermined constraint satisfactio.. - Bakker, Dikker et al. - 1993
13 Dynamic domain splitting for numeric CSPs - Jussien, Lhomme - 1998
12 A comparison of ATMS and CSP techniques (context) - de Kleer - 1989
8 A comparative study of eight constraint programming language.. (context) - Fernandez, Hill - 2000
3 Explanation-based generalisation of failures (context) - de Siqueira, Puget - 1988
1 Automated generation and validation of configurator knowledg.. (context) - Felfernig, Friedrich et al. - 2000
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.lirmm.fr/~bessiere/./proc_wsijcai01.html): More
Modelling a Steel Mill Slab Design Problem - Frisch, Miguel, Walsh (2001) (Correct)
Expanding feature-based constraint grammars: Experience with a.. - Ciortuz (2001) (Correct)
Using Explanations for Design Patterns Identification - Guéhéneuc, Jussien (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