Computing with Logic as Operator Elimination: The ToyElim System

Christoph WernhardChristoph Wernhard

Christoph Wernhard
Computing with Logic as Operator Elimination: The ToyElim System
In Hans Tompits and Salvador Abreu and Johannes Oetsch and Jörg Pührer and Dietmar Seipel and Masanobu Umeda and Armin Wolf, eds., Applications of Declarative Programming and Knowledge Management, 19th International Conference (INAP 2011) and 25th Workshop on Logic Programming(WLP 2011), Revised Selected Papers, volume 7773 of LNCS (LNAI), 289-296, 2013. Springer

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@inproceedings{W2013,
  author    = {Christoph Wernhard},
  title     = {Computing with Logic as Operator Elimination: The {ToyElim}
               System},
  editor    = {Hans Tompits and Salvador Abreu and Johannes Oetsch and
               J{\"{o}}rg P{\"{u}}hrer and Dietmar Seipel and Masanobu Umeda and
               Armin Wolf},
  booktitle = {Applications of Declarative Programming and Knowledge Management,
               19th International Conference (INAP 2011) and 25th Workshop on
               Logic {Programming(WLP} 2011), Revised Selected Papers},
  series    = {LNCS (LNAI)},
  volume    = {7773},
  publisher = {Springer},
  year      = {2013},
  pages     = {289-296}
}