What does a conditional knowledge base entail?
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 4166940
- A note on the rational closure of knowledge bases with both positive and negative knowledge
- Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
- An adaptive logic for rational closure
- Nonmonotonic reasoning, conditional objects and possibility theory
Cites work
- scientific article; zbMATH DE number 4166940 (Why is no real title available?)
- scientific article; zbMATH DE number 4104920 (Why is no real title available?)
- scientific article; zbMATH DE number 46167 (Why is no real title available?)
- scientific article; zbMATH DE number 3520681 (Why is no real title available?)
- scientific article; zbMATH DE number 3598539 (Why is no real title available?)
- scientific article; zbMATH DE number 500947 (Why is no real title available?)
- scientific article; zbMATH DE number 1032007 (Why is no real title available?)
- scientific article; zbMATH DE number 3051957 (Why is no real title available?)
- A first-order conditional logic for prototypical properties
- A logic for default reasoning
- A semantic analysis of conditional logic1
- An approach to default reasoning based on a first-order conditional logic: Revised report
- Circumscription - a form of non-monotonic reasoning
- Counterfactuals
- Erratum to: ``What does a conditional knowledge base entail?
- Impediments to universal preference-based default theories
- Non-monotonic logic. I
- Non-standard analysis
- Nonmonotonic reasoning, preferential models and cumulative logics
- Nonstandard Measure Theory and its Applications
- Rationality, transitivity, and contraposition
- Semantical considerations on nonmonotonic logic
- The logic of conditionals. An application of probability to deductive logic
Cited in
(only showing first 100 items - show all)- Probabilistic approach to nonmonotonic consequence relations
- Completeness of Åqvist's systems \(\mathbf E\) and \(\mathbf F\)
- A characterization theorem for injective model classes axiomatized by general rules
- Iterated Belief Revision in the Face of Uncertain Communication
- scientific article; zbMATH DE number 1444719 (Why is no real title available?)
- Abductive logics in a belief revision framework
- Note about cardinality-based circumscription
- Nonmonotonic reasoning, expectations orderings, and conceptual spaces
- On the notion of concept. II
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- A note on the rational closure of knowledge bases with both positive and negative knowledge
- Default extensions: Dealing with computer information
- scientific article; zbMATH DE number 4166940 (Why is no real title available?)
- Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs
- On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics
- Local and global metrics for the semantics of counterfactual conditionals
- Rationality, transitivity, and contraposition
- Preferences and explanations
- A primer on rational consequence relations, Popper functions, and their ranked structures
- Structural inference from conditional knowledge bases
- Explaining default intuitions using maximum entropy.
- When Maximizing Entropy gives the Rational Closure
- Similarity between preferential models
- Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
- On rational preferences
- Possibilistic reasoning with partially ordered beliefs
- An adaptive logic for rational closure
- On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
- To preference via entrenchment
- Ordering-based representations of rational inference
- Semantical investigations into nonmonotonic and probabilistic logics
- Recovering Consistency by Forgetting Inconsistency
- Preferential reasoning in the perspective of Poole default logic
- On a rule-based interpretation of default conditionals
- What Does a Concept Entail?
- A Minimal Model Semantics for Nonmonotonic Reasoning
- Modeling agents as qualitative decision makers
- Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations
- Simple contrapositive assumption-based argumentation frameworks
- A PROBABILISTIC SEMANTICS FOR COUNTERFACTUALS. PART B
- Lossy inference rules and their bounds: a brief review
- Normal conditions for inference relations and injective models
- Belief contraction in the context of the general theory of rational choice
- System J — Revision entailment
- The lexicographic closure as a revision process
- The W systems: between maximum entropy and minimal ranking…
- Adaptively applying modus ponens in conditional logics of normality
- Semantic characterization of rational closure: from propositional logic to description logics
- Preferential accessibility and preferred worlds
- Entailment with near surety of scaled assertions of high conditional probability
- Belief contraction as nonmonotonic inference
- A new default theories compilation for MSP-entailment
- Semantics for dual preferential entailment
- Situated conditional reasoning
- Introducing role defeasibility in description logics
- Default consequence relations from topology and measure theory
- Automated non-monotonic reasoning in System \textbf{P}
- A theory of hierarchical consequence and conditionals
- Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
- A reconstruction of multipreference closure
- A dissimilarity-based framework for generating inconsistency-tolerant logics
- Contextual rational closure for defeasible \(\mathcal{ALC} \)
- Three ways of being non-material
- An information-based theory of conditionals
- From KLM-style conditionals to defeasible modalities, and back
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
- Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model
- On rational entailment for propositional typicality logic
- On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals
- Strong inconsistency
- From iterated revision to iterated contraction: extending the Harper identity
- In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
- Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
- Rules of proof for maximal entropy inference
- PTL: a propositional typicality logic
- On decision-theoretic foundations for defaults
- Rational closure for all description logics
- Valuation structure
- An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
- Logic, topology, and integration
- \(\mathit{Log}_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
- Simple contrapositive assumption-based argumentation. II: Reasoning with preferences
- Reasoning with different levels of uncertainty
- Beliefs in conditionals vs. conditional beliefs
- Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
- CP- and OCF-networks -- a comparison
- System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases
- Boolean algebras of conditionals, probability and logic
- Nonmonotonic reasoning from conditional knowledge bases with system W
- Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings
- Preserving confidentiality while reacting on iterated queries and belief revisions
- Properties of system W and its relationships to other inductive inference operators
- On manipulation in merging epistemic states
- Some contributions to nonmonotonic consequence
- Human rationality challenges universal logic
- Normal forms of conditional knowledge bases respecting entailments and renamings
- Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds
- Coherent conditional probability, fuzzy inclusion and default rules
- An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases
- A system Z-like approach for first-order default reasoning
This page was built for publication: What does a conditional knowledge base entail?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1193479)
