scientific article; zbMATH DE number 4049142

MaRDI QIDQ3786028zbMATH OpenFDO

Authors

Publication date 1986

zbMATH Keywords

frame problemmodal logicnonmonotonic reasoningrobot plan formation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cited in

(35)

• Knowledge representation and defeasible reasoning
• Non-monotonic fuzzy reasoning
• Definability and commonsense reasoning
• A counterexample to six fundamental principles of belief formation
• Inference on the low level. An investigation into deduction, nonmonotonic reasoning, and the philosophy of cognition
• The case for psychologism in default and inheritance reasoning
• Commonsense as motion. The dynamics of reasoning with partial information
• The role of default logic in knowledge representation
• Epistemic utility in commonsense reasoning
• From C-believed propositions to the causal calculator
• A generalized view of nonmonotonic knowledge: a set of theoretic perspective
• Sources of, and exploiting, inconsistency: preliminary report
• scientific article; zbMATH DE number 4156414 (Why is no real title available?)
• Integrating nonmonotonic and temporal constraint reasoning
• Natural events
• scientific article; zbMATH DE number 4068338 (Why is no real title available?)
• scientific article; zbMATH DE number 4080968 (Why is no real title available?)
• scientific article; zbMATH DE number 4106301 (Why is no real title available?)
• scientific article; zbMATH DE number 67491 (Why is no real title available?)
• scientific article; zbMATH DE number 4128428 (Why is no real title available?)
• scientific article; zbMATH DE number 549965 (Why is no real title available?)
• A situation-theoretic account of nonmonotonic reasoning
• A compositional reasoning system for executing nonmonotonic theories of reasoning
• Non-cumulative reasoning: rules and models
• scientific article; zbMATH DE number 770149 (Why is no real title available?)
• scientific article; zbMATH DE number 935033 (Why is no real title available?)
• An approach to human-level commonsense reasoning
• Human and unhuman commonsense reasoning
• A non-probabilist principle of higher-order reasoning
• Logical formalizations of commonsense reasoning: a survey
• Mid-sized axiomatizations of commonsense problems: A case study in egg cracking
• A tableaux-based theorem prover for a decidable subset of default logic
• Cylindric algebra equation solver
• On prediction in Theorist
• Causality, modality, and explanation

This page was built for publication:

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