scientific article; zbMATH DE number 4164186

MaRDI QIDQ3491008zbMATH OpenFDO

Authors Peter K. Rathmann, Marianne Winslett

Publication date 1989

zbMATH Keywords

equality circumscription theorem provingnon-monotonic reasoning techniques

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Circumscription with homomorphisms
• A theorem on the consistency of circumscription
• The expressive power of circumscription
• Circumscription within monotonic inferences
• scientific article; zbMATH DE number 67499

Cited in

(3)

• scientific article; zbMATH DE number 4166918 (Why is no real title available?)
• scientific article; zbMATH DE number 3986667 (Why is no real title available?)
• Circumscription with homomorphisms

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3491008)