From systems to logic in the early development of nonmonotonic reasoning

DOI10.1016/j.artint.2010.04.013zbMath1216.68274OpenAlexW2062597769MaRDI QIDQ543606

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

nonmonotonic reasoningframe problemdefeasible inheritance history of AItruth maintenance

Mathematics Subject Classification ID

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

Related Items (3)

Defeasible inheritance with doubt index and its axiomatic characterization ⋮ A novel plausible reasoning based on intuitionistic fuzzy propositional logic and its application in decision making ⋮ John McCarthy's legacy

Cites Work

• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Non-monotonic logic. I
• Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
• STRIPS: A new approach to the application of theorem proving to problem solving
• The structure of programming languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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