Compilation of conditional knowledge bases for computing c-inference relations

DOI10.1007/978-3-319-90050-6_3MaRDI QIDQ1647473zbMATH OpenOpenAlexFDO

Authors C. Beierle, Steven Kutsch, Kai Sauerwald

Publication date 26 June 2018

Full work available at URL https://doi.org/10.1007/978-3-319-90050-6_3

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

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

(11)

• scientific article; zbMATH DE number 4166940 (Why is no real title available?)
• On stratified belief base compilation
• 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
• Representing nonmonotonic inference based on c-representations as an SMT problem
• A kind of logical compilation for knowledge bases
• Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations
• scientific article; zbMATH DE number 68125 (Why is no real title available?)
• 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
• Splitting techniques for conditional belief bases in the context of c-representations

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)