A logic-based description of configuration: The Constructive Problem Solving approach

AAAI Fall Symposium - Technical Report

Volumn FS-96-03, Issue , 1996, Pages 1-10B

  Klein, Rudiger ^a  

^a DAIMLER AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346231034     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (40)

1. [BH91] F. Baader, Ph. Hanschke: "A scheme for integrating concrete domains into concept languages", Proc. 12th IJCAI, Sydney, 1991.
2. [BB91] J. Bowen, D. Bahler: "Full First-Order Logic in Knowledge Representation - a Constraint-Based Approach, TR-01-29, North Carolina State University, Raleigh, USA, 1991.
3. [BB93] J. Bowen, D. Bahler: "A Constraint Based Approach to Supporting Human Negotiation in Concurrent Engineering", in: [Gero93].
4. [BMS94] Brown, K.N., McMahon, C.A., Sims Williams, J.H.: "Constraint Unification Grammars: specifying languages of parametric designs", in: [Gero94], pp. 239-256.
5. [DD92] M. Denecker, D. De Schreye: "On the Duality of Abduction and Model Generation", in: Proc. Int'l. Conf on FGCS, ICOT, Tokyo, 1992.
6. [EG92] Th. Eiter, G. Gottlob: 'The Complexity of Logic-Based Abduction", Report CD-TR 92/35, TU Wien, 1992.
7. [FHKF92] M. Fujita et al.: Model Generation Theorem Provers on a Parallel Inference Machine, in: Proc. Int'l. Conf on FGCS, ICOT, Tokyo, 1992.
8. [FW94] Faltings, B., and Weigel, R.: Constraint Based Knowledge Representation for Configuration Systems, Techn. Report TR 94/59, Al Lab., Dept. of CS, EPFL, Lausanne, CH, 1994.
9. [Gero92] J. Gero, F. Sudweeks (eds.): Proc. Al in Design Conf., Pittsburgh, 1992, Kluwer Acad. Publ.
10. [Gero93] J.Gero, F. Sudweeks (eds.): Proc. IFIP WG 5.2 Workshop on Formal Design Methods for CAD, Tallinn, June 1993.
11. [Gero94] J. Gero, F. Sudweeks (eds.): Proc. Al in Design Conf., Lausanne, 1994, Kluwer Acad. Publ.
12. [Goebel92] R. Goebel et al.: 'Theorist Docum.", Al Lab., Univ. of Alberta, Ca., 1991.
13. [GR93] Gruber, T. R., and Runkel, J.: 'The VT Domain Ontology", Stanford Univ., 1993.
14. [Heinrlch89] M. Heinrich: "Ein generisches Modell zur Konfigurierung technischer Systeme", GMD Arbeitspapier 388, St. Augustin, Mai 1989.
15. [HJ91] M. Heinrich, E.-W. Jungst: "A Resource-Based Paradigm for Configuration...", Proc. 7th Conf. on Al Applications, Miami Beach, Florida, 1991.
16. [HJ96] M. Heinrich, E.-W. Jungst: The resource-based paradigm: configuring technical systems from modular components", proc. of this workshop.
17. [HS88] M. Hohfeld, G. Smolka: "Definite relations over constraint languages", LILOG report 53, IWBS, IBM Germany, Stuttgart, 1988.
18. [JL87] J. Jaffar, J.-L. Lassez: "Constraint Logic Programming", Proc. 14th ACM Symp. on Principles of Programming Languages, Munich, 1987.
19. [Klein91] R. Klein: "Model Representation and Taxonomic Reasoning in Configuration Problem Solving", Proc. 15th GWAI, Bonn, 1991, Springer Informatik Fachberichte 285, pp. 182-194.
20. [Klein93] R. Klein: "Some Suggestions to Resource-based Modelling in Configuration Problem Solving", Technical Report, DaimlerBenz Research Dept., Berlin, 1993.
21. [KBN94] R. Klein, M. Buchheit, W. Nutt: "Configuration as Model Construction: the Constructive Problem Solving Approach", in: J. Gero, F. Sudweeks (eds.): Proceedings of "Artificial Intelligence in Design 1994"(AID94) conference, Lausanne, 1994, Kluwer Academic Press.
22. [Levesque 89] Levesque, H.: A knowledge-level account of abduction, Proc. IJCAI-89, pp.1061-1066, Detroit, 1989
23. [Lloyd 90] Lloyd, J.W.: Computational Logic, Proc. of the ESPRIT Basic Reasaerch Activities Symposium, Brux-els, Nov. 1990, Springer, Berlin, 1990.
24. [MB88] R. Manthey, F. Bry: Satchmo - a Theorem Prover Implemented in Prolog", Proc. 9th CADE, Argonne, III., Springer LNCS 310, Berlin,1988.
25. [McDermott82] McDermott, J.: "R1: A Rule-Based Configurer of Computersystems", Artificial Intelligence 19(1982)39-88.
26. [MF89] Mittal, S., and Frayman, F.: 'Towards a generic model of configuration tasks, Proc. IJCAI-89, Los Ange-los, 1989, Morgan Kaufman.
27. [O'Rorke 90] O'Rorke, P.: Automated Abduction, Working Notes, 1990 AAAI Spring Symposium, Stanford-Univ., TR-90-32
28. [O'Rorke 91] O'Rorke, P.: Review of AAAI-90 Spring Symposium on Automated Abduction, SIGART Bulletin 1/3(1991), pp.12-17.
29. [Owsnicki 88] Owsnicki-Kleve, B.: Configuration as a consistency-maintenance task, in: W. Hoeppner (Hrsg.): Kunstliche Intelligenz, Informatik-Fachberichte 181, Springer, Berlin, 1988.
30. [Plakon 91] R. Cunis et al: "Das PLAKON Buch", Springer Inform. FB, Berlin 1991.
31. [PVH89] P. van Hentenryck: "Constraint Satisfaction in Logic Programming", MIT Press, Cambr., MA, 1989.
32. [RBB94] Runkel, J.T., Balkany, A., and Birmingham, W. P.: "Generating Non-Brittle Configuration-Design Tools", in: [Gero94], pp. 183-200.
33. [SH92] Stumptner, M., and Haselbock, A.: A generative constraint formalism for configuration problems, TR 92/4, TU Wien, Institut fur Informationssysteme, Wien, Austria, 1992.
34. [SN 90] Searis, D.B. and Norton, L.M.: Logic-Based Configuration with a Semantic Network, Journal of Logic Progr. 8(1990)53-73.
35. [Smolka 88] G. Smolka: "A feature logic with subsorts", LILOG report 33, IWBS, IBM Germany, Stuttgart, 1988.
36. [SSS 88] Schmidt-Schauss, M. and Smolka, G.: "Attributive Concept Description with Unions and Comple-ments",SCKI Report 88-21, Universitaet Kaiserslautern, Dec. 88
37. [Stlckel85] M. Stickel: "Automated Deduction by Theory Resolution", J. of Artificial lnt.1 (85)333.
38. [SW91] B. Stein, J, Weiner: "MOKON - eine modellbasierte Entwicklungsplattform zur Konfigurierung technis- cher Anlagen", in Proc. 5. Workshop "Planen und Konfigurieren", LKI-report 1/91, Hamburg, 1991.
39. [Tank90] Tank, W., et al.: AMOR - eine Wissensreprasentationssprache fur die technische Klarung von Auftragen, in: H. Krallmann (Hrsg.): Innovative Anwendungen, Oldenburg-Verlag, Munchen, 1990.
40. [TN94] Takeda, H., and Nishida, T: "Integration of aspects in design processes", in:[Gero94], pp.309-326.