Compilation of conditional knowledge bases for computing c-inference relations
From MaRDI portal
Recommendations
- Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
- Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
- Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem
- On stratified belief base compilation
- Comparison of inference relations defined over different sets of ranking functions
Cited in
(12)- A kind of logical compilation for knowledge bases
- Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
- Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations
- Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
- Comparison of inference relations defined over different sets of ranking functions
- Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem
- scientific article; zbMATH DE number 4166940 (Why is no real title available?)
- scientific article; zbMATH DE number 68125 (Why is no real title available?)
- Splitting techniques for conditional belief bases in the context of c-representations
- Representing nonmonotonic inference based on c-representations as an SMT problem
- On stratified belief base compilation
- An implementation of nonmonotonic reasoning with c-representations using an SMT solver
This page was built for publication: Compilation of conditional knowledge bases for computing c-inference relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1647473)
