Boosting Distance-Based Revision Using SAT Encodings

Sébastien Konieczny; Jean-Marie Lagniez; Pierre Marquis

doi:10.1007/978-3-662-55665-8_33

Book Sections Year : 2017

Boosting Distance-Based Revision Using SAT Encodings

(1) , (1) , (1)

1

Sébastien Konieczny

Function : Author
PersonId : 180240
IdHAL : sebastien-konieczny
ORCID : 0000-0002-2590-1222
IdRef : 059880953

Centre de Recherche en Informatique de Lens

Jean-Marie Lagniez

Function : Author
PersonId : 940759
ORCID : 0000-0002-6557-4115
IdRef : 157527808

Centre de Recherche en Informatique de Lens

Pierre Marquis

Function : Author
PersonId : 747412
IdHAL : pierre-marquis
ORCID : 0000-0002-7979-6608
IdRef : 060756152

Centre de Recherche en Informatique de Lens

Domains

Computer Science [cs] Artificial Intelligence [cs.AI]

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 : Sunday, June 26, 2022-5:35:22 PM

Dates and versions

hal-03704848 , version 1 (26-06-2022)

Identifiers

HAL Id : hal-03704848 , version 1
DOI : 10.1007/978-3-662-55665-8_33

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-ARTOIS CNRS CRIL

9 View

0 Download

Boosting Distance-Based Revision Using SAT Encodings

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share