Another perspective on default reasoning
From MaRDI portal
Publication:1924825
DOI10.1007/BF01535841zbMath0857.68096OpenAlexW1973899684MaRDI QIDQ1924825
Publication date: 20 October 1996
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01535841
Related Items
Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs, Dynamic Reasoning Systems, An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases, Probabilistic description logic programs under inheritance with overriding for the semantic Web, Handling uncertainty and defeasibility in a possibilistic logic setting, On the KLM properties of a fuzzy DL with typicality, On a rule-based interpretation of default conditionals, Expressive probabilistic description logics, A THEORETICAL FRAMEWORK FOR POSSIBILISTIC INDEPENDENCE IN A WEAKLY ORDERED SETTING, The W systems: between maximum entropy and minimal ranking…, On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\), Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation, Adaptively applying modus ponens in conditional logics of normality, ASP for minimal entailment in a rational extension of SROEL, Nonmonotonic reasoning, conditional objects and possibility theory, Default extensions: Dealing with computer information, Situated conditional reasoning, Characterizing multipreference closure with system W, Parallel belief revision: revising by sets of formulas, Managing software requirements changes based on negotiation-style revision, Dependencies Between Players in Boolean Games, Preferential accessibility and preferred worlds, Explaining default intuitions using maximum entropy., System JLZ -- rational default reasoning by minimal ranking constructions., A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure, An ASP approach for reasoning in a concept-aware multipreferential lightweight DL, System J — Revision entailment, Weak nonmonotonic probabilistic logics, Uncertain inheritance and recognition as probabilistic default reasoning, Reasoning with prioritized information by iterative aggregation of distance functions, A general family of preferential belief removal operators, Dependencies between players in Boolean games, Twenty-Five Years of Preferred Subtheories, A framework for reasoning under uncertainty based on non-deterministic distance semantics, Simplified forms of computerized reasoning with distance semantics, New tractable classes for default reasoning from conditional knowledge bases, Contextual rational closure for defeasible \(\mathcal{ALC} \), Preference fusion for default reasoning beyond system Z, A new default theories compilation for MSP-entailment, On rational entailment for propositional typicality logic, Modeling and reasoning with qualitative comparative clinical knowledge, Automated non-monotonic reasoning in System \textbf{P}, A reconstruction of multipreference closure, The lexicographic closure as a revision process, Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemP, Approximate coherence-based reasoning, Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model, The Non-archimedean Polynomials and Merging of Stratified Knowledge Bases, Complexity and Cautiousness Results for Reasoning from Partially Preordered Belief Bases, Preferential Reasoning for Modal Logics, Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure, Typicalities and probabilities of exceptions in nonmotonic description logics, Belief functions and default reasoning, Default reasoning from conditional knowledge bases: Complexity and tractable cases, Probabilistic logic under coherence, conditional interpretations, and default reasoning, Nonmonotonic probabilistic reasoning under variable-strength inheritance with overriding, Universal Logic as a Science of Patterns, Properties of system W and its relationships to other inductive inference operators, Introduction: Progress in formal commonsense reasoning, Weakening conflicting information for iterated revision and knowledge integration, Qualitative choice logic
Cites Work
