Chapitre D'ouvrage
Année : 2017
Daniel Le Berre : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-03704848
Soumis le : dimanche 26 juin 2022-11:05:00
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Citer
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
Consultations
0
Téléchargements