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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Authors: | Daniel Le Berre , Laurent Simon |
---|---|
Affiliation: | Artois University, Arras, France |
Published in: | |
DOI: | https://doi.org/10.1007/11527695_25 |
Year: | 2004 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Authors: | Gildas Morvan , Yoann Kubera |
---|---|
Affiliation: | Artois University, Arras, France |
Published in: | CoRR journal |
DOI: | Not available |
Year: | 2017 |
Authors: | Gildas Morvan , Daniel Jolly |
---|---|
Affiliation: | Artois University, Arras, France |
Published in: | CoRR journal |
DOI: | Not available |
Year: | 2012 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Authors: | Adrian Haret , Jean-Guy Mailly , Stefan Woltran |
---|---|
Affiliation: | Artois University, Arras, France |
Published in: | CoRR journal |
DOI: | Not available |
Year: | 2016 |
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 |
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 |
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 |
Authors: | Daniel Le Berre , Emmanuel Lonca , Pierre Marquis |
---|---|
Affiliation: | Artois University, Arras, France |
Published in: | CoRR journal |
DOI: | Not available |
Year: | 2014 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Authors: | Marjan Alirezaie , Martin Längkvist , Michael Sioutis , Amy Loutfi |
---|---|
Affiliation: | Artois University, Arras, France |
Published in: | CoRR journal |
DOI: | Not available |
Year: | 2019 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Authors: | Gildas Morvan |
---|---|
Affiliation: | Artois University, Arras, France |
Published in: | CoRR journal |
DOI: | Not available |
Year: | 2012 |
Authors: | Daniel Le Berre |
---|---|
Affiliation: | Artois University, Arras, France |
Published in: | CoRR journal |
DOI: | Not available |
Year: | 2014 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Authors: | Daniel Le Berre , Anne Parrain |
---|---|
Affiliation: | Artois University, Arras, France |
Published in: | J. Satisf. Boolean Model. Comput. journal |
DOI: | Not available |
Year: | 2010 |
Authors: | Daniel Le Berre , Laurent Simon |
---|---|
Affiliation: | Artois University, Arras, France |
Published in: | J. Satisf. Boolean Model. Comput. journal |
DOI: | Not available |
Year: | 2006 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Authors: | Gildas Morvan , Daniel Dupont , Jean-Baptiste Soyez , Rochdi Merzouki |
---|---|
Affiliation: | Artois University, Arras, France |
Published in: | CoRR journal |
DOI: | Not available |
Year: | 2012 |
Authors: | Favio Demarco , Jifeng Xuan , Daniel Le Berre , Martin Monperrus |
---|---|
Affiliation: | Artois University, Arras, France |
Published in: | CoRR journal |
DOI: | Not available |
Year: | 2014 |
Authors: | Tiago de Lima , Andreas Herzig |
---|---|
Affiliation: | Artois University, Arras, France |
Published in: | CoRR journal |
DOI: | Not available |
Year: | 2014 |
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 |
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 |
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 |
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 |
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 |
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 |
Authors: | Sylvie Coste-Marquis , Daniel Le Berre , Florian Letombe , Pierre Marquis |
---|---|
Affiliation: | Artois University, Arras, France |
Published in: | |
DOI: | Not available |
Year: | 2005 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Authors: | Gildas Morvan , Alexandre Veremme , Daniel Dupont |
---|---|
Affiliation: | Artois University, Arras, France |
Published in: | CoRR journal |
DOI: | Not available |
Year: | 2013 |
Authors: | Éric Grégoire , Jean-Marie Lagniez , Bertrand Mazure |
---|---|
Affiliation: | Artois University, Arras, France |
Published in: | CoRR journal |
DOI: | Not available |
Year: | 2013 |
Authors: | Gildas Morvan , Alexandre Veremme , Daniel Dupont |
---|---|
Affiliation: | Artois University, Arras, France |
Published in: | CoRR journal |
DOI: | Not available |
Year: | 2013 |
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 |
Authors: | Jean-Guy Mailly |
---|---|
Affiliation: | Artois University, Arras, France |
Published in: | CoRR journal |
DOI: | Not available |
Year: | 2016 |
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 |