General Domain Circumscription and Its First-order Reduction


We rst deene general domain circumscription (GDC) and provide it with a semantics. GDC subsumes existing domain circumscrip-tion proposals in that it allows varying of arbitrary predicates, functions, or constants, to maximize the minimization of the domain of a theory. We then show that for the class of semi-universal theories without function symbols… (More)


Cite this paper

@inproceedings{Doherty1995GeneralDC, title={General Domain Circumscription and Its First-order Reduction}, author={Patrick Doherty and Witold Lukaszewicz and Andrzej Sza}, year={1995} }