Papers results


Affiliation name: Artois University
Total results: 189
Author with most papers: Jean-Marie Lagniez

An Experimentally Efficient Method for (MSS, CoMSS) Partitioning.

Authors: Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada.
DOI: Not available
Year: 2014

A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem.

Authors: Thomas Caridroit , Jean-Marie Lagniez , Daniel Le Berre , Tiago de Lima , Valentin Montmirail
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA.
DOI: Not available
Year: 2017

Conservative Dual Consistency.

Authors: Christophe Lecoutre , Stéphane Cardon , Julien Vion
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada
DOI: Not available
Year: 2007

On Distances Between KD45n Kripke Models and Their Use for Belief Revision.

Authors: Thomas Caridroit , Sébastien Konieczny , Tiago de Lima , Pierre Marquis
Affiliation: Artois University, Arras, France
Published in: ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016)
DOI: https://doi.org/10.3233/978-1-61499-672-9-1053
Year: 2016

Distributing Knowledge into Simple Bases.

Authors: Adrian Haret , Jean-Guy Mailly , Stefan Woltran
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016
DOI: Not available
Year: 2016

Boosting MCSes Enumeration.

Authors: Éric Grégoire , Yacine Izza , Jean-Marie Lagniez
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.
DOI: https://doi.org/10.24963/ijcai.2018/182
Year: 2018

Knowledge Compilation for Model Counting: Affine Decision Trees.

Authors: Frédéric Koriche , Jean-Marie Lagniez , Pierre Marquis , Samuel Thomas
Affiliation: Artois University, Arras, France
Published in: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013
DOI: Not available
Year: 2013

Efficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction.

Authors: Michael Sioutis , Jean-François Condotta
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
DOI: https://doi.org/10.24963/ijcai.2017/175
Year: 2017

Dynamic of Argumentation Frameworks.

Authors: Jean-Guy Mailly
Affiliation: Artois University, Arras, France
Published in: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013
DOI: Not available
Year: 2013

On Robustness in Qualitative Constraint Networks.

Authors: Michael Sioutis , Zhiguo Long , Tomi Janhunen
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020
DOI: https://doi.org/10.24963/ijcai.2020/251
Year: 2020

Efficiently Reasoning about Qualitative Constraints through Variable Elimination.

Authors: Michael Sioutis , Zhiguo Long , Sanjiang Li
Affiliation: Artois University, Arras, France
Published in: Proceedings of the 9th Hellenic Conference on Artificial Intelligence, SETN 2016, Thessaloniki, Greece, May 18-20, 2016
DOI: https://doi.org/10.1145/2903220.2903226
Year: 2016

On Computing Non-hypocritical Consensuses in Standard Logic.

Authors: Éric Grégoire , Jean-Marie Lagniez , Du Zhang
Affiliation: Artois University, Arras, France
Published in: 27th International Workshop on Database and Expert Systems Applications, DEXA 2016 Workshops, Porto, Portugal, September 5-8, 2016
DOI: http://doi.ieeecomputersociety.org/10.1109/DEXA.2016.033
Year: 2016

Learning in Local Search.

Authors: Gilles Audemard , Jean-Marie Lagniez , Bertrand Mazure , Lakhdar Sais
Affiliation: Artois University, Arras, France
Published in: ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence, Newark, New Jersey, USA, 2-4 November 2009
DOI: http://doi.ieeecomputersociety.org/10.1109/ICTAI.2009.71
Year: 2009

Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework.

Authors: Michael Sioutis , Jean-François Condotta , Yakoub Salhi , Bertrand Mazure , David A. Randell
Affiliation: Artois University, Arras, France
Published in: Artificial Intelligence Applications and Innovations - 11th IFIP WG 12.5 International Conference, AIAI 2015, Bayonne, France, September 14-17, 2015, Proceedings
DOI: https://doi.org/10.1007/978-3-319-23868-5_10
Year: 2015

Local Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks.

Authors: Jean-François Condotta , Ali Mensi , Issam Nouaouri , Michael Sioutis , Lamjed Ben Saïd
Affiliation: Artois University, Arras, France
Published in: Artificial Intelligence: Methodology, Systems, and Applications - 17th International Conference, AIMSA 2016, Varna, Bulgaria, September 7-10, 2016, Proceedings
DOI: https://doi.org/10.1007/978-3-319-44748-3_24
Year: 2016

Handling Qualitative Preferences Using Normal Form Functions.

Authors: Salem Benferhat , Daniel Le Berre , Karima Sedki
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, May 7-9, 2007, Key West, Florida, USA.
DOI: Not available
Year: 2007

On Checking Kripke Models for Modal Logic K.

Authors: Jean-Marie Lagniez , Daniel Le Berre , Tiago de Lima , Valentin Montmirail
Affiliation: Artois University, Arras, France
Published in: Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016.
DOI: Not available
Year: 2016

Fifty-Five Solvers in Vancouver: The SAT 2004 Competition.

Authors: Daniel Le Berre , Laurent Simon
Affiliation: Artois University, Arras, France
Published in:
DOI: https://doi.org/10.1007/11527695_25
Year: 2004

A Distributed Version of Syrup.

Authors: Gilles Audemard , Jean-Marie Lagniez , Nicolas Szczepanski , Sébastien Tabary
Affiliation: Artois University, Arras, France
Published in: Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
DOI: https://doi.org/10.1007/978-3-319-66263-3_14
Year: 2017

Revisiting Clause Exchange in Parallel SAT Solving.

Authors: Gilles Audemard , Benoît Hoessen , Saïd Jabbour , Jean-Marie Lagniez , Cédric Piette
Affiliation: Artois University, Arras, France
Published in: Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
DOI: https://doi.org/10.1007/978-3-642-31612-8_16
Year: 2012

Defining and Evaluating Heuristics for the Compilation of Constraint Networks.

Authors: Jean-Marie Lagniez , Pierre Marquis , Anastasia Paparrizou
Affiliation: Artois University, Arras, France
Published in: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
DOI: https://doi.org/10.1007/978-3-319-66158-2_12
Year: 2017

An Adaptive Parallel SAT Solver.

Authors: Gilles Audemard , Jean-Marie Lagniez , Nicolas Szczepanski , Sébastien Tabary
Affiliation: Artois University, Arras, France
Published in: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings
DOI: https://doi.org/10.1007/978-3-319-44953-1_3
Year: 2016

A SAT-Based Approach For PSPACE Modal Logics.

Authors: Jean-Marie Lagniez , Daniel Le Berre , Tiago de Lima , Valentin Montmirail
Affiliation: Artois University, Arras, France
Published in: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018.
DOI: Not available
Year: 2018

A logic for reasoning about responsibility.

Authors: Tiago de Lima , Lambèr M. M. Royakkers , Frank Dignum
Affiliation: Artois University, Arras, France
Published in: Log. J. IGPL journal
DOI: https://doi.org/10.1093/jigpal/jzp073
Year: 2010

Maintenir des MDD persistants pour établir la consistance d'arc.

Authors: Julien Vion , Sylvain Piechowiak
Affiliation: Artois University, Arras, France
Published in: Revue d'Intelligence Artificielle journal
DOI: https://doi.org/10.3166/ria.28.547-569
Year: 2014

Semantic referee: A neural-symbolic framework for enhancing geospatial semantic segmentation.

Authors: Marjan Alirezaie , Martin Längkvist , Michael Sioutis , Amy Loutfi
Affiliation: Artois University, Arras, France
Published in: Semantic Web journal
DOI: https://doi.org/10.3233/SW-190362
Year: 2019

Collective singleton-based consistency for qualitative constraint networks: Theory and practice.

Authors: Michael Sioutis , Anastasia Paparrizou , Jean-François Condotta
Affiliation: Artois University, Arras, France
Published in: Theor. Comput. Sci. journal
DOI: https://doi.org/10.1016/j.tcs.2019.02.028
Year: 2019

The SAT2002 competition.

Authors: Laurent Simon , Daniel Le Berre , Edward A. Hirsch
Affiliation: Artois University, Arras, France
Published in: Ann. Math. Artif. Intell. journal
DOI: https://doi.org/10.1007/s10472-005-0424-6
Year: 2005

Distributed Constraint Problems for Utilitarian Agents with Privacy Concerns, Recast as POMDPs.

Authors: Julien Savaux , Julien Vion , Sylvain Piechowiak , René Mandiau , Toshihiro Matsui , Katsutoshi Hirayama , Makoto Yokoo , Shakre Elmane , Marius Silaghi
Affiliation: Artois University, Arras, France
Published in: CoRR journal
DOI: Not available
Year: 2017

On time and consistency in multi-level agent-based simulations.

Authors: Gildas Morvan , Yoann Kubera
Affiliation: Artois University, Arras, France
Published in: CoRR journal
DOI: Not available
Year: 2017

Multi-level agent-based modeling with the Influence Reaction principle

Authors: Gildas Morvan , Daniel Jolly
Affiliation: Artois University, Arras, France
Published in: CoRR journal
DOI: Not available
Year: 2012

Aggregating Interval Orders by Propositional Optimization.

Authors: Daniel Le Berre , Pierre Marquis , Meltem Öztürk
Affiliation: Artois University, Arras, France
Published in: Algorithmic Decision Theory, First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings
DOI: https://doi.org/10.1007/978-3-642-04428-1_22
Year: 2009

SAT Encodings for Distance-Based Belief Merging Operators.

Authors: Sébastien Konieczny , Jean-Marie Lagniez , Pierre Marquis
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA.
DOI: Not available
Year: 2017

Preprocessing for Propositional Model Counting.

Authors: Jean-Marie Lagniez , Pierre Marquis
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada.
DOI: Not available
Year: 2014

Just-In-Time Compilation of Knowledge Bases.

Authors: Gilles Audemard , Jean-Marie Lagniez , Laurent Simon
Affiliation: Artois University, Arras, France
Published in: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013
DOI: Not available
Year: 2013

Extension Enforcement in Abstract Argumentation as an Optimization Problem.

Authors: Sylvie Coste-Marquis , Sébastien Konieczny , Jean-Guy Mailly , Pierre Marquis
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015
DOI: Not available
Year: 2015

Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks.

Authors: Zhiguo Long , Michael Sioutis , Sanjiang Li
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016
DOI: Not available
Year: 2016

Preserving Partial Solutions While Relaxing Constraint Networks.

Authors: Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure
Affiliation: Artois University, Arras, France
Published in: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013
DOI: Not available
Year: 2013

Pseudo-Boolean Constraints from a Knowledge Representation Perspective.

Authors: Daniel Le Berre , Pierre Marquis , Stefan Mengel , Romain Wallon
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.
DOI: https://doi.org/10.24963/ijcai.2018/261
Year: 2018

Utilitarian Approach to Privacy in Distributed Constraint Optimization Problems.

Authors: Julien Savaux , Julien Vion , Sylvain Piechowiak , René Mandiau , Toshihiro Matsui , Katsutoshi Hirayama , Makoto Yokoo , Shakre Elmane , Marius Silaghi
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22-24, 2017.
DOI: Not available
Year: 2017

Studying the use and effect of graph decomposition in qualitative spatial and temporal reasoning.

Authors: Michael Sioutis , Yakoub Salhi , Jean-François Condotta
Affiliation: Artois University, Arras, France
Published in: Knowledge Eng. Review journal
DOI: https://doi.org/10.1017/S026988891600014X
Year: 2017

Distributing Knowledge into Simple Bases.

Authors: Adrian Haret , Jean-Guy Mailly , Stefan Woltran
Affiliation: Artois University, Arras, France
Published in: CoRR journal
DOI: Not available
Year: 2016

Second-Order Consistencies.

Authors: Christophe Lecoutre , Stéphane Cardon , Julien Vion
Affiliation: Artois University, Arras, France
Published in: CoRR journal
DOI: https://doi.org/10.1613/jair.3180
Year: 2014

Boosting MUC extraction in unsatisfiable constraint networks.

Authors: Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure
Affiliation: Artois University, Arras, France
Published in: Appl. Intell. journal
DOI: https://doi.org/10.1007/s10489-014-0549-6
Year: 2014

Multi-variable distributed backtracking with sessions.

Authors: René Mandiau , Julien Vion , Sylvain Piechowiak , Pierre Monier
Affiliation: Artois University, Arras, France
Published in: Appl. Intell. journal
DOI: https://doi.org/10.1007/s10489-014-0532-2
Year: 2014

On the Complexity of Optimization Problems based on Compiled NNF Representations.

Authors: Daniel Le Berre , Emmanuel Lonca , Pierre Marquis
Affiliation: Artois University, Arras, France
Published in: CoRR journal
DOI: Not available
Year: 2014

Consistency of Chordal RCC-8 Networks.

Authors: Michael Sioutis , Manolis Koubarakis
Affiliation: Artois University, Arras, France
Published in: IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012, Athens, Greece, November 7-9, 2012
DOI: http://doi.ieeecomputersociety.org/10.1109/ICTAI.2012.66
Year: 2012

A Practical Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks.

Authors: Jean-François Condotta , Ali Mensi , Issam Nouaouri , Michael Sioutis , Lamjed Ben Said
Affiliation: Artois University, Arras, France
Published in: 27th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2015, Vietri sul Mare, Italy, November 9-11, 2015
DOI: http://doi.ieeecomputersociety.org/10.1109/ICTAI.2015.73
Year: 2015

Relax!

Authors: Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure
Affiliation: Artois University, Arras, France
Published in: IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012, Athens, Greece, November 7-9, 2012
DOI: http://doi.ieeecomputersociety.org/10.1109/ICTAI.2012.28
Year: 2012

Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding Algorithms.

Authors: Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure
Affiliation: Artois University, Arras, France
Published in: 25th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2013, Herndon, VA, USA, November 4-6, 2013
DOI: http://doi.ieeecomputersociety.org/10.1109/ICTAI.2013.141
Year: 2013

Triangulation Versus Graph Partitioning for Tackling Large Real World Qualitative Spatial Networks.

Authors: Michael Sioutis
Affiliation: Artois University, Arras, France
Published in: 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014
DOI: http://doi.ieeecomputersociety.org/10.1109/ICTAI.2014.37
Year: 2014

Observation of Large-Scale Multi-Agent Based Simulations.

Authors: Gildas Morvan , Alexandre Veremme , Daniel Dupont
Affiliation: Artois University, Arras, France
Published in: Multi-Agent-Based Simulation XI - International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers
DOI: https://doi.org/10.1007/978-3-642-28400-7_8
Year: 2011

Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem.

Authors: Takehide Soh , Daniel Le Berre , Stéphanie Roussel 0001 , Mutsunori Banbara , Naoyuki Tamura
Affiliation: Artois University, Arras, France
Published in: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings
DOI: https://doi.org/10.1007/978-3-319-11558-0_52
Year: 2014

An Alternative Inference for Qualitative Choice Logic.

Authors: Salem Benferhat , Daniel Le Berre , Karima Sedki
Affiliation: Artois University, Arras, France
Published in: ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings
DOI: Not available
Year: 2006

Merging of Abstract Argumentation Frameworks.

Authors: Jérôme Delobelle , Adrian Haret , Sébastien Konieczny , Jean-Guy Mailly , Julien Rossit , Stefan Woltran
Affiliation: Artois University, Arras, France
Published in: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016.
DOI: Not available
Year: 2016

On Anti-subsumptive Knowledge Enforcement.

Authors: Éric Grégoire , Jean-Marie Lagniez
Affiliation: Artois University, Arras, France
Published in: Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
DOI: https://doi.org/10.1007/978-3-662-48899-7_4
Year: 2015

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

Authors: Gael Glorian , Jean-Marie Lagniez , Valentin Montmirail , Michael Sioutis
Affiliation: Artois University, Arras, France
Published in: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
DOI: https://doi.org/10.1007/978-3-319-98334-9_11
Year: 2018

On Redundancy in Linked Geospatial Data.

Authors: Michael Sioutis , Sanjiang Li , Jean-François Condotta
Affiliation: Artois University, Arras, France
Published in: Proceedings of the 2nd Workshop on Linked Data Quality co-located with 12th Extended Semantic Web Conference (ESWC 2015), Portorož, Slovenia, June 1, 2015.
DOI: Not available
Year: 2015

Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages.

Authors: Sylvie Coste-Marquis , Daniel Le Berre , Florian Letombe , Pierre Marquis
Affiliation: Artois University, Arras, France
Published in: J. Satisf. Boolean Model. Comput. journal
DOI: Not available
Year: 2006

Weakening conflicting information for iterated revision and knowledge integration.

Authors: Salem Benferhat , Souhila Kaci , Daniel Le Berre , Mary-Anne Williams
Affiliation: Artois University, Arras, France
Published in: Artif. Intell. journal
DOI: https://doi.org/10.1016/j.artint.2003.08.003
Year: 2004

On getting rid of the preprocessing minimization step in MUC-finding algorithms.

Authors: Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure
Affiliation: Artois University, Arras, France
Published in: Constraints An Int. J. journal
DOI: https://doi.org/10.1007/s10601-015-9187-9
Year: 2015

Semantic Referee: A Neural-Symbolic Framework for Enhancing Geospatial Semantic Segmentation.

Authors: Marjan Alirezaie , Martin Längkvist , Michael Sioutis , Amy Loutfi
Affiliation: Artois University, Arras, France
Published in: CoRR journal
DOI: Not available
Year: 2019

A Note on a Description Logic of Concept and Role Typicality for Defeasible Reasoning Over Ontologies.

Authors: Ivan Varzinczak
Affiliation: Artois University, Arras, France
Published in: Logica Universalis journal
DOI: https://doi.org/10.1007/s11787-018-0211-x
Year: 2018

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

Authors: Éric Grégoire , Jean-Marie Lagniez
Affiliation: Artois University, Arras, France
Published in: Int. J. Artif. Intell. Tools journal
DOI: https://doi.org/10.1142/S0218213016500263
Year: 2016

Boolean-Based Dependency Management for the Eclipse Ecosystem.

Authors: Daniel Le Berre , Pascal Rapicault
Affiliation: Artois University, Arras, France
Published in: Int. J. Artif. Intell. Tools journal
DOI: https://doi.org/10.1142/S0218213018400031
Year: 2018

Privacy stochastic games in distributed constraint reasoning.

Authors: Julien Savaux , Julien Vion , Sylvain Piechowiak , René Mandiau , Toshihiro Matsui , Katsutoshi Hirayama , Makoto Yokoo , Shakre Elmane , Marius Silaghi
Affiliation: Artois University, Arras, France
Published in: Ann. Math. Artif. Intell. journal
DOI: https://doi.org/10.1007/s10472-019-09628-8
Year: 2020

Using SAT Encodings to Drive CSP Value Ordering Heuristics.

Authors: Christophe Lecoutre , Lakhdar Sais , Julien Vion
Affiliation: Artois University, Arras, France
Published in: J. Satisf. Boolean Model. Comput. journal
DOI: Not available
Year: 2007

Assessment of benchmarks for abstract argumentation.

Authors: Jean-Guy Mailly , Marco Maratea
Affiliation: Artois University, Arras, France
Published in: Argument & Computation journal
DOI: https://doi.org/10.3233/AAC-192101
Year: 2019

Planning Personalised Museum Visits.

Authors: Daniel Le Berre , Pierre Marquis , Stéphanie Roussel 0001
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, June 10-14, 2013
DOI: Not available
Year: 2013

Towards Leveraging Backdoors in Qualitative Constraint Networks.

Authors: Michael Sioutis , Tomi Janhunen
Affiliation: Artois University, Arras, France
Published in: KI 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings
DOI: https://doi.org/10.1007/978-3-030-30179-8_27
Year: 2019

CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver.

Authors: Jean-Marie Lagniez , Emmanuel Lonca , Jean-Guy Mailly
Affiliation: Artois University, Arras, France
Published in: 27th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2015, Vietri sul Mare, Italy, November 9-11, 2015
DOI: http://doi.ieeecomputersociety.org/10.1109/ICTAI.2015.134
Year: 2015

Dynamic Polarity Adjustment in a Parallel SAT Solver.

Authors: Long Guo , Jean-Marie Lagniez
Affiliation: Artois University, Arras, France
Published in: IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, USA, November 7-9, 2011
DOI: http://doi.ieeecomputersociety.org/10.1109/ICTAI.2011.19
Year: 2011

Towards a Formalization of Responsibility.

Authors: Tiago de Lima , Lambèr M. M. Royakkers , Frank Dignum
Affiliation: Artois University, Arras, France
Published in: Third International Workshop on Normative Multiagent Systems - NorMAS 2008, Luxembourg, July 15-16, 2008. Proceedings
DOI: Not available
Year: 2008

Stratégies d'observation dans les simulations orientées agent.

Authors: Gildas Morvan , Alexandre Veremme , Daniel Dupont , Daniel Jolly
Affiliation: Artois University, Arras, France
Published in: Systèmes Multi-Agents, Génie logiciel multi-agents - JFSMA 09 - Dix Septièmes Journées Francophones sur les Systèmes Multi-Agents, Lyon, France, October 19-21, 2009
DOI: Not available
Year: 2009

Privacité dans les DisCSP pour agents utilitaires.

Authors: Julien Savaux , Julien Vion , Sylvain Piechowiak , René Mandiau , Toshihiro Matsui , Katsutoshi Hirayama , Makoto Yokoo , Marius Silaghi
Affiliation: Artois University, Arras, France
Published in: Systèmes Multi-Agents et simulation - Vingt-quatrièmes journées francophones sur les systèmes multi-agents, JFSMA 16, Saint-Martin-du-Vivier (Rouen), France, Octobre 5-7, 2016.
DOI: Not available
Year: 2016

First Steps for Determining Agent Intention in Dynamic Epistemic Logic.

Authors: Nathalie Chetcuti-Sperandio , Alix Goudyme , Sylvain Lagrue , Tiago de Lima
Affiliation: Artois University, Arras, France
Published in: Proceedings of the 12th International Conference on Agents and Artificial Intelligence, ICAART 2020, Volume 2, Valletta, Malta, February 22-24, 2020.
DOI: https://doi.org/10.5220/0008991207170724
Year: 2020

On the use and effect of graph decomposition in qualitative spatial and temporal reasoning.

Authors: Michael Sioutis , Yakoub Salhi , Jean-François Condotta
Affiliation: Artois University, Arras, France
Published in: Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015
DOI: https://doi.org/10.1145/2695664.2695831
Year: 2015

Automatic repair of buggy if conditions and missing preconditions with SMT.

Authors: Favio Demarco , Jifeng Xuan , Daniel Le Berre , Martin Monperrus
Affiliation: Artois University, Arras, France
Published in: Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, CSTVA 2014, Hyderabad, India, May 31, 2014
DOI: https://doi.org/10.1145/2593735.2593740
Year: 2014

A Computational Approach to Consensus-Finding.

Authors: Éric Grégoire , Jean-Marie Lagniez
Affiliation: Artois University, Arras, France
Published in: ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016)
DOI: https://doi.org/10.3233/978-1-61499-672-9-795
Year: 2016

Tackling Large Qualitative Spatial Networks of Scale-Free-Like Structure.

Authors: Michael Sioutis , Jean-François Condotta
Affiliation: Artois University, Arras, France
Published in: Artificial Intelligence: Methods and Applications - 8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May 15-17, 2014. Proceedings
DOI: https://doi.org/10.1007/978-3-319-07064-3_15
Year: 2014

DMC: A Distributed Model Counter.

Authors: Jean-Marie Lagniez , Pierre Marquis , Nicolas Szczepanski
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.
DOI: https://doi.org/10.24963/ijcai.2018/185
Year: 2018

On the Aggregation of Argumentation Frameworks.

Authors: Jérôme Delobelle , Sébastien Konieczny , Srdjan Vesic
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015
DOI: Not available
Year: 2015

On Irrelevant Literals in Pseudo-Boolean Constraint Learning.

Authors: Daniel Le Berre , Pierre Marquis , Stefan Mengel , Romain Wallon
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020
DOI: https://doi.org/10.24963/ijcai.2020/160
Year: 2020

A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem.

Authors: Jean-Marie Lagniez , Daniel Le Berre , Tiago de Lima , Valentin Montmirail
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
DOI: https://doi.org/10.24963/ijcai.2017/94
Year: 2017

An Improved Decision-DNNF Compiler.

Authors: Jean-Marie Lagniez , Pierre Marquis
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
DOI: https://doi.org/10.24963/ijcai.2017/93
Year: 2017

On Consensus Extraction.

Authors: Éric Grégoire , Sébastien Konieczny , Jean-Marie Lagniez
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016
DOI: Not available
Year: 2016

On the Extraction of One Maximal Information Subset That Does Not Conflict with Multiple Contexts.

Authors: Éric Grégoire , Yacine Izza , Jean-Marie Lagniez
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA.
DOI: Not available
Year: 2016

State reconstructor for real-time freeway ramp metering.

Authors: Hirsh Majid , Hassane Abouaissa , Daniel Jolly , Gildas Morvan
Affiliation: Artois University, Arras, France
Published in: Proceedings of 10th IEEE International Conference on Networking, Sensing and Control, ICNSC 2013, Evry, France, April 10-12, 2013
DOI: https://doi.org/10.1109/ICNSC.2013.6548755
Year: 2013

Boosting Distance-Based Revision Using SAT Encodings.

Authors: Sébastien Konieczny , Jean-Marie Lagniez , Pierre Marquis
Affiliation: Artois University, Arras, France
Published in: Logic, Rationality, and Interaction - 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
DOI: https://doi.org/10.1007/978-3-662-55665-8_33
Year: 2017

Real-time dynamic traffic routing using variable structure control.

Authors: Hirsh Majid , Hassane Abouaissa , Daniel Jolly , Gildas Morvan
Affiliation: Artois University, Arras, France
Published in: 16th International IEEE Conference on Intelligent Transportation Systems, ITSC 2013, The Hague, The Netherlands, October 6-9, 2013
DOI: https://doi.org/10.1109/ITSC.2013.6728407
Year: 2013

Private Expansion and Revision in Multi-agent Settings.

Authors: Thomas Caridroit , Sébastien Konieczny , Tiago de Lima , Pierre Marquis
Affiliation: Artois University, Arras, France
Published in: Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings
DOI: https://doi.org/10.1007/978-3-319-20807-7_16
Year: 2015

Real Time Fire Monitoring Using Semantic Web and Linked Data Technologies.

Authors: Kostis Kyzirakos , Manos Karpathiotakis , George Garbis , Charalampos Nikolaou , Konstantina Bereta , Michael Sioutis , Ioannis Papoutsis , Themistoklis Herekakis , Dimitrios Michail 0001 , Manolis Koubarakis , Charalambos Kontoes
Affiliation: Artois University, Arras, France
Published in: Proceedings of the ISWC 2012 Posters & Demonstrations Track, Boston, USA, November 11-15, 2012
DOI: Not available
Year: 2012

A Translation-Based Approach for Revision of Argumentation Frameworks.

Authors: Sylvie Coste-Marquis , Sébastien Konieczny , Jean-Guy Mailly , Pierre Marquis
Affiliation: Artois University, Arras, France
Published in: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings
DOI: https://doi.org/10.1007/978-3-319-11558-0_28
Year: 2014

On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses.

Authors: Sylvie Coste-Marquis , Sébastien Konieczny , Jean-Guy Mailly , Pierre Marquis
Affiliation: Artois University, Arras, France
Published in: Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014
DOI: Not available
Year: 2014

Building Virtual Earth Observatories Using Ontologies, Linked Geospatial Data and Knowledge Discovery Algorithms.

Authors: Manolis Koubarakis , Michael Sioutis , George Garbis , Manos Karpathiotakis , Kostis Kyzirakos , Charalampos Nikolaou , Konstantina Bereta , Stavros Vassos , Corneliu Octavian Dumitru , Daniela Espinoza-Molina , Katrin Molch , Gottfried Schwarz , Mihai Datcu
Affiliation: Artois University, Arras, France
Published in: On the Move to Meaningful Internet Systems: OTM 2012, Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part II
DOI: https://doi.org/10.1007/978-3-642-33615-7_34
Year: 2012

Behaving responsible in multi-agent worlds.

Authors: Tiago de Lima , Lambèr M. M. Royakkers , Frank Dignum
Affiliation: Artois University, Arras, France
Published in: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2
DOI: Not available
Year: 2009

Private Revision in a Multi-Agent Setting.

Authors: Thomas Caridroit , Sébastien Konieczny , Tiago de Lima , Pierre Marquis
Affiliation: Artois University, Arras, France
Published in: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015
DOI: Not available
Year: 2015

A CSP Solver Focusing on fac Variables.

Authors: Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure
Affiliation: Artois University, Arras, France
Published in: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings
DOI: https://doi.org/10.1007/978-3-642-23786-7_38
Year: 2011

Path Consistency by Dual Consistency.

Authors: Christophe Lecoutre , Stéphane Cardon , Julien Vion
Affiliation: Artois University, Arras, France
Published in: Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings
DOI: https://doi.org/10.1007/978-3-540-74970-7_32
Year: 2007

A Branching Heuristics for Quantified Renamable Horn Formulas.

Authors: Sylvie Coste-Marquis , Daniel Le Berre , Florian Letombe
Affiliation: Artois University, Arras, France
Published in: Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings
DOI: https://doi.org/10.1007/11499107_30
Year: 2005

Semi-Supervised Dimensionality Reduction by Linear Compression and Stretching.

Authors: Zhiguo Long , Hua Meng , Michael Sioutis
Affiliation: Artois University, Arras, France
Published in: IEEE Access journal
DOI: https://doi.org/10.1109/ACCESS.2020.2971562
Year: 2020

On the aggregation of argumentation frameworks: operators and postulates.

Authors: Jérôme Delobelle , Sébastien Konieczny , Srdjan Vesic
Affiliation: Artois University, Arras, France
Published in: J. Log. Comput. journal
DOI: https://doi.org/10.1093/logcom/exy023
Year: 2018

Utilitarian Distributed Constraint Optimization Problems.

Authors: Julien Savaux , Julien Vion , Sylvain Piechowiak , René Mandiau , Toshihiro Matsui , Katsutoshi Hirayama , Makoto Yokoo , Shakre Elmane , Marius Silaghi
Affiliation: Artois University, Arras, France
Published in: CoRR journal
DOI: Not available
Year: 2016

A First Step Towards Dynamic Hybrid Traffic Modeling.

Authors: Najia Bouha , Gildas Morvan , Hassane Abouaissa , Yoann Kubera
Affiliation: Artois University, Arras, France
Published in: CoRR journal
DOI: https://doi.org/10.7148/2015-0064
Year: 2015

Multi-level agent-based modeling - Bibliography

Authors: Gildas Morvan
Affiliation: Artois University, Arras, France
Published in: CoRR journal
DOI: Not available
Year: 2012

Some thoughts about benchmarks for NMR.

Authors: Daniel Le Berre
Affiliation: Artois University, Arras, France
Published in: CoRR journal
DOI: Not available
Year: 2014

Enforcing Solutions in Constraint Networks.

Authors: Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure
Affiliation: Artois University, Arras, France
Published in: ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014)
DOI: https://doi.org/10.3233/978-1-61499-419-0-1017
Year: 2014

Compiling Constraint Networks into Multivalued Decomposable Decision Graphs.

Authors: Frédéric Koriche , Jean-Marie Lagniez , Pierre Marquis , Samuel Thomas
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015
DOI: Not available
Year: 2015

Improving Model Counting by Leveraging Definability.

Authors: Jean-Marie Lagniez , Emmanuel Lonca , Pierre Marquis
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016
DOI: Not available
Year: 2016

Weakening Conflicting Information for Iterated Revision and Knowledge Integration.

Authors: Salem Benferhat , Souhila Kaci , Daniel Le Berre , Mary-Anne Williams
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001
DOI: Not available
Year: 2001

Simple Conditionals with Constrained Right Weakening.

Authors: Giovanni Casini , Thomas Meyer , Ivan Varzinczak
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019
DOI: https://doi.org/10.24963/ijcai.2019/226
Year: 2019

Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks.

Authors: Michael Sioutis , Sanjiang Li , Jean-François Condotta
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015
DOI: Not available
Year: 2015

Control Argumentation Frameworks.

Authors: Yannis Dimopoulos , Jean-Guy Mailly , Pavlos Moraitis
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018
DOI: Not available
Year: 2018

On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning.

Authors: Michael Sioutis , Anastasia Paparrizou , Tomi Janhunen
Affiliation: Artois University, Arras, France
Published in: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain.
DOI: https://doi.org/10.4230/LIPIcs.TIME.2019.14
Year: 2019

Multiple Contraction through Partial-Max-SAT.

Authors: Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure
Affiliation: Artois University, Arras, France
Published in: 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014
DOI: http://doi.ieeecomputersociety.org/10.1109/ICTAI.2014.56
Year: 2014

Three-Valued Possibilistic Networks: Semantics & Inference.

Authors: Salem Benferhat , Jérôme Delobelle , Karim Tabia
Affiliation: Artois University, Arras, France
Published in: 25th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2013, Herndon, VA, USA, November 4-6, 2013
DOI: http://doi.ieeecomputersociety.org/10.1109/ICTAI.2013.17
Year: 2013

A Lazy Algorithm to Efficiently Approximate Singleton Path Consistency for Qualitative Constraint Networks.

Authors: Michael Sioutis , Anastasia Paparrizou , Jean-François Condotta
Affiliation: Artois University, Arras, France
Published in: 29th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2017, Boston, MA, USA, November 6-8, 2017
DOI: http://doi.ieeecomputersociety.org/10.1109/ICTAI.2017.00028
Year: 2017

Data Models and Query Languages for Linked Geospatial Data.

Authors: Manolis Koubarakis , Manos Karpathiotakis , Kostis Kyzirakos , Charalampos Nikolaou , Michael Sioutis
Affiliation: Artois University, Arras, France
Published in: Reasoning Web. Semantic Technologies for Advanced Query Answering - 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings
DOI: https://doi.org/10.1007/978-3-642-33158-9_8
Year: 2012

Alternating-Time Temporal Announcement Logic.

Authors: Tiago de Lima
Affiliation: Artois University, Arras, France
Published in: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings
DOI: https://doi.org/10.1007/978-3-642-22359-4_9
Year: 2011

Vertex Incremental Path Consistency for Qualitative Constraint Networks.

Authors: Michael Sioutis , Jean-François Condotta
Affiliation: Artois University, Arras, France
Published in: Artificial Intelligence: Methods and Applications - 8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May 15-17, 2014. Proceedings
DOI: https://doi.org/10.1007/978-3-319-07064-3_39
Year: 2014

A General Artificial Intelligence Approach for Skeptical Reasoning.

Authors: Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure
Affiliation: Artois University, Arras, France
Published in: Artificial General Intelligence - 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014. Proceedings
DOI: https://doi.org/10.1007/978-3-319-09274-4_4
Year: 2014

A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks.

Authors: Jean-François Condotta , Issam Nouaouri , Michael Sioutis
Affiliation: Artois University, Arras, France
Published in: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016.
DOI: Not available
Year: 2016

SPSC: A New Execution Policy for Exploring Discrete-Time Stochastic Simulations.

Authors: Yu-Lin Huang , Gildas Morvan , Frédéric Pichon , David Mercier
Affiliation: Artois University, Arras, France
Published in: PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings
DOI: https://doi.org/10.1007/978-3-030-33792-6_42
Year: 2019

Argumentation-based Negotiation with Incomplete Opponent Profiles.

Authors: Yannis Dimopoulos , Jean-Guy Mailly , Pavlos Moraitis
Affiliation: Artois University, Arras, France
Published in: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019
DOI: Not available
Year: 2019

Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation.

Authors: Takehide Soh , Mutsunori Banbara , Naoyuki Tamura , Daniel Le Berre
Affiliation: Artois University, Arras, France
Published in: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
DOI: https://doi.org/10.1007/978-3-319-66158-2_38
Year: 2017

Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction.

Authors: Gilles Audemard , Jean-Marie Lagniez , Laurent Simon
Affiliation: Artois University, Arras, France
Published in: Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
DOI: https://doi.org/10.1007/978-3-642-39071-5_23
Year: 2013

The Essentials of the SAT 2003 Competition.

Authors: Daniel Le Berre , Laurent Simon
Affiliation: Artois University, Arras, France
Published in:
DOI: https://doi.org/10.1007/978-3-540-24605-3_34
Year: 2003

On SAT Technologies for Dependency Management and Beyond.

Authors: Daniel Le Berre , Anne Parrain
Affiliation: Artois University, Arras, France
Published in: Software Product Lines, 12th International Conference, SPLC 2008, Limerick, Ireland, September 8-12, 2008, Proceedings. Second Volume (Workshops)
DOI: Not available
Year: 2008

IRM4MLS: The Influence Reaction Model for Multi-Level Simulation.

Authors: Gildas Morvan , Alexandre Veremme , Daniel Dupont
Affiliation: Artois University, Arras, France
Published in: Multi-Agent-Based Simulation X, International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers
DOI: https://doi.org/10.1007/978-3-642-18345-4_2
Year: 2010

A Qualitative Spatio-Temporal Framework Based on Point Algebra.

Authors: Michael Sioutis , Jean-François Condotta , Yakoub Salhi , Bertrand Mazure
Affiliation: Artois University, Arras, France
Published in: Artificial Intelligence: Methodology, Systems, and Applications - 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014. Proceedings
DOI: https://doi.org/10.1007/978-3-319-10554-3_11
Year: 2014

A Simple Decomposition Scheme for Large Real World Qualitative Constraint Networks.

Authors: Michael Sioutis , Yakoub Salhi , Jean-François Condotta
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2015, Hollywood, Florida, USA, May 18-20, 2015.
DOI: Not available
Year: 2015

Leveraging Variable Elimination for Efficiently Reasoning about Qualitative Constraints.

Authors: Michael Sioutis , Zhiguo Long , Sanjiang Li
Affiliation: Artois University, Arras, France
Published in: Int. J. Artif. Intell. Tools journal
DOI: https://doi.org/10.1142/S0218213018600011
Year: 2018

An Efficient Approach for Tackling Large Real World Qualitative Spatial Networks.

Authors: Michael Sioutis , Jean-François Condotta , Manolis Koubarakis
Affiliation: Artois University, Arras, France
Published in: Int. J. Artif. Intell. Tools journal
DOI: https://doi.org/10.1142/S0218213015500311
Year: 2016

A Computational Method for Enforcing Knowledge that Cannot be Subsumed.

Authors: Éric Grégoire , Jean-Marie Lagniez
Affiliation: Artois University, Arras, France
Published in: Int. J. Artif. Intell. Tools journal
DOI: https://doi.org/10.1142/S021821301650024X
Year: 2016

The Sat4j library, release 2.2.

Authors: Daniel Le Berre , Anne Parrain
Affiliation: Artois University, Arras, France
Published in: J. Satisf. Boolean Model. Comput. journal
DOI: Not available
Year: 2010

Preface to the Special Volume on the SAT 2005 Competitions and Evaluations.

Authors: Daniel Le Berre , Laurent Simon
Affiliation: Artois University, Arras, France
Published in: J. Satisf. Boolean Model. Comput. journal
DOI: Not available
Year: 2006

Definability for model counting.

Authors: Jean-Marie Lagniez , Emmanuel Lonca , Pierre Marquis
Affiliation: Artois University, Arras, France
Published in: Artif. Intell. journal
DOI: https://doi.org/10.1016/j.artint.2019.103229
Year: 2020

Just-In-Time Constraint-Based Inference for Qualitative Spatial and Temporal Reasoning.

Authors: Michael Sioutis
Affiliation: Artois University, Arras, France
Published in: Künstliche Intell. journal
DOI: https://doi.org/10.1007/s13218-020-00652-z
Year: 2020

Stochastic Game Modelling for Distributed Constraint Reasoning with Privacy.

Authors: Julien Savaux , Julien Vion , Sylvain Piechowiak , René Mandiau , Toshihiro Matsui , Katsutoshi Hirayama , Makoto Yokoo , Shakre Elmane , Marius Silaghi
Affiliation: Artois University, Arras, France
Published in: International Symposium on Artificial Intelligence and Mathematics, ISAIM 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018.
DOI: Not available
Year: 2018

From MDD to BDD and Arc consistency.

Authors: Julien Vion , Sylvain Piechowiak
Affiliation: Artois University, Arras, France
Published in: Constraints An Int. J. journal
DOI: https://doi.org/10.1007/s10601-018-9286-5
Year: 2018

A parsimony tree for the SAT2002 competition.

Authors: Paul W. Purdom , Daniel Le Berre , Laurent Simon
Affiliation: Artois University, Arras, France
Published in: Ann. Math. Artif. Intell. journal
DOI: https://doi.org/10.1007/s10472-005-0431-7
Year: 2005

Réutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne.

Authors: Daniel Le Berre , Emmanuel Lonca
Affiliation: Artois University, Arras, France
Published in: Revue d'Intelligence Artificielle journal
DOI: https://doi.org/10.3166/ria.28.615-636
Year: 2014

Second-Order Consistencies.

Authors: Christophe Lecoutre , Stéphane Cardon , Julien Vion
Affiliation: Artois University, Arras, France
Published in: J. Artif. Intell. Res. journal
DOI: https://doi.org/10.1613/jair.3180
Year: 2011

DisCSPs with Privacy Recast as Planning Problems for Utility-based Agents.

Authors: Julien Savaux , Julien Vion , Sylvain Piechowiak , René Mandiau , Toshihiro Matsui , Katsutoshi Hirayama , Makoto Yokoo , Shakre Elmane , Marius Silaghi
Affiliation: Artois University, Arras, France
Published in: CoRR journal
DOI: Not available
Year: 2016

Engineering hierarchical complex systems: an agent-based approach. The case of flexible manufacturing systems

Authors: Gildas Morvan , Daniel Dupont , Jean-Baptiste Soyez , Rochdi Merzouki
Affiliation: Artois University, Arras, France
Published in: CoRR journal
DOI: Not available
Year: 2012

Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT.

Authors: Favio Demarco , Jifeng Xuan , Daniel Le Berre , Martin Monperrus
Affiliation: Artois University, Arras, France
Published in: CoRR journal
DOI: Not available
Year: 2014

Tableaux for Dynamic Logic of Propositional Assignments.

Authors: Tiago de Lima , Andreas Herzig
Affiliation: Artois University, Arras, France
Published in: CoRR journal
DOI: Not available
Year: 2014

Integrating Conflict Driven Clause Learning to Local Search

Authors: Gilles Audemard , Jean-Marie Lagniez , Bertrand Mazure , Lakhdar Sais
Affiliation: Artois University, Arras, France
Published in: Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009.
DOI: https://doi.org/10.4204/EPTCS.5.5
Year: 2009

Solving Linux Upgradeability Problems Using Boolean Optimization

Authors: Josep Argelich , Daniel Le Berre , Inês Lynce , João P. Marques Silva , Pascal Rapicault
Affiliation: Artois University, Arras, France
Published in: Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010.
DOI: https://doi.org/10.4204/EPTCS.29.2
Year: 2010

Intention et logique épistémique dynamique.

Authors: Alix Goudyme , Nathalie Chetcuti-Sperandio , Sylvain Lagrue , Tiago de Lima
Affiliation: Artois University, Arras, France
Published in: Actes des 17èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle, RJCIA 2019, Toulouse, France, July 2-4, 2019.
DOI: Not available
Year: 2019

A First Step Towards Dynamic Hybrid Traffic Modeling.

Authors: Najia Bouha , Gildas Morvan , Hassane Abouaissa , Yoann Kubera
Affiliation: Artois University, Arras, France
Published in: 29th European Conference on Modelling and Simulation, ECMS 2015, Albena (Varna), Bulgaria, May 26-29, 2015. Proceedings.
DOI: https://doi.org/10.7148/2015-0064
Year: 2015

Collective Singleton-Based Consistency for Qualitative Constraint Networks.

Authors: Michael Sioutis , Anastasia Paparrizou , Jean-François Condotta
Affiliation: Artois University, Arras, France
Published in: 24th International Symposium on Temporal Representation and Reasoning, TIME 2017, October 16-18, 2017, Mons, Belgium
DOI: https://doi.org/10.4230/LIPIcs.TIME.2017.19
Year: 2017

Détection d'événements rares dans les simulations multi-agents (démonstration).

Authors: Yu-Lin Huang , Gildas Morvan , Frédéric Pichon , David Mercier
Affiliation: Artois University, Arras, France
Published in: Distribution et Décentralisation - Vingt-sixièmes journées francophones sur les systèmes multi-agents, JFSMA 2018, Métabief, France, 10-12 Octobre 2018.
DOI: Not available
Year: 2018

Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae.

Authors: Sylvie Coste-Marquis , Daniel Le Berre , Florian Letombe , Pierre Marquis
Affiliation: Artois University, Arras, France
Published in:
DOI: Not available
Year: 2005

A Recursive Algorithm for Projected Model Counting.

Authors: Jean-Marie Lagniez , Pierre Marquis
Affiliation: Artois University, Arras, France
Published in: The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019.
DOI: https://doi.org/10.1609/aaai.v33i01.33011536
Year: 2019

Fixed-Parameter Tractable Optimization Under DNNF Constraints.

Authors: Frédéric Koriche , Daniel Le Berre , Emmanuel Lonca , Pierre Marquis
Affiliation: Artois University, Arras, France
Published in: ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016)
DOI: https://doi.org/10.3233/978-1-61499-672-9-1194
Year: 2016

Modeling the problem of many hands in organisations.

Authors: Tiago de Lima , Lambèr M. M. Royakkers , Frank Dignum
Affiliation: Artois University, Arras, France
Published in: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings
DOI: Not available
Year: 2010

On Computing One Max_Subset Inclusion Consensus.

Authors: Éric Grégoire , Yacine Izza , Jean-Marie Lagniez
Affiliation: Artois University, Arras, France
Published in: 29th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2017, Boston, MA, USA, November 6-8, 2017
DOI: http://doi.ieeecomputersociety.org/10.1109/ICTAI.2017.00131
Year: 2017

Light Algorithms for Maintaining Max-RPC During Search.

Authors: Julien Vion , Romuald Debruyne
Affiliation: Artois University, Arras, France
Published in: Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009, Lake Arrowhead, California, USA, 8-10 August 2009
DOI: Not available
Year: 2009

Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints.

Authors: Nouhad Amaneddine , Jean-François Condotta , Michael Sioutis
Affiliation: Artois University, Arras, France
Published in: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013
DOI: Not available
Year: 2013

On Computational Aspects of Iterated Belief Change.

Authors: Nicolas Schwind , Sébastien Konieczny , Jean-Marie Lagniez , Pierre Marquis
Affiliation: Artois University, Arras, France
Published in: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020
DOI: https://doi.org/10.24963/ijcai.2020/245
Year: 2020

A Hybrid Evolutionary Algorithm for Maximizing Satisfiability in Temporal or Spatial Qualitative Constraints.

Authors: Ali Mensi , Jean-François Condotta , Issam Nouaouri , Michael Sioutis , Lamjed Ben Saïd
Affiliation: Artois University, Arras, France
Published in: Proceedings of the 10th Hellenic Conference on Artificial Intelligence, SETN 2018, Patras, Greece, July 09-12, 2018
DOI: https://doi.org/10.1145/3200947.3201021
Year: 2018

Exploiting the real power of unit propagation lookahead.

Authors: Daniel Le Berre
Affiliation: Artois University, Arras, France
Published in: Electron. Notes Discret. Math. journal
DOI: https://doi.org/10.1016/S1571-0653(04)00314-2
Year: 2001

Evidential calibration process of multi-agent based system: An application to forensic entomology.

Authors: Alexandre Veremme , Eric Lefevre , Gildas Morvan , Daniel Dupont , Daniel Jolly
Affiliation: Artois University, Arras, France
Published in: Expert Syst. Appl. journal
DOI: https://doi.org/10.1016/j.eswa.2011.08.075
Year: 2012

Sat4j 2.3.2: on the fly solver configuration System Description.

Authors: Daniel Le Berre , Stéphanie Roussel 0001
Affiliation: Artois University, Arras, France
Published in: J. Satisf. Boolean Model. Comput. journal
DOI: Not available
Year: 2014

Alternating-time temporal dynamic epistemic logic.

Authors: Tiago de Lima
Affiliation: Artois University, Arras, France
Published in: J. Log. Comput. journal
DOI: https://doi.org/10.1093/logcom/exs061
Year: 2014

Boosting Local Search Thanks to cdcl.

Authors: Gilles Audemard , Jean-Marie Lagniez , Bertrand Mazure , Lakhdar Sais
Affiliation: Artois University, Arras, France
Published in: Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
DOI: https://doi.org/10.1007/978-3-642-16242-8_34
Year: 2010

NACRE - A Nogood And Clause Reasoning Engine.

Authors: Gael Glorian , Jean-Marie Lagniez , Christophe Lecoutre
Affiliation: Artois University, Arras, France
Published in: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020.
DOI: Not available
Year: 2020

Combining Nogoods in Restart-Based Search.

Authors: Gael Glorian , Frédéric Boussemart , Jean-Marie Lagniez , Christophe Lecoutre , Bertrand Mazure
Affiliation: Artois University, Arras, France
Published in: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
DOI: https://doi.org/10.1007/978-3-319-66158-2_9
Year: 2017

An Incremental SAT-Based Approach to the Graph Colouring Problem.

Authors: Gael Glorian , Jean-Marie Lagniez , Valentin Montmirail , Nicolas Szczepanski
Affiliation: Artois University, Arras, France
Published in: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings
DOI: https://doi.org/10.1007/978-3-030-30048-7_13
Year: 2019

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

Authors: Éric Grégoire , Jean-Marie Lagniez , Du Zhang
Affiliation: Artois University, Arras, France
Published in: 15th IEEE International Conference on Cognitive Informatics & Cognitive Computing ,ICCI*CC 2016, Palo Alto, CA, USA, August 22-23, 2016
DOI: http://doi.ieeecomputersociety.org/10.1109/ICCI-CC.2016.7862041
Year: 2016

Interpretability of Gradual Semantics in Abstract Argumentation.

Authors: Jérôme Delobelle , Serena Villata
Affiliation: Artois University, Arras, France
Published in: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings.
DOI: https://doi.org/10.1007/978-3-030-29765-7_3
Year: 2019

Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method.

Authors: Michael Sioutis , Jean-François Condotta , Yakoub Salhi , Bertrand Mazure
Affiliation: Artois University, Arras, France
Published in: Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings
DOI: https://doi.org/10.1007/978-3-319-24312-2_5
Year: 2015

Factoring Out Assumptions to Speed Up MUS Extraction.

Authors: Jean-Marie Lagniez , Armin Biere
Affiliation: Artois University, Arras, France
Published in: Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
DOI: https://doi.org/10.1007/978-3-642-39071-5_21
Year: 2013

On Freezing and Reactivating Learnt Clauses.

Authors: Gilles Audemard , Jean-Marie Lagniez , Bertrand Mazure , Lakhdar Sais
Affiliation: Artois University, Arras, France
Published in: Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
DOI: https://doi.org/10.1007/978-3-642-21581-0_16
Year: 2011

The Second QBF Solvers Comparative Evaluation.

Authors: Daniel Le Berre , Massimo Narizzano , Laurent Simon , Armando Tacchella
Affiliation: Artois University, Arras, France
Published in:
DOI: https://doi.org/10.1007/11527695_28
Year: 2004

On Weakening Strategies for PB Solvers.

Authors: Daniel Le Berre , Pierre Marquis , Romain Wallon
Affiliation: Artois University, Arras, France
Published in: Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings
DOI: https://doi.org/10.1007/978-3-030-51825-7_23
Year: 2020

Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers.

Authors: Daniel Le Berre , Laurent Simon , Armando Tacchella
Affiliation: Artois University, Arras, France
Published in:
DOI: https://doi.org/10.1007/978-3-540-24605-3_35
Year: 2003

DisCSPs with Privacy Recast as Planning Problems for Self-Interested Agents.

Authors: Julien Savaux , Julien Vion , Sylvain Piechowiak , René Mandiau , Toshihiro Matsui , Katsutoshi Hirayama , Makoto Yokoo , Shakre Elmane , Marius Silaghi
Affiliation: Artois University, Arras, France
Published in: 2016 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2016, Omaha, NE, USA, October 13-16, 2016
DOI: http://doi.ieeecomputersociety.org/10.1109/WI.2016.0057
Year: 2016

Incrementally Building Partially Path Consistent Qualitative Constraint Networks.

Authors: Michael Sioutis , Jean-François Condotta
Affiliation: Artois University, Arras, France
Published in: Artificial Intelligence: Methodology, Systems, and Applications - 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014. Proceedings
DOI: https://doi.org/10.1007/978-3-319-10554-3_10
Year: 2014

An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem.

Authors: Jean-Marie Lagniez , Daniel Le Berre , Tiago de Lima , Valentin Montmirail
Affiliation: Artois University, Arras, France
Published in: Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
DOI: https://doi.org/10.1007/978-3-319-94205-6_1
Year: 2018

On Preprocessing Techniques and Their Impact on Propositional Model Counting.

Authors: Jean-Marie Lagniez , Pierre Marquis
Affiliation: Artois University, Arras, France
Published in: J. Autom. Reasoning journal
DOI: https://doi.org/10.1007/s10817-016-9370-8
Year: 2017

On Weakening Strategies for PB Solvers.

Authors: Daniel Le Berre , Pierre Marquis , Romain Wallon
Affiliation: Artois University, Arras, France
Published in: CoRR journal
DOI: https://doi.org/10.1007/978-3-030-51825-7_23
Year: 2020

Observation of large-scale multi-agent based simulations.

Authors: Gildas Morvan , Alexandre Veremme , Daniel Dupont
Affiliation: Artois University, Arras, France
Published in: CoRR journal
DOI: Not available
Year: 2013

Improving MUC extraction thanks to local search.

Authors: Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure
Affiliation: Artois University, Arras, France
Published in: CoRR journal
DOI: Not available
Year: 2013

IRM4MLS: the influence reaction model for multi-level simulation.

Authors: Gildas Morvan , Alexandre Veremme , Daniel Dupont
Affiliation: Artois University, Arras, France
Published in: CoRR journal
DOI: Not available
Year: 2013

SPSC: a new execution policy for exploring discrete-time stochastic simulations.

Authors: Yu-Lin Huang , Gildas Morvan , Frédéric Pichon , David Mercier
Affiliation: Artois University, Arras, France
Published in: CoRR journal
DOI: Not available
Year: 2019

Using Enthymemes to Fill the Gap between Logical Argumentation and Revision of Abstract Argumentation Frameworks.

Authors: Jean-Guy Mailly
Affiliation: Artois University, Arras, France
Published in: CoRR journal
DOI: Not available
Year: 2016

Consensus-finding that preserves mutually conflicting hypothetical information from a same agent.

Authors: Éric Grégoire , Jean-Marie Lagniez , Du Zhang
Affiliation: Artois University, Arras, France
Published in: AI Commun. journal
DOI: https://doi.org/10.3233/AIC-170749
Year: 2018