Computing with Logic as Operator Elimination: The ToyElim System

Christoph WernhardChristoph Wernhard

Christoph Wernhard
Computing with Logic as Operator Elimination: The ToyElim System
Proceedings of the 25th Workshop on Logic Programming, WLP 2011, 2011

Details
Bibtex

KurzfassungAbstract
A prototype system is described whose core functionality is, based on propositional logic, the elimination of second-order operators, such as Boolean quantifiers and operators for projection, forgetting and circumscription. This approach allows to express many representational and computational tasks in knowledge representation -- for example computation of abductive explanations and models with respect to logic programming semantics -- in a uniform operational system, backed by a uniform classical semantic framework.
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{W2011,
  author    = {Christoph Wernhard},
  title     = {Computing with Logic as Operator Elimination: The {ToyElim}
               System},
  booktitle = {Proceedings of the 25th Workshop on Logic Programming, {WLP} 2011},
  year      = {2011}
}