The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Pierre Marquis" ( http://dblp.L3S.de/Authors/Pierre_Marquis )

  Author page on DBLP  Author page in RDF  Community of Pierre Marquis in ASPL-2

Publication years (Num. hits)
1990-1996 (15) 1997-2001 (18) 2002-2004 (20) 2005-2006 (16) 2007-2008 (15) 2009-2010 (15) 2011-2013 (17) 2014-2015 (24) 2016-2018 (23)
Publication types (Num. hits)
article(41) inproceedings(120) proceedings(2)
Venues (Conferences, Journals, ...)
IJCAI(24) KR(20) ECAI(17) AAAI(11) Artif. Intell.(10) ECSQARU(7) CoRR(5) ICTAI(5) AAMAS(4) J. Log. Comput.(4) J. Artif. Intell. Res.(3) JELIA(3) AAAI/IAAI(2) Ann. Math. Artif. Intell.(2) COMMA(2) ECML(2) More (+10 of total 53)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 8 keywords

Results
Found 164 publication records. Showing 163 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Nicolas Schwind, Sébastien Konieczny, Pierre Marquis Belief base rationalization for propositional merging. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicolas Schwind, Pierre Marquis On Consensus in Belief Merging. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Tenda Okimoto, Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Pierre Marquis Robust Coalition Structure Generation. Search on Bibsonomy PRIMA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicolas Schwind, Sébastien Konieczny, Pierre Marquis On Belief Promotion. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Sébastien Konieczny, Pierre Marquis, Srdjan Vesic New Inference Relations from Maximal Consistent Subsets. Search on Bibsonomy KR The full citation details ... 2018 DBLP  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
1Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton (eds.) Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers Search on Bibsonomy GKR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon Pseudo-Boolean Constraints from a Knowledge Representation Perspective. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  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
1Thomas Caridroit, Sébastien Konieczny, Pierre Marquis Contraction in propositional logic. Search on Bibsonomy Int. J. Approx. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Adnan Darwiche, Pierre Marquis, Dan Suciu, Stefan Szeider Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2017 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
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
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
1Jean-Marie Lagniez, Pierre Marquis An Improved Decision-DNNF Compiler. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefano V. Albrecht, Bruno Bouchard 0001, John S. Brownstein, David L. Buckeridge, Cornelia Caragea, Kevin M. Carter 0001, Adnan Darwiche, Blaz Fortuna, Yannick Francillette, Sébastien Gaboury, C. Lee Giles, Marko Grobelnik, Estevam R. Hruschka, Jeffrey O. Kephart, Parisa Kordjamshidi, Viliam Lisý, Daniele Magazzeni, João Marques-Silva, Pierre Marquis, David R. Martinez, Marek P. Michalowski, Arash Shaban-Nejad, Zeinab Noorian, Enrico Pontelli, Alex Rogers, Stephanie Rosenthal, Dan Roth, Arunesh Sinha, William W. Streilein, Sylvie Thiébaux, Tran Cao Son, Byron C. Wallace, Toby Walsh, Michael J. Witbrock, Jie Zhang Reports of the 2016 AAAI Workshop Program. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Adnan Darwiche, João Marques-Silva, Pierre Marquis Preface: The Beyond NP Workshop. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Frédéric Koriche, Daniel Le Berre, Emmanuel Lonca, Pierre Marquis Fixed-Parameter Tractable Optimization Under DNNF Constraints. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis On Distances Between KD45n Kripke Models and Their Use for Belief Revision. 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
1Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?. 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
1Thomas Caridroit, Sébastien Konieczny, Pierre Marquis Contraction in Propositional Logic. Search on Bibsonomy ECSQARU The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sébastien Konieczny, Pierre Marquis, Srdjan Vesic On Supported Inference and Extension Selection in Abstract Argumentation Frameworks. Search on Bibsonomy ECSQARU The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis Private Expansion and Revision in Multi-agent Settings. Search on Bibsonomy ECSQARU The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis Belief Revision Games. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Pierre Marquis Compile! Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton (eds.) Graph Structures for Knowledge Representation and Reasoning - 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers Search on Bibsonomy GKR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tenda Okimoto, Nicolas Schwind, Maxime Clement, Tony Ribeiro, Katsumi Inoue, Pierre Marquis How to Form a Task-Oriented Robust Team. Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1Patricia Everaere, Sébastien Konieczny, Pierre Marquis Belief Merging versus Judgment Aggregation. Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis Private Revision in a Multi-Agent Setting. Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis Extension Enforcement in Abstract Argumentation as an Optimization Problem. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  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
1Hélène Fargier, Pierre Marquis Disjunctive closures for knowledge compilation. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pierre Marquis, Nicolas Schwind Lost in translation: Language independence in propositional logic - application to belief change. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hélène Fargier, Pierre Marquis, Nicolas Schmidt Compacité pratique des diagrammes de décision valués. Normalisation, heuristiques et expérimentations. Search on Bibsonomy Revue d'Intelligence Artificielle The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Daniel Le Berre, Emmanuel Lonca, Pierre Marquis On the Complexity of Optimization Problems based on Compiled NNF Representations. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis A Translation-Based Approach for Revision of Argumentation Frameworks. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jean-Marie Lagniez, Pierre Marquis Preprocessing for Propositional Model Counting. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Hélène Fargier, Pierre Marquis, Alexandre Niveau, Nicolas Schmidt A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Patricia Everaere, Sébastien Konieczny, Pierre Marquis On Egalitarian Belief Merging. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses. Search on Bibsonomy KR 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
1Pierre Marquis, Odile Papini, Henri Prade Some Elements for a Prehistory of Artificial Intelligence in the Last Four Centuries. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Patricia Everaere, Sébastien Konieczny, Pierre Marquis Propositional Merging and Judgment Aggregation: Two Compatible Approaches? Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Patricia Everaere, Sébastien Konieczny, Pierre Marquis Counting votes for aggregating judgments. Search on Bibsonomy AAMAS The full citation details ... 2014 DBLP  BibTeX  RDF
1Andreas Herzig, Jérôme Lang, Pierre Marquis Propositional Update Operators Based on Formula/Literal Dependence. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Daniel Le Berre, Pierre Marquis, Stéphanie Roussel Planning Personalised Museum Visits. Search on Bibsonomy ICAPS The full citation details ... 2013 DBLP  BibTeX  RDF
1Hélène Fargier, Pierre Marquis, Alexandre Niveau Towards a Knowledge Compilation Map for Heterogeneous Representation Languages. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Hélène Fargier, Pierre Marquis, Nicolas Schmidt Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues. 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
1Jérôme Lang, Pierre Marquis Introduction. Search on Bibsonomy Revue d'Intelligence Artificielle The full citation details ... 2012 DBLP  BibTeX  RDF
1Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali Selecting Extensions in Weighted Argumentation Frameworks. Search on Bibsonomy COMMA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paul E. Dunne, Pierre Marquis, Michael J. Wooldridge Argument Aggregation: Basic Axioms and Complexity Results. Search on Bibsonomy COMMA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Lucas Bordeaux, Mikolás Janota, João P. Marques Silva, Pierre Marquis On Unit-Refutation Complete Formulae with Existentially Quantified Variables. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Patricia Everaere, Sébastien Konieczny, Pierre Marquis Compositional Belief Merging. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali Weighted Attacks in Argumentation Frameworks. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Patricia Everaere, Sébastien Konieczny, Pierre Marquis The Strategy-Proofness Landscape of Merging Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Jérôme Lang, Paolo Liberatore, Pierre Marquis Propositional Independence - Formula-Variable Independence and Forgetting Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Adnan Darwiche, Pierre Marquis A Knowledge Compilation Map Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Sébastien Konieczny, Pierre Marquis, Nicolas Schwind Belief Base Rationalization for Propositional Merging. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pierre Marquis Existential Closures for Knowledge Compilation. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pierre Marquis, Nicolas Schwind Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jérôme Lang, Pierre Marquis Reasoning under inconsistency: A forgetting-based approach. Search on Bibsonomy Artif. Intell. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Patricia Everaere, Sébastien Konieczny, Pierre Marquis Disjunctive merging: Quota and Gmin merging operators. Search on Bibsonomy Artif. Intell. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind A Syntactical Approach to Qualitative Constraint Networks Merging. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Meghyn Bienvenu, Hélène Fargier, Pierre Marquis Knowledge Compilation in the Modal Logic S5. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis A Characterization of Optimality Criteria for Decision Making under Complete Ignorance. Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
1Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind Majority Merging: from Boolean Spaces to Affine Spaces. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Patricia Everaere, Sébastien Konieczny, Pierre Marquis The Epistemic View of Belief Merging: Can We Track the Truth?. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis Introspective forgetting. Search on Bibsonomy Synthese The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis Handling controversial arguments. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pierre Marquis, Meltem Öztürk Representing interval orders by weighted bases: Some complexity results. Search on Bibsonomy Mathematical Social Sciences The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind Merging Qualitative Constraints Networks Using Propositional Logic. Search on Bibsonomy ECSQARU The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms. Search on Bibsonomy COSIT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind Merging Qualitative Constraint Networks in a Piecewise Fashion. Search on Bibsonomy ICTAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Daniel Le Berre, Pierre Marquis, Meltem Öztürk Aggregating Interval Orders by Propositional Optimization. Search on Bibsonomy ADT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF preference modelling and aggregation, propositional reasoning, Boolean optimization, Interval orders
1Hélène Fargier, Pierre Marquis Knowledge Compilation Properties of Trees-of-BDDs, Revisited. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Jérôme Lang, Pierre Marquis On propositional definability. Search on Bibsonomy Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sébastien Konieczny, Pierre Marquis, Philippe Besnard Bipolarity in bilattice logics. Search on Bibsonomy Int. J. Intell. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sylvie Coste-Marquis, Pierre Marquis Recovering Consistency by Forgetting Inconsistency. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis A Model for Multiple Outcomes Games. Search on Bibsonomy ICTAI (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Hélène Fargier, Pierre Marquis Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Hans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis Introspective Forgetting. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2008 DBLP  DOI  BibTeX  RDF action logic, abstraction, modal logic, belief change, forgetting
1Patricia Everaere, Sébastien Konieczny, Pierre Marquis Conflict-Based Merging Operators. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis Jeux Qualitatifs à Résultats Multiples (présentation courte). Search on Bibsonomy JFSMA The full citation details ... 2008 DBLP  BibTeX  RDF
1Hélène Fargier, Pierre Marquis Extending the Knowledge Compilation Map: Closure Principles. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Patricia Everaere, Sébastien Konieczny, Pierre Marquis Propositional merging operators based on set-theoretic closeness. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Olivier Gauwin, Sébastien Konieczny, Pierre Marquis Conciliation through Iterated Belief Merging. Search on Bibsonomy J. Log. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis On the merging of Dung's argumentation systems. Search on Bibsonomy Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Patricia Everaere, Sébastien Konieczny, Pierre Marquis The Strategy-Proofness Landscape of Merging. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis Extending Classical Planning to the Multi-agent Case: A Game-Theoretic Approach. Search on Bibsonomy ECSQARU The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Hélène Fargier, Pierre Marquis On Valued Negation Normal Form Formulas. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages. Search on Bibsonomy JSAT The full citation details ... 2006 DBLP  BibTeX  RDF
1Olivier Bailleux, Pierre Marquis Some Computational Aspects of distance-sat. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computational complexity, satisfiability
1Hélène Fargier, Pierre Marquis On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae. Search on Bibsonomy AAAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis Representing Policies for Quantified Boolean Formulae. Search on Bibsonomy KR The full citation details ... 2006 DBLP  BibTeX  RDF
1Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis Constrained Argumentation Frameworks. Search on Bibsonomy KR The full citation details ... 2006 DBLP  BibTeX  RDF
1Zied Loukil, Abdelmajid Ben Hamadou, Pierre Marquis, Vincent Vidal 0001 Les ressources et la planification temporelle. Search on Bibsonomy INFORSID The full citation details ... 2006 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 163 (100 per page; Change: )
Pages: [1][2][>>]
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