Circumscription with homomorphisms

DOI10.1145/185675.185678MaRDI QIDQ4323729zbMATH OpenOpenAlexWikidataFDO

Authors Peter K. Rathmann, Marianne Winslett, M. S. Manasse

Publication date 30 March 1995

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/185675.185678

zbMATH Keywords

circumscriptioncommon-sense reasoning

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 4164186
• scientific article; zbMATH DE number 67499
• On compact representations of propositional circumscription
• A circumscriptive theorem prover
• The expressive power of circumscription

Cited in

(6)

• Easy intruder deduction problems with homomorphisms
• Abstract minimality and circumscription
• The expressive power of circumscription
• scientific article; zbMATH DE number 4164186 (Why is no real title available?)
• scientific article; zbMATH DE number 67825 (Why is no real title available?)
• When Homomorphism Becomes a Liability

This page was built for publication: Circumscription with homomorphisms

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