Search
 
loader loading subjects...
cover
LoCo — A Logic for Configuration Problems
Markus Aschinger, Conrad Drescher, Heribert Vollmer
73 - 78
10.3233/978-1-61499-098-7-73
Frontiers in Artificial Intelligence and Applications
Volume 242: ECAI 2012
Abstract

LoCo is a fragment of classical first order logic tailored for expressing configuration problems. The core feature of LoCo is that the number of components used in configurations does not have to be finitely bounded explicitly, but instead is bounded implicitly through the axioms. Computing configurations reduces to model-finding. We present the language, related algorithms and complexity results as well as a prototypical implementation via answer set programming.

Download
Creative Commons License