scientific article; zbMATH DE number 194618
From MaRDI portal
Publication:4692605
zbMath0694.68003MaRDI QIDQ4692605
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (52)
A context for belief revision: forward chaining-normal nonmonotonic rule systems ⋮ Nonmonotonic reasoning with multiple belief sets ⋮ Reconsideration of circumscriptive induction with pointwise circumscription ⋮ Alternative approaches to default logic ⋮ Preferences in artificial intelligence ⋮ Querying disjunctive databases through nonmonotonic logics ⋮ Default reasoning by deductive planning ⋮ A new methodology for query answering in default logics via structure-oriented theorem proving ⋮ Model-preference default theories ⋮ Belief revision, conditional logic and nonmonotonic reasoning ⋮ Circumscriptive semantics for updating knowledge bases ⋮ Reasoning under minimal upper bounds in propositional logic ⋮ Ordered seminormal default theories and their extensions ⋮ The importance of open and recursive circumscription ⋮ Seminormal stratified default theories ⋮ ECWA made easy ⋮ Inductive learning and defeasible inference ⋮ Support set selection for abductive and default reasoning ⋮ An extension of pointwise circumscription ⋮ Reasoning with stratified default theories ⋮ Nonmonotonic inheritance, argumentation and logic programming ⋮ Defeasible inheritance with doubt index and its axiomatic characterization ⋮ Sound and efficient closed-world reasoning for planning ⋮ Dynamic reasoning with qualified syllogisms ⋮ Definability and commonsense reasoning ⋮ A three-valued approach to default logic ⋮ Specification of nonmonotonic reasoning ⋮ Skeptical query-answering in Constrained Default Logic ⋮ Impediments to universal preference-based default theories ⋮ Hard problems for simple default logics ⋮ The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning ⋮ Nonmonotonicity and the scope of reasoning ⋮ Bilattice logic of epistemic actions and knowledge ⋮ Abstract minimality and circumscription ⋮ An efficient method for eliminating varying predicates from a circumscription ⋮ Resolving ambiguity in nonmonotonic inheritance hierarchies ⋮ Netl and subsequent path-based inheritance theories ⋮ A conceptual space approach to semantic networks ⋮ Defeasible inheritance: A lattice based approach ⋮ A survey of non-monotonic reasoning ⋮ Constraints on extensions of a default theory ⋮ Modeling generalized implicatures using non-monotonic logics ⋮ Conservative query normalization on parallel circumscription ⋮ Compiling a default reasoning system into Prolog ⋮ Inheritance comes of age: applying nonmonotonic techniques to problems in industry ⋮ Only persistence makes nonmonotonicity monotonous ⋮ Is default logic a reinvention of inductive-statistical reasoning? ⋮ More on representation theory for default logic ⋮ On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games ⋮ Moral dilemmas and nonmonotonic logic ⋮ Evaluating the effect of semi-normality on the expressiveness of defaults ⋮ A nonmonotonic observation logic
This page was built for publication: