Semantic splitting of conditional belief bases
From MaRDI portal
Publication:2117582
Cites work
- scientific article; zbMATH DE number 408786 (Why is no real title available?)
- scientific article; zbMATH DE number 1951190 (Why is no real title available?)
- scientific article; zbMATH DE number 1537944 (Why is no real title available?)
- A Verified AsmL Implementation of Belief Revision
- A thorough axiomatization of a principle of conditional preservation in belief revision
- Abstract State Machines
- Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
- Conditional objects as nonmonotonic consequence relationships
- Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
- Evolving Algebras 1993: Lipari Guide
- From concepts in non-monotonic reasoning to high-level implementations using abstract state machines and functional programming
- Nonmonotonic reasoning, preferential models and cumulative logics
- Possibilistic and standard probabilistic semantics of conditional knowledge bases
- Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
- Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
- Qualitative probabilities for default reasoning, belief revision, and causal modeling
- Refinement of a typed WAM extension by polymorphic order-sorted types
- Relevance in belief revision
- Specification and correctness proof of a WAM extension with abstract type constraints
- The ASM refinement method
- The logic of conditionals. An application of probability to deductive logic
Cited in
(2)
This page was built for publication: Semantic splitting of conditional belief bases
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2117582)