[Back]

I. Feinerer:
"Towards hybrid techniques for efficient declarative configuration";
Talk: ECAI Workshop on Con guration 2012, Montpellier, France; 08-27-2012 - 08-31-2012; in: "Proceedings of the Workshop on Configuration at ECAI 2012", (2012), 27 - 30.

During the last decades configuration has been extensively
employed in a wide range of application domains, implemented
by a multitude of techniques like logics, procedural,
object-oriented, or resourced-driven approaches. Especially declarative methods provide the foundation for precise and well-understood semantics for reasoning tasks and allow for a succinct representation of the underlying knowledge base. However, a drawback in using such powerful declarative techniques lies in their computational complexity. In this paper we present a simple declarative framework for configuration in Prolog in order to show the advantages of logicbased techniques but also to identify some challenges for such formalisms. We argue for hybrid systems which combine and utilize efficient techniques from different configuration methodologies under a unified declarative interface.