R. Klein, M. Buchheit, W. Nutt  Home/Search
Context Related
| dfki.unisb.de/pub/tacos...aid94.ps.gz dfki.de/~nutt/Publicatio...aid94.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: dfki.de/~tacos/...OSPublications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Configuration is distinguished by two important aspects: the inherent well-structuredness of the problem description, and the synthetic type of problem solving. Up to now there is quite a number of (more or less) ad hoc approaches to configuration -- but we are still missing a comprehensive formal treatment. In order to be adequate a formalization of configuration has to take both aspects into account: the well-structuredness and the synthetic problem solving type. In this paper we introduce... (Update)
Context of citations to this paper: More
.... as the synthesis, more or less automatic, of a set of objects satisfying a set of predefined constraints [Stumper 1997] In [Klein, Buchheit Nutt 1994] the configuration task is described as model construction, the constraints being expressed as a set of logic formulas...
.... of constructing a model of the current specification due to a theory that represents general knowledge on applicable configurations [2, 10]. These approaches exhibit mainly three drawbacks: 1. Yet, logical frameworks for configuration concentrated on structure oriented...
Cited by: More
Consistency-Based Configuration - Friedrich, Stumptner (1999) (Correct)
The Description Logic ALCNHR+ Extended with Concrete.. - Haarslev, Möller, Wessel (2001) (Correct)
Unification of Concept Terms in Description Logics - Baader, Narendran (1998) (Correct)
Active bibliography (related documents): More All
0.5: New Aspects and Applications of Resource-based Configuration - Durdanovic, Büning.. (1996) (Correct)
0.3: Cardinality Restrictions on Concepts - Baader, Buchheit, Hollunder (1993) (Correct)
0.3: Attribute Models Of Design Objects - Tyugu (Correct)
Similar documents based on text: More All
0.2: Task Acquisition with a Description Logic Reasoner - Buchheit, Bürckert.. (1995) (Correct)
0.2: Working Notes of the KI'95 Workshop: KRDB-95.. - Baader, Buchheit.. (1994) (Correct)
0.2: Subsumption between Queries to Object-Oriented Databases - Buchheit, Jeusfeld, Nutt.. (1993) (Correct)
Related documents from co-citation: More All
4: A knowledge-based configurator that supports sales - Wright, Weixelbaum et al. - 1993
3: A scheme for integrating concrete domains into concept languages - Baader, Hanschke - 1991
2: Unification in commutative theories (context) - Baader
BibTeX entry: (Update)
M. Buchheit, R. Klein, and W. Nutt. Configuration as model construction: The constructive problem solving approach. In Proc. of the 3rd International Conference on Artificial Intelligence in Design, AID'94, 1994. http://citeseer.ist.psu.edu/buchheit94configuration.html More
@misc{ buchheit94configuration,
author = "M. Buchheit and R. Klein and W. Nutt",
title = "Configuration as model construction: The constructive problem solving approach",
text = "M. Buchheit, R. Klein, and W. Nutt. Configuration as model construction:
The constructive problem solving approach. In Proc. of the 3rd International
Conference on Artificial Intelligence in Design, AID'94, 1994.",
year = "1994",
url = "citeseer.ist.psu.edu/buchheit94configuration.html" }
Citations (may not include all citations):561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987
380 Constraint Satisfaction in Logic Programming (context) - Hentenryck - 1989
156 Satchmo -- a theorem prover implemented in Prolog (context) - Manthey, Bry - 1988
130 A scheme for integrating concrete domains into concept langu.. - Baader - 1991
103 Automated deduction by theory resolution - Stickel - 1985
84 The complexity of logic-based abduction - Th - 1992
66 A knowledge-level account of abduction (context) - Levesque - 1989
62 A feature logic with subsorts - Smolka - 1988
44 Definite relations over constraint languages - Hohfeld, Smolka - 1988
24 Model Generation Theorem Provers on a Parallel Inference Mac.. (context) - Fujita - 1992
19 Configuration as a consistency-maintenance task (context) - Owsnicki-Kleve - 1988
15 Attributive concept description with unions and complements (context) - Schmidt-Schauss, Smolka - 1988
14 the duality of abduction and model generation (context) - Denecker, De Schreye - 1992
9 Constructive Problem Solving: a model construction approach .. (context) - Buchheit, Klein et al. - 1993
7 Logic-based configuration with a semantic network (context) - Searls, Norton - 1990
6 Das PLAKON Buch (context) - Cunis - 1991
3 Full first-order logic in knowledge representation -- a cons.. (context) - Bowen, Bahler - 1991
3 Model representation and taxonomic reasoning in configuratio.. (context) - Klein - 1991
2 MOKON -- eine modellbasierte Entwicklungsplattform zur Konfi.. (context) - Stein, Weiner - 1991
1 Workshop on Formal Design Methods for CAD (context) - Gero, Sudweeks - 1993
1 Computational Logic (context) - Lloyd - 1990
1 A constraint based approach to supporting human negotiation .. (context) - Bowen, Bahler - 1993
1 Automated Abduction (context) - O'Rorke - 1990
1 Artificial Intelligence in Design '92 (context) - Gero - 1992
1 Some suggestions to resource-based modelling in configuratio.. (context) - Klein - 1993
1 Ein generisches Modell zur Konfigurierung technischer System.. (context) - KLEIN, BUCHHEIT et al. - 1989
1 Constructive Problem Solving -- eine formale Beschreibung vo.. (context) - Klein - 1994
1 A resource-based paradigm for configuration (context) - Heinrich, Jungst - 1991
1 Review of AAAI-90 spring symposium on automated abduction (context) - O'Rorke - 1991
1 Theorist Documentaion (context) - Goebel, Ferguson et al. - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dfki.de/~tacos/TACOS-Publications.html): More
The Complexity of Existential Quantification in.. - Donini, Hollunder.. (1992) (Correct)
Combination Problems for Commutative/Monoidal Theories or How.. - Baader, Nutt (1996) (Correct)
Tractable Reasoning in a Universal Description Logic (Extended.. - Schild (1994) (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