Computing with Logic as Operator Elimination: The ToyElim System

Details Computing with Logic as Operator Elimination: The ToyElim System Computing with Logic as Operator Elimination: The ToyElim System

2011-08-24

arxiv.org/abs/1108.4891v1

Computer Science

Artificial Intelligence

Appears in the Proceedings of the 25th Workshop on Logic Programming (WLP 2011)

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Computing with Logic as Operator Elimination: The ToyElim System does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Computing with Logic as Operator Elimination: The ToyElim System, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Computing with Logic as Operator Elimination: The ToyElim System will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-377901