From systems to logic in the early development of nonmonotonic reasoning

DOI10.1016/J.ARTINT.2010.04.013MaRDI QIDQ543606zbMATH OpenOpenAlexFDO

Authors Erik Sandewall

Publication date 17 June 2011

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2010.04.013

zbMATH Keywords

defeasible inheritance history of AIframe problemnonmonotonic reasoningtruth maintenance

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• An overview of nonmonotonic reasoning and logic programming
• scientific article; zbMATH DE number 1749200
• Nonmonotonic logics. Basic concepts, results, and techniques
• Reminiscences on the anniversary of 30 years of nonmonotonic reasoning
• scientific article; zbMATH DE number 3930376

Cites work

• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
• scientific article; zbMATH DE number 3464885 (Why is no real title available?)
• scientific article; zbMATH DE number 487143 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• scientific article; zbMATH DE number 3390247 (Why is no real title available?)
• scientific article; zbMATH DE number 3395365 (Why is no real title available?)
• Non-monotonic logic. I
• STRIPS: A new approach to the application of theorem proving to problem solving
• The structure of programming languages

Cited in

(4)

• A novel plausible reasoning based on intuitionistic fuzzy propositional logic and its application in decision making
• Reminiscences on the anniversary of 30 years of nonmonotonic reasoning
• John McCarthy's legacy
• Defeasible inheritance with doubt index and its axiomatic characterization

This page was built for publication: From systems to logic in the early development of nonmonotonic reasoning

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