Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete

@article{Eiter1993PropositionalCA,
  title={Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete},
  author={Thomas Eiter and Georg Gottlob},
  journal={Theor. Comput. Sci.},
  year={1993},
  volume={114},
  pages={231-245}
}
Highly Influential
This paper has highly influenced 14 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
109 Extracted Citations
0 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.

Similar Papers

Loading similar papers…