Model minimization ?An alternative to circumscription

• 1 March 1988
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 4  (1) , 1-13
• https://doi.org/10.1007/bf00244510

Abstract

Keywords

• MODELS
• FINITE
• SCHEMA
• JOHN
• MINIMAL
• PREMISE
• CIRCUMSCRIPTION
• FORMULAS
• TANTAMOUNT
• MCCARTHY'S