An Extension of Pointwise Circumscription

@article{Iwanuma1996AnEO,
  title={An Extension of Pointwise Circumscription},
  author={Koji Iwanuma and Kazuhiko Oota},
  journal={Artif. Intell.},
  year={1996},
  volume={86},
  pages={391-402}
}
Abstract In this paper we generalize Lifschitz's pointwise circumscription ander the first-order framework. The generalized version has the ability for simultaneously minimizing several predicates at finitely many pinpoints in a pointwise manner. We show that if an anderlying first-order theory is almost existential , then the extended pointwise circumscription is complete with respect to minimal model semantics. Almost existential formulas are in the dual form of almost universal formulas… CONTINUE READING
BETA

Similar Papers

Citations

Publications citing this paper.