Circumscription and implicit definability

From MaRDI portal

Publication:1819950

Jump to:navigation, search

DOI10.1007/BF00244277zbMath0614.68070OpenAlexW2032362523MaRDI QIDQ1819950

Publication date: 1985

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00244277

zbMATH Keywords

artificial intelligence non-monotonic reasoning circumscription Beth's theorem implicit definition

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Related Items

Closed-world databases and circumscription ⋮ The importance of open and recursive circumscription ⋮ Definability and commonsense reasoning ⋮ Using approximate reasoning to represent default knowledge ⋮ Completeness results for circumscription

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1819950&oldid=14181110"