Ordered logic: defeasible reasoning for multiple agents☆
References (33)
- et al.
Nonmonotonic logic and temporal projection
Artificial Intelligence
(1987) On the relation between default theories and autoepistemic logic
Artificial Intelligence
(1988)Circumscription — a form of non-monotonic reasoning
Artificial Intelligence
(1980)Applications of circumscription to formalizing common sense knowledge
Artificial Intelligence
(1986)- et al.
Non-monotonic logic I
Artificial Intelligence
(1980) Semantical considerations on non-monotonic logic
Artificial Intelligence
(1985)Defeasible Reasoning
Cognitive Science
(1987)A logic for default reasoning
Artificial Intelligence
(1980)Some Results on Defeasible Logic, Research Report AI-1989-09
- et al.
Saturation, nonmonotonic reasoning and the closed-world assumption
Artificial Intelligence
(1985)
Credulous and Autoepistemic Reasoning using Ordered Logic
On the logic of defaults
(1988)
Default Reasoning: Causal and Conditional Theories
A framework for reasoning with defaults
PACE (Planning, Acting, and Control Environment): a testbed for multi-agent planning and acting
A skeptical theory of inheritance in nonmonotonic semantics networks
(1987)
Cited by (0)
- ☆
This research was partially supported by a grant of the Belgian Ministry of Science (project RF/AI/09).
Copyright © 1994 Published by Elsevier B.V.