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
- 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?
- 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?)
- 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)- Preferential reasoning in the perspective of Poole default logic
- Rationality, transitivity, and contraposition
- Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic
- The value of the four values
- On first-order conditional logics
- To preference via entrenchment
- On rational preferences
- Five faces of minimality
- Nonmonotonic inference based on expectations
- From ordering-based nonmonotonic reasoning to conditional logics
- Nonmonotonic reasoning: From finitary relations to infinitary inference operations
- On the transformation between possibilistic logic bases and possibilistic causal networks
- On the logic of nonmonotonic conditionals and conditional probabilities: Predicate logic
- A note on the rational closure of knowledge bases with both positive and negative knowledge
- Modeling agents as qualitative decision makers
- Abductive consequence relations
- Nonmonotonic reasoning, conditional objects and possibility theory
- Default extensions: Dealing with computer information
- Explaining default intuitions using maximum entropy.
- System JLZ -- rational default reasoning by minimal ranking constructions.
- Note about cardinality-based circumscription
- Belief functions and default reasoning
- Default reasoning from conditional knowledge bases: Complexity and tractable cases
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- 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
- Impossibility in belief merging
- Preferential accessibility and preferred worlds
- Abductive logics in a belief revision framework
- Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
- A logical approach to interpolation based on similarity relations
- An information-based theory of conditionals
- Systematic withdrawal
- Normal conditions for inference relations and injective models
- Logic, topology, and integration
- Belief revision, conditional logic and nonmonotonic reasoning
- Another perspective on default reasoning
- Semantical investigations into nonmonotonic and probabilistic logics
- Human rationality challenges universal logic
- Entailment with near surety of scaled assertions of high conditional probability
- A modal logic for subjective default reasoning
- \(\mathit{Log}_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
- Automated non-monotonic reasoning in System \textbf{P}
- A reconstruction of multipreference closure
- Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model
- Simple contrapositive assumption-based argumentation. II: Reasoning with preferences
- Nonmonotonic reasoning from conditional knowledge bases with system W
- Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings
- Choice logics and their computational properties
- Properties of system W and its relationships to other inductive inference operators
- Three ways of being non-material
- Default consequence relations from topology and measure theory
- Nonmonotonic reasoning, expectations orderings, and conceptual spaces
- On the KLM properties of a fuzzy DL with typicality
- Qualitative probabilities for default reasoning, belief revision, and causal modeling
- Simple contrapositive assumption-based argumentation frameworks
- Normal forms of conditional knowledge bases respecting entailments and renamings
- Boolean algebras of conditionals, probability and logic
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
- Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations
- Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
- A dissimilarity-based framework for generating inconsistency-tolerant logics
- Preserving confidentiality while reacting on iterated queries and belief revisions
- A theory of hierarchical consequence and conditionals
- Predicting causality ascriptions from background knowledge: model and experimental validation
- Distance-based paraconsistent logics
- Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
- Contextual rational closure for defeasible \(\mathcal{ALC} \)
- From iterated revision to iterated contraction: extending the Harper identity
- On rational entailment for propositional typicality logic
- Computation of closures of nonmonotonic inference relations induced by conditional knowledge bases
- Strong inconsistency
- Rational closure for all description logics
- Typicalities and probabilities of exceptions in nonmotonic description logics
- Similarity between preferential models
- A logic with approximate conditional probabilities that can model default reasoning
- Handling uncertainty and defeasibility in a possibilistic logic setting
- Expressive probabilistic description logics
- In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
- On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
- The quantitative/qualitative watershed for rules of uncertain inference
- Weak nonmonotonic probabilistic logics
- Beliefs in conditionals vs. conditional beliefs
- Nonmonotonic conditionals that behave like conditional probabilities above a threshold
- Conditionals and consequences
- A characterization theorem for injective model classes axiomatized by general rules
- An overview of possibilistic handling of default reasoning, with experimental studies
- Transitivity in coherence-based probability logic
- Two concepts of plausibility in default reasoning
- On a rule-based interpretation of default conditionals
- Foundations of probability
- The logic of epistemic justification
- From statistical knowledge bases to degrees of belief
- Rules of proof for maximal entropy inference
- Elementary belief revision operators
- Determining maximal entropy functions for objective Bayesian inductive logic
- Distance semantics for belief revision
- Preferential reasoning for modal logics
- Constructing Markov Logic Networks from First-Order Default Rules
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)
