Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
From MaRDI portal
(Redirected from Publication:1783735)
Recommendations
- Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem
- Compilation of conditional knowledge bases for computing c-inference relations
- Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
- Comparison of inference relations defined over different sets of ranking functions
- Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
Cites work
- scientific article; zbMATH DE number 1628513 (Why is no real title available?)
- scientific article; zbMATH DE number 4152345 (Why is no real title available?)
- scientific article; zbMATH DE number 48812 (Why is no real title available?)
- scientific article; zbMATH DE number 2046116 (Why is no real title available?)
- scientific article; zbMATH DE number 3026923 (Why is no real title available?)
- A thorough axiomatization of a principle of conditional preservation in belief revision
- Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations
- Comparison of inference relations defined over different sets of ranking functions
- Conditional objects as nonmonotonic consequence relationships
- Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
- Counterfactuals.
- Nonmonotonic reasoning, preferential models and cumulative logics
- On the consistency of defeasible databases
- Possibilistic and standard probabilistic semantics of conditional knowledge bases
- Qualitative probabilities for default reasoning, belief revision, and causal modeling
- Semantical investigations into nonmonotonic and probabilistic logics
- Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem
- Skeptical, weakly skeptical, and credulous inference based on preferred ranking functions
- Structural inference from conditional knowledge bases
- The logic of conditionals. An application of probability to deductive logic
- What does a conditional knowledge base entail?
Cited in
(26)- Ranking kinematics for revising by contextual information
- Properties of system W and its relationships to other inductive inference operators
- Skeptical query-answering in Constrained Default Logic
- Semantic splitting of conditional belief bases
- An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
- Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem
- Approximations of system W between c-inference, system Z, and lexicographic inference
- Conditional objects as possibilistic variables
- Representing nonmonotonic inference based on c-representations as an SMT problem
- An implementation of nonmonotonic reasoning with system W
- Characterizing multipreference closure with system W
- Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations
- A reconstruction of multipreference closure
- Core c-representations and c-core closure for conditional belief bases
- Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference
- Conditional descriptor revision and its modelling by a CSP
- Syntax splitting for iterated contractions, ignorations, and revisions on ranking functions using selection strategies
- Boolean algebras of conditionals, probability and logic
- Comparison of inference relations defined over different sets of ranking functions
- Skeptical, weakly skeptical, and credulous inference based on preferred ranking functions
- Compilation of conditional knowledge bases for computing c-inference relations
- On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals
- Inference in the \(\mathrm{FO(C)}\) modelling language
- Nonmonotonic reasoning from conditional knowledge bases with system W
- Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
- Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
This page was built for publication: Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1783735)
