Boosting distance-based revision using SAT encodings

DOI10.1007/978-3-662-55665-8_33zbMATH Open1495.68210OpenAlexW2746287783MaRDI QIDQ1679786FDOQ1679786

Authors: Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis 

Publication date: 22 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-662-55665-8_33

Recommendations

• Belief Revision with Bounded Treewidth
• Some computational aspects of DISTANCE SAT
• Distance semantics for belief revision
• An approximate approach to belief revision
• Reinforcement Belief Revision

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27)

Cited In (1)

• Main issues in belief revision, belief merging and information fusion

This page was built for publication: Boosting distance-based revision using SAT encodings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1679786)