Propositional Circumscription and Extended Closed World Reasoning are $\Pi^P_2$-complete (1993)

Cached

Download Links

by Thomas Eiter , Georg Gottlob
Venue:Theoretical Computer Science
Citations:99 - 22 self

Document Versions

Propositional Circumscription and Extended Closed World Reasoning are $\Pi^P_2$-complete –Thomas Eiter, Georg Gottlob — 1993 — Theoretical Computer Science