# Computing with Logic as Operator Elimination: The ToyElim System

From International Center for Computational Logic

# 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**Kurzfassung****Abstract**

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:**Wissensverarbeitung

```
@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}
}
```