Circumscription with homomorphisms

DOI10.1145/185675.185678zbMath0815.68089OpenAlexW2044107881WikidataQ124798748 ScholiaQ124798748MaRDI QIDQ4323729

Marianne Winslett, Peter K. Rathmann, 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

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

Related Items (2)

Abstract minimality and circumscription ⋮ The expressive power of circumscription

This page was built for publication: Circumscription with homomorphisms