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
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
