Relating autoepistemic and default logics
Proceedings of the first international conference on Principles of knowledge representation and reasoning
A logic of knowledge and justified assumptions
Artificial Intelligence
Modal nonmonotonic logics: ranges, characterization, computation
Journal of the ACM (JACM)
More on modal aspects of default logic
Fundamenta Informaticae - Special issue on modal logics in knowledge representation
Minimal knowledge problem: a new approach
Artificial Intelligence
In search of a “true” logic of knowledge: the nonmonotonic perspective
Artificial Intelligence
Definability and commonsense reasoning
Artificial Intelligence
Introduction to Default Logic
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
A Temporal Model Theory for Default Logic
ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning
LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
Intuitonistic Basis for Non-Monotonic Logic
Proceedings of the 6th Conference on Automated Deduction
Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract)
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
Journal of Logic, Language and Information
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Methods for model-based reasoning within agent-based Ambient Intelligence applications
Knowledge-Based Systems
A temporal-interactivist perspective on the dynamics of mental states
Cognitive Systems Research
Modelling the dynamics of reasoning processes: Reasoning by assumption
Cognitive Systems Research
| Hi-index | 0.00 |
When reasoning about complex domains, whereinformation available is usually only partial,nonmonotonic reasoning can be an important tool. Oneof the formalisms introduced in this area is Reiter‘sDefault Logic (1980). A characteristic of thisformalism is that the applicability of default(inference) rules can only be verified in the futureof the reasoning process. We describe aninterpretation of default logic in temporal epistemiclogic which makes this characteristic explicit. It isshown that this interpretation yields a semantics fordefault logic based on temporal epistemic models. Acomparison between the various semantics for defaultlogic will show the differences and similarities ofthese approaches and ours.