On the relation between default and modal nonmonotonic reasoning

Authors:
Alexander Bochman
Affiliations:
Department of Computer Systems, Center for Technological Education, 52 Golomb Str., 58102, Holon, Israel
Venue:
Artificial Intelligence
Year:
1998

Citing 19
Cited 1

Semantical considerations on nonmonotonic logic

Artificial Intelligence
Negation as inconsistency .I

Journal of Logic Programming
On the relation between default and autoepistemic logic

Artificial Intelligence
Nonmonotonic reasoning, preferential models and cumulative logics

Artificial Intelligence
Relating autoepistemic and default logics

Proceedings of the first international conference on Principles of knowledge representation and reasoning
Nonmonotonic default modal logics

Journal of the ACM (JACM)
Autoepistemic logic

Journal of the ACM (JACM)
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
Reflexive autoepistemic logic

Fundamenta Informaticae - Special issue on modal logics in knowledge representation
Minimal knowledge problem: a new approach

Artificial Intelligence
Minimal belief and negation as failure

Artificial Intelligence
Nonmonotonic Logic II: Nonmonotonic Modal Theories

Journal of the ACM (JACM)
Nonmonotonic Logic: Context-Dependent Reasoning

Nonmonotonic Logic: Context-Dependent Reasoning
The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic

Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop]
Default Consequence Relations as a Logical Framework for Logic Programs

LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Autoepistemic modal logics

TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Modal interpretations of default logic

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
On bimodal nonmonotonic logics and their unimodal and nonmodal equivalents

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2

A causal approach to nonmonotonic reasoning

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

The notion of a default consequence relation is introduced as a generalization of both default and modal formalizations of nonmonotonic reasoning. It is used to study a general problem of correspondence between these two formalisms.