Extended inference modes in reasoning by computer systems

DOI10.1016/0004-3702(80)90010-7MaRDI QIDQ1140438zbMATH OpenOpenAlexFDO

Authors Terry Winograd

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)90010-7

zbMATH Keywords

non-monotonic reasoningprocess-dependent reasoning

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• scientific article; zbMATH DE number 3395365 (Why is no real title available?)
• STRIPS: A new approach to the application of theorem proving to problem solving

Cited in

(9)

• Formalizing nonmonotonic reasoning systems
• Some representational issues in default reasoning
• A model for belief revision
• Learning by understanding analogies
• KNOWLEDGE REPRESENTATION: A SURVEY OF ITS MECHANISMS, A SKETCH OF ITS SEMANTICS
• The validity of Dempster-Shafer belief functions
• Perspectives on the theory and practice of belief functions
• Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
• Plausible inferences and plausible reasoning

This page was built for publication: Extended inference modes in reasoning by computer systems

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