Autocircumscription
From MaRDI portal
Publication:1105394
DOI10.1016/0004-3702(88)90003-3zbMath0648.68108OpenAlexW4245825753MaRDI QIDQ1105394
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
consistencyknowledge representationminimizationnonmonotonic reasoningReasoningdefault reasoningautocircumscription
Related Items
Autoepistemic logic of first order and its expressive power, Characterising equilibrium logic and nested logic programs: Reductions and complexity,, Dynamic reasoning with qualified syllogisms, John McCarthy's legacy
Cites Work
- Unnamed Item
- A theorem on the consistency of circumscription
- Semantical considerations on nonmonotonic logic
- Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
- On the satisfiability of circumscription
- Completeness results for circumscription
- Languages with self-reference. II: Knowledge, belief, and modality
- Nonmonotonic logic and temporal projection
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Non-monotonic logic. I
- The mathematics of non-monotonic reasoning
- On the representation of context
- Solution of a problem of Leon Henkin
- Toward useful type-free theories. I
- Inner models for set theory—Part I
