6 citations · 6 across the 1 of their papers we have counts for
1 paper
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…