Combining Constraint Solving

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Combining Constraint Solving

Franz BaaderFranz Baader,  K. SchulzK. Schulz
Franz Baader, K. Schulz
Combining Constraint Solving
In H. Comon and C. Marché and R. Treinen, eds., Constraints in Computational Logics, volume 2002 of Lecture Notes in Computer Science. Springer, 2001
  • KurzfassungAbstract
    In many areas of Logic, Computer Science, and Artificial Intelligence, there is a need for specialized formalisms and inference mechanisms to solve domain-specific tasks. For this reason, various methods and systems have been developed that allow for an efficient and adequate treatment of such restricted problems. In most realistic applications, however, one is faced with a complex combination of different problems, which means that a system tailored to solving a single problem can only be applied if it is possible to combine it both with other specialized systems and with general purpose systems.
  • Bemerkung: Note: See http://link.springer.de/link/service/series/0558/tocs/t2002.htm
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
The final publication is available at Springer.
@incollection{ BaaderSchulzCCL00,
  author = {F. {Baader} and K. {Schulz}},
  booktitle = {Constraints in Computational Logics},
  editor = {H. {Comon} and C. {March{\'e}} and R. {Treinen}},
  note = {See http://link.springer.de/link/service/series/0558/tocs/t2002.htm},
  publisher = {Springer--Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Combining Constraint Solving},
  volume = {2002},
  year = {2001},
}