Author of the publication

On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning.

, , and . ICTAI, page 46-54. IEEE Computer Society, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Interval-Based Possibilistic Logic., , , and . IJCAI, page 750-755. IJCAI/AAAI, (2011)Fusion de bases de croyances et programmation logique avec sémantique des modèles stables. (Belief merging and logic programming with stable model semantics).. University of the South, Toulon-Var, France, (2009)The hybrid Agent MARCO., , , , and . ICMI, page 80-81. ACM, (2014)Underwater Archaeological 3D Surveys Validation within the Removed Sets Framework., , , , and . ECSQARU, volume 6717 of Lecture Notes in Computer Science, page 663-674. Springer, (2011)Syntactic Propositional Belief Bases Fusion with Removed Sets., , and . ECSQARU, volume 4724 of Lecture Notes in Computer Science, page 66-77. Springer, (2007)Merging Belief Bases Represented by Logic Programs., , and . ECSQARU, volume 5590 of Lecture Notes in Computer Science, page 371-382. Springer, (2009)Merging Interval-Based Possibilistic Belief Bases., , , and . SUM, volume 7520 of Lecture Notes in Computer Science, page 447-458. Springer, (2012)Removed Sets Fusion: Performing Off The Shelf., , and . ECAI, volume 178 of Frontiers in Artificial Intelligence and Applications, page 94-98. IOS Press, (2008)Implementing Prioritized Merging with ASP., , and . IPMU (1), volume 80 of Communications in Computer and Information Science, page 138-147. Springer, (2010)