Book Sections
Year : 2017
Daniel Le Berre : Connect in order to contact the contributor
https://hal-univ-artois.archives-ouvertes.fr/hal-03704848
Submitted on : Sunday, June 26, 2022-11:05:00 AM
Last modification on : Friday, March 24, 2023-2:53:27 PM
Cite
Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis. Boosting Distance-Based Revision Using SAT Encodings. Logic, Rationality, and Interaction, 10455, Springer Berlin Heidelberg, pp.480-496, 2017, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-55665-8_33⟩. ⟨hal-03704848⟩
Collections
10
View
0
Download