LoCo -- A Logic for Configuration Problems
M. Aschinger, C. Drescher, und H. Vollmer.
Proceedings of the 20th European Conference on Artificial Intelligence, ECAI 2012, (2012)

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.

Dokument

http://www.cs.ox.ac.uk/files/4821/locoecai2012.pdf

Suchen auf

Diese Publikation wurde noch nicht bewertet.

Bewertungsverteilung

Durchschnittliche Benutzerbewertung0,0 von 5.0 auf Grundlage von 0 Rezensionen

Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.

@inproceedings{aschinger2012logic,
  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. },
  added-at = {2012-09-06T15:25:14.000+0200},
  author = {Aschinger, Markus and Drescher, Conrad and Vollmer, Heribert},
  biburl = {https://puma.uni-kassel.de/bibtex/2f48bfab53a7dc5e18bdbd8d4a75e909b/jaeschke},
  booktitle = {Proceedings of the 20th European Conference on Artificial Intelligence, ECAI 2012},
  interhash = {b3befa04f5532a890a885683917b52c3},
  intrahash = {f48bfab53a7dc5e18bdbd8d4a75e909b},
  keywords = {configuration logic problem},
  location = {Montpellier, France},
  timestamp = {2012-09-06T15:25:14.000+0200},
  title = {LoCo -- A Logic for Configuration Problems},
  url = {http://www.cs.ox.ac.uk/files/4821/locoecai2012.pdf},
  year = 2012
}

%0 Conference Paper
%1 aschinger2012logic
%A Aschinger, Markus
%A Drescher, Conrad
%A Vollmer, Heribert
%B Proceedings of the 20th European Conference on Artificial Intelligence, ECAI 2012
%D 2012
%K configuration logic problem
%T LoCo -- A Logic for Configuration Problems
%U http://www.cs.ox.ac.uk/files/4821/locoecai2012.pdf
%X 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.

PUMA

LoCo -- A Logic for Configuration Problems
M. Aschinger, C. Drescher, und H. Vollmer.
Proceedings of the 20th European Conference on Artificial Intelligence, ECAI 2012, (2012)

Tags

Nutzer

Kommentare und Rezensionen

Zitieren Sie diese Publikation

PUMA

LoCo -- A Logic for Configuration ProblemsM. Aschinger, C. Drescher, und H. Vollmer. Proceedings of the 20th European Conference on Artificial Intelligence, ECAI 2012, (2012)

Tags

Nutzer

Kommentare und Rezensionen

Zitieren Sie diese Publikation

LoCo -- A Logic for Configuration Problems
M. Aschinger, C. Drescher, und H. Vollmer.
Proceedings of the 20th European Conference on Artificial Intelligence, ECAI 2012, (2012)