Add to ORKGA non-first-order extension of description logics (DL) which is able to both formalize the nonmonotonic features of knowledge representation (KR) systems, and to provide a computational characterization of reasoning in such a setting, is defined. The minimal knowledge paradigm is investigated in relation to nonmonotonic modal logics and logic programming. In relation, ground nonmonotonic modal logic formalisms and autoepistemic description logics are studied in detail
. In this paper we provide a semantic characterization of ground logics, a family of nonmonotonic mo...
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logic...
Abstract. This paper proposes a paraconsistent and nonmonotonic extension of description logic by pl...
In recent years, various formalizations of non-monotonic reasoning and di&rent semantics for nor...
We present Autoepistemic Description Logics (ADLs), in which the language of Description Logics is a...
Recent studies on the computational properties of the logic of minimal knowledge states due to Halpe...
In this paper we address ground logics, a family of nonmonotonic modal logics, and their usage in kn...
AbstractDescription logics (also called terminological logics, or concept languages) are fragments o...
Introduction Nonmonotonic logics were introduced in the late 70s as knowledge representation formal...
In this paper we discuss ground logics, a family of nonmonotonic modal logics, with the goal of usin...
We study the problem of embedding Halpern and Moses's modal logic of minimal knowledge states into t...
We introduce a uniform non-monotonic framework for knowledge representation based on epistemic logic...
Nonmonotonic inferences are not yet supported by Description Logic technology, although their potent...
AbstractModal logics are currently widely accepted as a suitable tool of knowledge representation, a...
Recent research on applications of nonmonotonic reasoning to the semantics of logic programs demonst...
. In this paper we provide a semantic characterization of ground logics, a family of nonmonotonic mo...
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logic...
Abstract. This paper proposes a paraconsistent and nonmonotonic extension of description logic by pl...
In recent years, various formalizations of non-monotonic reasoning and di&rent semantics for nor...
We present Autoepistemic Description Logics (ADLs), in which the language of Description Logics is a...
Recent studies on the computational properties of the logic of minimal knowledge states due to Halpe...
In this paper we address ground logics, a family of nonmonotonic modal logics, and their usage in kn...
AbstractDescription logics (also called terminological logics, or concept languages) are fragments o...
Introduction Nonmonotonic logics were introduced in the late 70s as knowledge representation formal...
In this paper we discuss ground logics, a family of nonmonotonic modal logics, with the goal of usin...
We study the problem of embedding Halpern and Moses's modal logic of minimal knowledge states into t...
We introduce a uniform non-monotonic framework for knowledge representation based on epistemic logic...
Nonmonotonic inferences are not yet supported by Description Logic technology, although their potent...
AbstractModal logics are currently widely accepted as a suitable tool of knowledge representation, a...
Recent research on applications of nonmonotonic reasoning to the semantics of logic programs demonst...
. In this paper we provide a semantic characterization of ground logics, a family of nonmonotonic mo...
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logic...
Abstract. This paper proposes a paraconsistent and nonmonotonic extension of description logic by pl...