The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jean-Marie Lagniez" ( http://dblp.L3S.de/Authors/Jean-Marie_Lagniez )

  Author page on DBLP  Author page in RDF  Community of Jean-Marie Lagniez in ASPL-2

Publication years (Num. hits)
2009-2013 (15) 2014-2016 (24) 2017-2018 (18) 2019 (3)
Publication types (Num. hits)
article(9) inproceedings(51)
Venues (Conferences, Journals, ...)
IJCAI(11) AAAI(7) ICTAI(7) CP(6) SAT(5) ECAI(4) International Journal on Artif...(3) KR(2) AGI(1) AI Commun.(1) Appl. Intell.(1) Constraints(1) CoRR(1) DEXA Workshops(1) ICCI*CC(1) IJCAR(1) More (+10 of total 23)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 61 publication records. Showing 60 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jean-Marie Lagniez, Pierre Marquis A Recursive Algorithm for Projected Model Counting. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Nicolas Szczepanski An Incremental SAT-Based Approach to the Graph Colouring Problem. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Éric Grégoire, Jean-Marie Lagniez, Du Zhang Consensus-finding that preserves mutually conflicting hypothetical information from a same agent. Search on Bibsonomy AI Commun. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Éric Grégoire, Jean-Marie Lagniez, Du Zhang Preface. Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis Probabilistic Coalition Structure Generation. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail A SAT-Based Approach For PSPACE Modal Logics. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski DMC: A Distributed Model Counter. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Éric Grégoire, Yacine Izza, Jean-Marie Lagniez Boosting MCSes Enumeration. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jean-Marie Lagniez, Pierre Marquis On Preprocessing Techniques and Their Impact on Propositional Model Counting. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis Boosting Distance-Based Revision Using SAT Encodings. Search on Bibsonomy LORI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis SAT Encodings for Distance-Based Belief Merging Operators. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Thomas Caridroit, Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary A Distributed Version of Syrup. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Éric Grégoire, Yacine Izza, Jean-Marie Lagniez On Computing One Max_Subset Inclusion Consensus. Search on Bibsonomy ICTAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gael Glorian, Frédéric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure Combining Nogoods in Restart-Based Search. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jean-Marie Lagniez, Pierre Marquis, Anastasia Paparrizou Defining and Evaluating Heuristics for the Compilation of Constraint Networks. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jean-Marie Lagniez, Pierre Marquis An Improved Decision-DNNF Compiler. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Éric Grégoire, Jean-Marie Lagniez A Computational Method for Enforcing Knowledge that Cannot be Subsumed. Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Éric Grégoire, Jean-Marie Lagniez RCL: An A. I. Tool for Computing Maximal Consensuses. Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Éric Grégoire, Jean-Marie Lagniez, Du Zhang Logical consensuses for case-based reasoning and for mathematical engineering of AI. Search on Bibsonomy ICCI*CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Éric Grégoire, Yacine Izza, Jean-Marie Lagniez On the Extraction of One Maximal Information Subset That Does Not Conflict with Multiple Contexts. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Éric Grégoire, Jean-Marie Lagniez A Computational Approach to Consensus-Finding. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis An Improved CNF Encoding Scheme for Probabilistic Inference. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail On Checking Kripke Models for Modal Logic K. Search on Bibsonomy PAAR@IJCAR The full citation details ... 2016 DBLP  BibTeX  RDF
1Éric Grégoire, Jean-Marie Lagniez, Du Zhang On Computing Non-hypocritical Consensuses in Standard Logic. Search on Bibsonomy DEXA Workshops The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary An Adaptive Parallel SAT Solver. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Éric Grégoire, Sébastien Konieczny, Jean-Marie Lagniez On Consensus Extraction. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis Improving Model Counting by Leveraging Definability. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure On getting rid of the preprocessing minimization step in MUC-finding algorithms. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Éric Grégoire, Jean-Marie Lagniez On Anti-subsumptive Knowledge Enforcement. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Philippe Besnard, Éric Grégoire, Jean-Marie Lagniez On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver. Search on Bibsonomy ICTAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas Compiling Constraint Networks into Multivalued Decomposable Decision Graphs. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Gilles Audemard, Armin Biere, Jean-Marie Lagniez, Laurent Simon Améliorer SAT dans le cadre incrémental. Search on Bibsonomy Revue d'Intelligence Artificielle The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure Boosting MUC extraction in unsatisfiable constraint networks. Search on Bibsonomy Appl. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure An Experimentally Efficient Method for (MSS, CoMSS) Partitioning. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Jean-Marie Lagniez, Pierre Marquis Preprocessing for Propositional Model Counting. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis Symmetry-Driven Decision Diagrams for Knowledge Compilation. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure Enforcing Solutions in Constraint Networks. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure A General Artificial Intelligence Approach for Skeptical Reasoning. Search on Bibsonomy AGI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure Multiple Contraction through Partial-Max-SAT. Search on Bibsonomy ICTAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure Improving MUC extraction thanks to local search. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Jean-Marie Lagniez, Armin Biere Factoring Out Assumptions to Speed Up MUS Extraction. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Jean-Marie Lagniez, Laurent Simon Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding Algorithms. Search on Bibsonomy ICTAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure Preserving Partial Solutions While Relaxing Constraint Networks. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas Knowledge Compilation for Model Counting: Affine Decision Trees. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Gilles Audemard, Jean-Marie Lagniez, Laurent Simon Just-In-Time Compilation of Knowledge Bases. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette Revisiting Clause Exchange in Parallel SAT Solving. Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure Relax! Search on Bibsonomy ICTAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais On Freezing and Reactivating Learnt Clauses. Search on Bibsonomy SAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Long Guo, Jean-Marie Lagniez Dynamic Polarity Adjustment in a Parallel SAT Solver. Search on Bibsonomy ICTAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure A CSP Solver Focusing on fac Variables. Search on Bibsonomy CP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais Boosting Local Search Thanks to cdcl. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais Integrating Conflict Driven Clause Learning to Local Search Search on Bibsonomy LSCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais Learning in Local Search. Search on Bibsonomy ICTAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #60 of 60 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license