Search - Université d'Artois Access content directly

Filter your results

103 Results
authIdHal_s : jean-marie-lagniez
Image document

Résolution parallèle de SAT : mieux collaborer pour aller plus loin

Gilles Audemard , Benoît Hoessen , Said Jabbour , Jean-Marie Lagniez , Cédric Piette
8ièmes Journées Francophones de Programmation par Contraintes (JFPC'12), 2012, France. pp.35-44
Conference papers hal-00869905v1
Image document

Une approche SAT incrémentale pour raisonner efficacement sur les réseaux de contraintes qualitatives

Gael Glorian , Jean-Marie Lagniez , Valentin Montmirail , Michael Sioutis
 JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France
Conference papers hal-02271390v1

Improving Model Counting by Leveraging Definability

Jean-Marie Lagniez , Emmanuel Lonca , Pierre Marquis
25th International Joint Conference on Artificial Intelligence (IJCAI'16), 2016, New York, United States. pp.751-757
Conference papers hal-02380766v1

On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts

Philippe Besnard , Éric Grégoire , Jean-Marie Lagniez
29th AAAI Conference on Artificial Intelligence (AAAI'15), 2015, Austin, Texas, United States. pp.3710-3716, ⟨10.1609/aaai.v29i1.9751⟩
Conference papers hal-03300455v1

Compiling Constraint Networks into Multivalued Decomposable Decision Graphs

Frédéric Koriche , Jean-Marie Lagniez , Pierre Marquis , Samuel Thomas
24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2015, Buenos Aires, Argentina. pp.332-338
Conference papers hal-03300749v1

An Incremental SAT-Based Approach for Graph Colouring Problem

Gael Glorian , Jean-Marie Lagniez , Valentin Montmirail , Nicolas Szczepanski
The 25th International Conference on Principles and Practice of Constraint Programming, Sep 2019, Stamford, CT, United States
Conference papers hal-02271397v1

CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver

Jean-Marie Lagniez , Emmanuel Lonca , Jean-Guy Mailly
27th International Conference on Tools with Artificial Intelligence (ICTAI'15), 2015, Vietri sul Mare, Italy. pp.928-935
Conference papers hal-02380767v1

On Consensus Extraction

Éric Grégoire , Sébastien Konieczny , Jean-Marie Lagniez
25th International Joint Conference on Artificial Intelligence (IJCAI'16), 2016, New York, New York, United States. pp.1095-1101
Conference papers hal-03300453v1

Logical consensuses for case-based reasoning and for mathematical engineering of AI

Éric Grégoire , Jean-Marie Lagniez , Du Zhang
15th IEEE International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC'16), 2016, Palo Alto, CA, USA, Unknown Region. pp.29-33
Conference papers hal-03300454v1
Image document

Revisiting Clause Exchange in Parallel SAT Solving

Gilles Audemard , Benoît Hoessen , Said Jabbour , Jean-Marie Lagniez , Cédric Piette
15th International Conference on Theory and Applications of Satisfiability Testing (SAT'12), 2012, Trento, Italy. pp.200-213
Conference papers hal-00865596v1
Image document

Relax!

Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure
24th International Conference on Tools with Artificial Intelligence (ICTAI'12), 2012, Athens, Greece. pp.146-153
Conference papers hal-00866342v1

Enforcing Solutions in Constraint Networks

Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure
21st European Conference on Artificial Intelligence (ECAI'14), 2014, Prague, Czech Republic. pp.1017-1018
Conference papers hal-03300484v1
Image document

Preserving Partial Solutions while Relaxing Constraint Networks

Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure
23th International Joint Conference on Artificial Intelligence (IJCAI'13), 2013, Beijing, China. pp.552-558
Conference papers hal-00866362v1

Boosting Distance-Based Revision Using SAT Encodings

Sébastien Konieczny , Jean-Marie Lagniez , Pierre Marquis
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⟩
Book sections hal-03704848v1

Swarmsat : un solveur sat massivement parallèle.

Jean-Marie Lagniez , Sébastien Tabary , Nicolas Szczepanski
11èmes Journées Francophones de Programmation par Contraintes (JFPC'15), 2015, Bordeaux, France
Conference papers hal-03300782v1

Multiple Contraction through Partial-Max-SAT

Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure
26th International Conference on Tools with Artificial Intelligence (ICTAI'14), 2014, Limassol, Cyprus. pp.321-327
Conference papers hal-03300485v1

Integrating Conflict Driven Clause Learning to Local Search

Gilles Audemard , Jean-Marie Lagniez , Bertrand Mazure , Lakhdar Saïs
6th International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS'09), 2009, Lisbonne, Portugal
Conference papers hal-00870858v1
Image document

RCL: Reduce learnt clauses

Gilles Audemard , Jean-Marie Lagniez , Bertrand Mazure , Lakhdar Saïs
2013
Reports hal-00872811v1
Image document

Promenade au-delà de NP

Jean-Marie Lagniez
Intelligence artificielle [cs.AI]. Université d'Artois, 2019
Habilitation à diriger des recherches tel-02488400v3

Améliorer SAT dans le cadre incrémental

Gilles Audemard , Armin Biere , Jean-Marie Lagniez , Laurent Simon
Revue d'intelligence artificielle (RIA), 2014, 28 (5), pp.593-614
Journal articles hal-03299516v1
Image document

Certifying Top-­Down Decision-­DNNF Compilers

Florent Capelli , Jean-Marie Lagniez , Pierre Marquis
AAAI 2021 - 35th Conference on Artificial Intelligence, Feb 2021, Virtual, France
Conference papers hal-03111679v1

An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks

Gael Glorian , Jean-Marie Lagniez , Valentin Montmirail , Michael Sioutis
24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.160-178, ⟨10.1007/978-3-319-98334-9_11⟩
Conference papers hal-02067915v1

An Adaptive SAT Solver

Gilles Audemard , Jean-Marie Lagniez , Nicolas Szczepanski , Sébastien Tabary
22nd International Conference on Principles and Practice of Constraint Programming (CP'16), 2016, Toulouse, France. pp.30-48
Conference papers hal-03299478v1

RCL: An A. I. Tool for Computing Maximal Consensuses

Éric Grégoire , Jean-Marie Lagniez
International Journal on Artificial Intelligence Tools (IJAIT), 2016, 25 (4), pp.1-10
Journal articles hal-03300430v1

Boosting MUC extraction in unsatisfiable constraint networks

Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure
Applied Intelligence, 2014, 41 (4), pp.1012-1023
Journal articles hal-03300434v1
Image document

Deriving Explanations for Decision Trees: The Impact of Domain Theories

Gilles Audemard , Jean-Marie Lagniez , Pierre Marquis , Nicolas Szczepanski
2023
Preprints, Working Papers, ... hal-04176274v1
Image document

Résolution parallèle de SAT: mieux collaborer pour aller plus loin

Gilles Audemard , Benoît Hoessen , Said Jabbour , Jean-Marie Lagniez , Cédric Piette
JFPC 2012, 2012, Toulouse, France
Conference papers hal-00818239v1
Image document

Approche hybride pour SAT

Gilles Audemard , Jean-Marie Lagniez , Bertrand Mazure
17ième Congrès Francophone sur la Reconnaissance des Formes et Intelligence Artificielle (RFIA'10), 2010, Caen, France. pp.279-286
Conference papers hal-00869833v1

Exploiter les définitions pour le comptage de modèles

Jean-Marie Lagniez , Emmanuel Lonca , Pierre Marquis
12èmes Journée Francophone de Programmation par Contraintes (JFPC'16), 2016, Montpellier, France
Conference papers hal-02380771v1
Image document

A CSP solver focusing on FAC variables

Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure
17th International Conference on Principles and Practice of Constraint Programming (CP'11), 2011, Perugla, Italy. pp.493-507
Conference papers hal-00865539v1