Results 61 to 70 of about 763,157 (113)
Some of the next articles are maybe not open access.
Many-valued reflexive autoepistemic logic
Logic Journal of IGPL, 2000zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Koutras, Costas D., Zachos, Stathis
openaire +1 more source
Disjunctive logic programming and autoepistemic logic
1998In this paper, we use autoepistemic reasoning semantics to classify various semantics for disjunctive logic programs with default negation. We have observed that two different types of negative introspection in autoepistemic reasoning present two different interpretations of default negation: consistency-based and minimal-model-based.
Li -Yan Yuan +2 more
openaire +1 more source
1994
Abstract The subject matter of autoepistemic (AE) logic is the belief set of an agent who has introspective capabilities. It is a modal logic similar in many respects to standard epistemic logics, so that there are modal expressions Lϕ in the language referring to the agent’s beliefs. Where AE logic differs from standard modal systems
openaire +1 more source
Abstract The subject matter of autoepistemic (AE) logic is the belief set of an agent who has introspective capabilities. It is a modal logic similar in many respects to standard epistemic logics, so that there are modal expressions Lϕ in the language referring to the agent’s beliefs. Where AE logic differs from standard modal systems
openaire +1 more source
Autoepistemic Description Logics
1997We present Autoepistemic Description Logics (ADLs), in which the language of Description Logics is augmented with modal operators interpreted according to the nonmonotonic logic MKNF. We provide decision procedures for query answering in two very expressive ADLs.
F. M. Donini +2 more
openaire +1 more source
A family of three-valued autoepistemic logics
1991A unifying semantic framework for 2 and 3-valued autoepistemic logics is introduced. For instance, the logics introduced in [8] and [2] belong to this framework. All the logics that derive from the framework enjoy the usual stability properties of autoepistemic logics.
openaire +2 more sources
Nonmonotonic logic of pure necessitation and autoepistemic logics
1993In this chapter we study several important nonmonotonic modal logics from the family of logics introduced by McDermott and Doyle, and discussed in Chapter 9.
V. Wiktor Marek, Mirosław Truszczyński
openaire +1 more source
Autoepistemic logic of minimal beliefs
2005In recent years, various formalizations of non-monotonic reasoning and different semantics for normal and disjunctive logic programs have been proposed, including autoepistemic logic, circumscription, CWA, GCWA, ECWA, epistemic specifications, stable, well-founded, stationary and static semantics of normal and disjunctive logic programs.
openaire +1 more source
The Complexity of Theorem Proving in Autoepistemic Logic
International Conference on Theory and Applications of Satisfiability Testing, 2013Olaf Beyersdorff
semanticscholar +1 more source
Cooperative combination of default logic and autoepistemic logic
1998When we work with information from multiple sources, the formats of the knowledge bases may not be uniform. It is desirable to be able to combine a knowledge base of default rules with one containing autoepistemic formulas. “Cooperative combination” refers to the integration of knowledge bases in different formats, in a way that retains as much of the ...
openaire +1 more source