Properties of system W and its relationships to other inductive inference operators
DOI10.1007/978-3-031-11321-5_12OpenAlexW4285194090MaRDI QIDQ2103918FDOQ2103918
Authors: Jonas Haldimann, C. Beierle 
Publication date: 9 December 2022
Full work available at URL: https://doi.org/10.1007/978-3-031-11321-5_12
Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Database theory (68P15) Logic in artificial intelligence (68T27) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)
Cites Work
- Nonmonotonic reasoning, preferential models and cumulative logics
- What does a conditional knowledge base entail?
- A logic for default reasoning
- On the logic of iterated belief revision
- Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
- Title not available (Why is that?)
- A thorough axiomatization of a principle of conditional preservation in belief revision
- Another perspective on default reasoning
- Qualitative probabilities for default reasoning, belief revision, and causal modeling
- Structural inference from conditional knowledge bases
- Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
- Relevance in belief revision
- Nonmonotonic reasoning from conditional knowledge bases with system W
- Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings
- Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
- Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds
Cited In (6)
- Title not available (Why is that?)
- Approximations of system W between c-inference, system Z, and lexicographic inference
- An implementation of nonmonotonic reasoning with system W
- Characterizing multipreference closure with system W
- Rational closure extension in SPO-representable inductive inference operators
- Splitting techniques for conditional belief bases in the context of c-representations
Uses Software
This page was built for publication: Properties of system W and its relationships to other inductive inference operators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2103918)
