Publikation
Martin Buchheit, Rüdiger Klein, Werner Nutt
DFKI DFKI Technical Memos (TM) 95-01 1995.
We give a sound calculus by which one can compute solutions to configuration problems if they exist and that allows one to recognize that a specification is inconsistent. In particular, the calculus can be used in order to check whether a given configuration satisfies the specification.
@techreport{pub6297, author = { Buchheit, Martin and Klein, Rüdiger and Nutt, Werner }, title = {Constructive Problem Solving: A Model Construction Approach towards Configuration}, series = {DFKI Technical Memos (TM)}, year = {1995}, volume = {95-01}, pages = {34}, institution = {DFKI} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
Fax: +49 631 20575 5030
© DFKI, 2022