Addendum: Circumscription and other non-monotonic formalisms

DOI10.1016/0004-3702(80)90016-8zbMath0435.68072OpenAlexW2082880188MaRDI QIDQ1140439

John McCarthy

Publication date: 1980

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(80)90016-8

zbMATH Keywords

non-monotonic reasoningcircumscription

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99)

Related Items (3)

Relational theories with null values and non-herbrand stable models ⋮ First-order stable model semantics with intensional functions ⋮ Nested abnormality theories

Cites Work

• A logic for default reasoning
• Non-monotonic logic. I

This page was built for publication: Addendum: Circumscription and other non-monotonic formalisms