On the relation between default and autoepistemic logic
From MaRDI portal
Publication:1104771
DOI10.1016/0004-3702(88)90021-5zbMath0647.68088OpenAlexW2067326626MaRDI QIDQ1104771
Publication date: 1988
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(88)90021-5
Related Items
On Well-Founded Set-Inductions and Locally Monotone Operators ⋮ Minimal knowledge problem: A new approach ⋮ The epistemic structure of a theory of a game ⋮ The Truth about Defaults ⋮ Possible world semantics and autoepistemic reasoning ⋮ Autoepistemic logic of first order and its expressive power ⋮ A decision method for nonmonotonic reasoning based on autoepistemic reasoning ⋮ Modality and interrupts ⋮ Modal logic based theory for non-monotonic reasoning ⋮ A new methodology for query answering in default logics via structure-oriented theorem proving ⋮ Interpretations of open default theories in non-monotonic logics ⋮ A rational reconstruction of nonmonotonic truth maintenance systems ⋮ A theory of nonmonotonic rule systems I ⋮ Modal logic for default reasoning ⋮ Ultimate approximation and its application in nonmonotonic knowledge representation systems ⋮ Default reasoning using classical logic ⋮ Limited reasoning in first-order knowledge bases with full introspection ⋮ Multi-valued autoepistemic logic ⋮ Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning ⋮ Modal nonmonotonic logics demodalized ⋮ Reasoning by cases in Default Logic ⋮ In search of a ``true logic of knowledge: the nonmonotonic perspective ⋮ Autoepistemic logic revisited ⋮ On embedding default logic into Moore's autoepistemic logic ⋮ On the impact of stratification on the complexity of nonmonotonic reasoning ⋮ Relating only knowing to minimal belief and negation as failure ⋮ Grounded fixpoints and their applications in knowledge representation ⋮ Thirty years of Epistemic Specifications ⋮ Fixed-parameter tractability of disjunction-free default reasoning ⋮ Definability and commonsense reasoning ⋮ Compiling specificity into approaches to nonmonotonic reasoning ⋮ A sequent calculus for skeptical Default Logic ⋮ An epistemic model of logic programming ⋮ Unnamed Item ⋮ Consistency defaults ⋮ On the semantics of the unknown ⋮ Impediments to universal preference-based default theories ⋮ Three-valued nonmonotonic formalisms and semantics of logic programs ⋮ Approximating operators and semantics for abstract dialectical frameworks ⋮ Cumulative default logic: In defense of nonmonotonic inference rules ⋮ Nonmonotonicity and the scope of reasoning ⋮ Stable and extension class theory for logic programs and default logics ⋮ t-DeLP: an argumentation-based temporal defeasible logic programming framework ⋮ The relationship between stable, supported, default and autoepistemic semantics for general logic programs ⋮ A logic of knowledge and justified assumption ⋮ Unnamed Item ⋮ Relating minimal models and pre-requisite-free normal defaults ⋮ A survey of non-monotonic reasoning ⋮ Nonmonotonic reasoning by inhibition nets ⋮ General default logic ⋮ All I know: A study in autoepistemic logic ⋮ A sound and complete proof theory for the generalized logic of only knowing ⋮ Diversity of agents and their interaction ⋮ Strongly analytic tableaux for normal modal logics ⋮ Autoepistemic answer set programming ⋮ Negation in rule-based database languages: A survey ⋮ Negation by default and unstratifiable logic programs ⋮ The Complexity of Reasoning for Fragments of Default Logic ⋮ On the relation between default and modal nonmonotonic reasoning ⋮ A non-preferential semantics of non-monotonic modal logic ⋮ Hyperequivalence of logic programs with respect to supported models ⋮ Lexicographic priorities in default logic ⋮ Seminormalizing a default theory ⋮ A uniform tableaux method for nonmonotonic modal logics ⋮ A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming ⋮ Is default logic a reinvention of inductive-statistical reasoning? ⋮ The computational complexity of ideal semantics ⋮ Uniform semantic treatment of default and autoepistemic logics ⋮ On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games ⋮ In search of a ``true logic of knowledge: The nonmonotonic perspective ⋮ Dualities between alternative semantics for logic programming and nonmonotonic reasoning ⋮ Autoepistemic circumscription and logic programming ⋮ Evaluating the effect of semi-normality on the expressiveness of defaults ⋮ Introduction: Progress in formal commonsense reasoning
Cites Work
