6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2011★ 6 cited
Introducing LoCo, a Logic for Configuration Problems
Markus Aschinger, Conrad Drescher, Georg Gottlob
In this paper we present the core of LoCo, a logic-based high-level representation language for expressing configuration problems. LoCo shall allow to model these problems in an in…
cs.LO2011
Proceedings Second Workshop on Logics for Component Configuration
Conrad Drescher, Ines Lynce, Ralf Treinen
This volume contains the papers presented at the second international workshop on Logics for Component Configuration (LoCoCo 2011) which was associated with the International Confe…