scientific article; zbMATH DE number 4185059
From MaRDI portal
Publication:5750425
zbMath0718.68068MaRDI QIDQ5750425
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A decision method for nonmonotonic reasoning based on autoepistemic reasoning, Querying disjunctive databases through nonmonotonic logics, Interpretations of open default theories in non-monotonic logics, Embedding circumscriptive theories in general disjunctive programs, A sequent calculus for skeptical Default Logic, Nonmonotonicity and the scope of reasoning, On the autoepistemic reconstruction of logic programming, Hyperequivalence of logic programs with respect to supported models, Evaluating the effect of semi-normality on the expressiveness of defaults, Introduction: Progress in formal commonsense reasoning
