Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings
From MaRDI portal
Publication:2075376
DOI10.1007/s10472-021-09745-3OpenAlexW3195130889MaRDI QIDQ2075376
Christoph Beierle, Jonas Haldimann
Publication date: 14 February 2022
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-021-09745-3
conditional knowledge baseinferential equivalenceantecedent normal formknowledge base generationreduced antecedent normal formrenaming normal formsignature renaming
Related Items (2)
An implementation of nonmonotonic reasoning with system W ⋮ Properties of system W and its relationships to other inductive inference operators
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Nonmonotonic reasoning, preferential models and cumulative logics
- What does a conditional knowledge base entail?
- The logic of conditionals. An application of probability to deductive logic
- A thorough axiomatization of a principle of conditional preservation in belief revision
- Qualitative probabilities for default reasoning, belief revision, and causal modeling
- A KLM perspective on defeasible reasoning for description logics
- Normal forms of conditional knowledge bases respecting entailments and renamings
- Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
- Systematic generation of conditional knowledge bases up to renaming and equivalence
- On the antecedent normal form of conditional knowledge bases
- A transformation system for unique minimal normal forms of conditional knowledge bases
- Institutions: abstract model theory for specification and programming
- Possibilistic and standard probabilistic semantics of conditional knowledge bases
- Conditional objects as nonmonotonic consequence relationships
- A Machine-Oriented Logic Based on the Resolution Principle
- Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
This page was built for publication: Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings
