Circumscription within monotonic inferences

DOI10.2307/2274579zbMATH Open0659.03004OpenAlexW2057080064MaRDI QIDQ3808067

Author name not available (Why is that?)

Publication date: 1988

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274579

zbMATH Keywords

natural deduction systemsecond order formalization of McCarthy circumscription

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Second- and higher-order model theory (03C85)

Cites Work

• Title not available (Why is that?)
• Completeness results for circumscription
• Circumscription - a form of non-monotonic reasoning
• The mathematics of non-monotonic reasoning

Related Items (2)

Litotes and downward monotonicity ⋮ Mapping monotonic restrictions in inductive inference

This page was built for publication: Circumscription within monotonic inferences

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