Publications
Home > Spotlight > Publications
Evaluation of Arguments in Weighted Bipolar Graphs
14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ESQARU 2017), Jul 2017, Lugano, Switzerland. ⟨10.1007/978-3-319-61581-3_3⟩

Amgoud Leila, Ben-Naim Jonathan

Fictitious domain for stabilization of fluid-structure interaction
IFAC-PapersOnLine, 2017, 50 (1), pp.12301-12306. ⟨10.1016/j.ifacol.2017.08.2478⟩

Fournié Michel, Morrison Jonathan

Calculating differential Galois groups of parametrized differential equations, with applications to hypertranscendence
Mathematische Annalen, 2017, 368 (1-2), pp.587 - 632. ⟨10.1007/s00208-016-1442-x⟩

Hardouin Charlotte, Minchenko Andrei, Ovchinnikov Alexey

Unsupervised nonlinear spectral unmixing based on a multilinear mixing model
IEEE Transactions on Geoscience and Remote Sensing, 2017, vol. 55 (n° 8), pp. 4534-4544. ⟨10.1109/TGRS.2017.2693366⟩

Wei Qi, Chen Marcus, Tourneret Jean-Yves, Godsill Simon

BDI logics for BDI architectures: old problems, new perspectives
KI - Künstliche Intelligenz, 2017, vol. 31 (n° 1), pp. 73-83. ⟨10.1007/s13218-016-0457-5⟩

Herzig Andreas, Lorini Emiliano, Perrussel Laurent, Xiao Zhanhao

Primal and dual predicted decrease approximation methods
Mathematical Programming, 2017, 167, pp.37-73. ⟨10.1007/s10107-017-1108-9⟩

Beck Amir, Pauwels Edouard, Sabach Shoham

Exploring the Bidimensional Space: a Dynamic Logic Point of View
16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2017, Sao Paulo, Brazil. …

Balbiani Philippe, Fernández-Duque David, Lorini Emiliano

A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations
The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017), Jan 2017, Paris, France. pp.90 - 99, ⟨10.1145/3018610.3018622⟩

Martin-Dorel Érik, Roux Pierre

Enhancing the expressive power of Sugeno integrals for qualitative data analysis
EUSFLAT 2017 - 10th Conference of the European Society for Fuzzy Logic and Technology, Sep 2017, Warsaw, Poland. pp.534-547, ⟨10.1007/978-3-319-66830-7_48⟩

Couceiro Miguel, Dubois Didier, Prade Henri, Rico Agnès

A Comparison of Genetic Regulatory Network Dynamics and Encoding
Genetic and Evolutionary Computation COnference (GECCO 2017), Jul 2017, Berlin, Germany. pp.91-98, ⟨10.1145/3071178.3071322⟩

Disset Jean, Wilson Dennis, Cussat-Blanc Sylvain, Sanchez Stephane, Luga Hervé, Duthen Yves