An implemented prototype of two different variants of Circumscription formalized in the PIE system of Christoph Wernhard.
-
Updated
Feb 14, 2018 - Prolog
An implemented prototype of two different variants of Circumscription formalized in the PIE system of Christoph Wernhard.
Add a description, image, and links to the second-order-quantifier-elimination topic page so that developers can more easily learn about it.
To associate your repository with the second-order-quantifier-elimination topic, visit your repo's landing page and select "manage topics."