LoCo — A Logic for Configuration Problems
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 configur...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
2012
|