Nonmonotonic Logic II
From MaRDI portal
Publication:3933791
DOI10.1145/322290.322293zbMath0477.68099OpenAlexW2169602487MaRDI QIDQ3933791
Publication date: 1982
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/322290.322293
Related Items (69)
A context for belief revision: forward chaining-normal nonmonotonic rule systems ⋮ Minimal knowledge problem: A new approach ⋮ A logic to reason about likelihood ⋮ Possible world semantics and autoepistemic reasoning ⋮ Modal logic based theory for non-monotonic reasoning ⋮ Interpretations of open default theories in non-monotonic logics ⋮ Counterfactual reasoning by (means of) defaults ⋮ Modelling default and likelihood reasoning as probabilistic reasoning. ⋮ Modal logic for default reasoning ⋮ Defaults with priorities ⋮ Multi-modal nonmonotonic logics of minimal knowledge ⋮ Nonmonotonic logic and temporal projection ⋮ Efficient reasoning about rich temporal domains ⋮ On the relationship between circumscription and negation as failure ⋮ Uniform and non uniform strategies for tableaux calculi for modal logics ⋮ Complexity of computing with extended propositional logic programs ⋮ Modal nonmonotonic logics demodalized ⋮ Algebraic semantics for modal and superintuitionistic non-monotonic logics ⋮ In search of a ``true logic of knowledge: the nonmonotonic perspective ⋮ Autoepistemic logic revisited ⋮ On embedding default logic into Moore's autoepistemic logic ⋮ Grounded fixpoints and their applications in knowledge representation ⋮ Nonmonotonic consequence based on intuitionistic logic ⋮ Semantic-based construction of arguments: an answer set programming approach ⋮ An abstract, argumentation-theoretic approach to default reasoning ⋮ Dynamic reasoning with qualified syllogisms ⋮ Definability and commonsense reasoning ⋮ On the associations between variables in expert systems including default relations ⋮ A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption ⋮ Revisiting \(\mathbb Z\) ⋮ Brave induction: a logical framework for learning from incomplete information ⋮ Brave Induction ⋮ On the semantics of the unknown ⋮ Programming in temporal-nonmonotonic reasoning ⋮ On-line algorithms for satisfiability problems with uncertainty ⋮ The theory of nomic probability ⋮ On-line algorithms for satisfiability problems with uncertainty ⋮ Annotated nonmonotonic rule systems ⋮ Nonmonotonicity and the scope of reasoning ⋮ An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic ⋮ Nonmonotonic reasoning based on incomplete logic ⋮ On the complexity of propositional knowledge base revision, updates, and counterfactuals ⋮ A logic of intentions and beliefs ⋮ A survey of non-monotonic reasoning ⋮ Semantics and complexity of recursive aggregates in answer set programming ⋮ Thirteen Definitions of a Stable Model ⋮ Using approximate reasoning to represent default knowledge ⋮ Information tradeoffs in model building: A network routing application ⋮ Skepticism and floating conclusions ⋮ Embedding Logics in the Local Computation Framework ⋮ Probabilities and reasoning about possibilities ⋮ On the relation between default and modal nonmonotonic reasoning ⋮ Default logic generalized and simplified ⋮ A non-preferential semantics of non-monotonic modal logic ⋮ A uniform tableaux method for nonmonotonic modal logics ⋮ Any-world assumptions in logic programming ⋮ Logic programs, well-orderings, and forward chaining ⋮ Twelve Definitions of a Stable Model ⋮ A computational approach to fuzzy quantifiers in natural languages ⋮ Default reasoning from conditional knowledge bases: Complexity and tractable cases ⋮ Some representational issues in default reasoning ⋮ On the computational complexity of assumption-based argumentation for default reasoning. ⋮ Uniform semantic treatment of default and autoepistemic logics ⋮ In search of a ``true logic of knowledge: The nonmonotonic perspective ⋮ Semantical considerations on nonmonotonic logic ⋮ Dualities between alternative semantics for logic programming and nonmonotonic reasoning ⋮ Plausible inferences and plausible reasoning ⋮ Logic programming and knowledge representation---The A-Prolog perspective ⋮ Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
This page was built for publication: Nonmonotonic Logic II
