Autocircumscription

DOI10.1016/0004-3702(88)90003-3MaRDI QIDQ1105394zbMATH OpenOpenAlexFDO

Authors Donald Perlis

Publication date 1988

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(88)90003-3

zbMATH Keywords

consistencyminimizationnonmonotonic reasoningknowledge representationdefault reasoningReasoningautocircumscription

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Recommendations

• scientific article; zbMATH DE number 4158607
• scientific article; zbMATH DE number 67498
• scientific article; zbMATH DE number 640290
• The expressive power of circumscription
• Decidability and definability with circumscription

Cites work

• scientific article; zbMATH DE number 4156408 (Why is no real title available?)
• A logic for default reasoning
• A theorem on the consistency of circumscription
• Circumscription - a form of non-monotonic reasoning
• Completeness results for circumscription
• Inner models for set theory—Part I
• Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
• Languages with self-reference. II: Knowledge, belief, and modality
• Non-monotonic logic. I
• Nonmonotonic logic and temporal projection
• On the representation of context
• On the satisfiability of circumscription
• Semantical considerations on nonmonotonic logic
• Solution of a problem of Leon Henkin
• The mathematics of non-monotonic reasoning
• Toward useful type-free theories. I

Cited in

(6)

• scientific article; zbMATH DE number 35418 (Why is no real title available?)
• scientific article; zbMATH DE number 4158607 (Why is no real title available?)
• John McCarthy's legacy
• Characterising equilibrium logic and nested logic programs: Reductions and complexity,
• Dynamic reasoning with qualified syllogisms
• Autoepistemic logic of first order and its expressive power

This page was built for publication: Autocircumscription

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