A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Computing with Logic as Operator Elimination: The ToyElim System
[chapter]
2013
Lecture Notes in Computer Science
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.
doi:10.1007/978-3-642-41524-1_17
fatcat:zzzgdm5icjf65jtutn7eqwlqsa