𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Dichotomy in the Complexity of Propositional Circumscription

✍ Scribed by Lefteris M. Kirousis; Phokion G. Kolaitis

Publisher
Springer
Year
2004
Tongue
English
Weight
218 KB
Volume
37
Category
Article
ISSN
1433-0490

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A theorem on the consistency of circumsc
A theorem on the consistency of circumscription
✍ Peter L. Mott πŸ“‚ Article πŸ“… 1987 πŸ› Elsevier Science 🌐 English βš– 536 KB

This paper giw's more general conditions under which McCarthy's circumscription is consistent, allowing application of the method outside the domain of universal sentences. It is shown that circumscription as presented here continues to correspond to the semantic model of minimization. Some applicat