The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pierre Marquis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Olivier Bailleux, Pierre Marquis
    DISTANCE-SAT: Complexity and Algorithms. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1999, pp:642-647 [Conf]
  2. Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis
    Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:288-293 [Conf]
  3. Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis
    Merging Argumentation Systems. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:614-619 [Conf]
  4. Hélène Fargier, Pierre Marquis
    On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  5. Jérôme Lang, Pierre Marquis
    Two Forms of Dependence in Propositional Logic: Controllability and Definability. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1998, pp:268-273 [Conf]
  6. Pierre Marquis, Samira Sadaoui
    A New Algorithm for Computing Theory Prime Implicates Compilations. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, Vol. 1, 1996, pp:504-509 [Conf]
  7. Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Sais
    Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1998, pp:115-128 [Conf]
  8. Jérôme Lang, Pierre Marquis, Mary-Anne Williams
    Updating Epistemic States. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 2001, pp:297-308 [Conf]
  9. Sylvie Coste-Marquis, Pierre Marquis
    On the Complexity of Paraconsistent Inference Relations. [Citation Graph (0, 0)][DBLP]
    Inconsistency Tolerance, 2005, pp:151-190 [Conf]
  10. Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch
    Deductive/Abductvie Diagnosis: The DA-Principles. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:47-52 [Conf]
  11. Philippe Besnard, Jérôme Lang, Pierre Marquis
    Variable Forgetting in Preference Relations over Propositional Domains. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:763-764 [Conf]
  12. A. Bonneau, François Charpillet, S. Coste, Jean Paul Haton, Yves Laprie, Pierre Marquis
    A Model for Hypothetical Reasoning Applied to Speech Recognition. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:553-557 [Conf]
  13. Sylvie Coste-Marquis, Pierre Marquis
    Compiling Stratified Belief Bases. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:23-27 [Conf]
  14. Sylvie Coste-Marquis, Pierre Marquis
    A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:803-807 [Conf]
  15. Pierre Marquis
    Building up Inductive Generalizations from Facts. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:446-450 [Conf]
  16. Pierre Marquis
    Possible Models Approach via Independency. [Citation Graph (0, 0)][DBLP]
    ECAI, 1994, pp:336-340 [Conf]
  17. Nicolas Lachiche, Pierre Marquis
    A Model for Generalization Based on Confirmatory Induction. [Citation Graph (0, 0)][DBLP]
    ECML, 1997, pp:154-161 [Conf]
  18. Nicolas Lachiche, Pierre Marquis
    Scope Classification: An Instance-Based Learning Algorithm with a Rule-Based Characterisation. [Citation Graph (0, 0)][DBLP]
    ECML, 1998, pp:268-279 [Conf]
  19. Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
    Symmetric Argumentation Frameworks. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2005, pp:317-328 [Conf]
  20. Olivier Gauwin, Sébastien Konieczny, Pierre Marquis
    Conciliation and Consensus in Iterated Belief Merging. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2005, pp:514-526 [Conf]
  21. Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch
    A New Diagnosis Approach by Deduction and Abduction. [Citation Graph (0, 0)][DBLP]
    Expert Systems in Engineering, 1990, pp:32-46 [Conf]
  22. Pierre Marquis
    Extending abduction from propositional to first-order logic. [Citation Graph (0, 0)][DBLP]
    FAIR, 1991, pp:141-155 [Conf]
  23. Maroua Bouzid, François Charpillet, Pierre Marquis, Jean Paul Haton
    Assumption-Based Truth Maintenance in Precense of Temproal Assertions. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1994, pp:492-498 [Conf]
  24. Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
    Prudent Semantics for Argumentation Frameworks. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2005, pp:568-572 [Conf]
  25. Pierre Marquis
    On Metatheoretic Properties of Logic-Based Abductive Inference. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1993, pp:444-445 [Conf]
  26. Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais
    Tractable Cover Compilations. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:122-127 [Conf]
  27. Sylvie Coste-Marquis, Pierre Marquis
    Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:24-29 [Conf]
  28. Adnan Darwiche, Pierre Marquis
    A Perspective on Knowledge Compilation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:175-182 [Conf]
  29. Patricia Everaere, Sébastien Konieczny, Pierre Marquis
    Quota and Gmin Merging Operators. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:424-429 [Conf]
  30. Andreas Herzig, Jérôme Lang, Pierre Marquis
    Action representation and partially observable planning using epistemic logic. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:1067-1072 [Conf]
  31. Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek
    Updates, actions, and planning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:119-124 [Conf]
  32. Sébastien Konieczny, Jérôme Lang, Pierre Marquis
    Quantifying information and contradiction in propositional logic through test actions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:106-111 [Conf]
  33. Sébastien Konieczny, Jérôme Lang, Pierre Marquis
    Reasoning under inconsistency: the forgotten connective. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:484-489 [Conf]
  34. Jérôme Lang, Fangzhen Lin, Pierre Marquis
    Causal Theories of Action: A Computational Core. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:1073-1078 [Conf]
  35. Pierre Marquis
    Knowledge Compilation Using Theory Prime Implicates. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1995, pp:837-845 [Conf]
  36. Pierre Marquis, Nadège Porquet
    Resource-bounded inference from inconsistent belief bases. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:103-108 [Conf]
  37. Hélène Fargier, Pierre Marquis
    On Valued Negation Normal Form Formulas. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:360-365 [Conf]
  38. Zied Loukil, Abdelmajid Ben Hamadou, Pierre Marquis, Vincent Vidal
    Les ressources et la planification temporelle. [Citation Graph (0, 0)][DBLP]
    INFORSID, 2006, pp:515-529 [Conf]
  39. Pierre Marquis
    Novelty Revisited. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1991, pp:550-559 [Conf]
  40. Sébastien Konieczny, Pierre Marquis
    Three-Valued Logics for Inconsistency Handling. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:332-344 [Conf]
  41. Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
    Constrained Argumentation Frameworks. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:112-122 [Conf]
  42. Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis
    Representing Policies for Quantified Boolean Formulae. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:286-297 [Conf]
  43. Sylvie Coste-Marquis, Jérôme Lang, Paolo Liberatore, Pierre Marquis
    Expressive Power and Succinctness of Propositional Languages for Preference Representation. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:203-212 [Conf]
  44. Sylvie Coste-Marquis, Pierre Marquis
    Complexity Results for Paraconsistent Inference Relations. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:61-72 [Conf]
  45. Patricia Everaere, Sébastien Konieczny, Pierre Marquis
    On Merging Strategy-Proofness. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:357-368 [Conf]
  46. Hélène Fargier, Jérôme Lang, Pierre Marquis
    Propositional Logic and One-Stage Decision Making. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:445-456 [Conf]
  47. Sébastien Konieczny, Jérôme Lang, Pierre Marquis
    Distance Based Merging: A General Framework and some Complexity Results. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:97-108 [Conf]
  48. Jérôme Lang, Pierre Marquis
    In search of the right extension. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:625-636 [Conf]
  49. Jérôme Lang, Pierre Marquis
    Resolving Inconsistencies by Variable Forgetting. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:239-250 [Conf]
  50. Jérôme Lang, Pierre Marquis
    Complexity Results for Independence and Definability in Propositional Logic. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:356-367 [Conf]
  51. Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
    Inference from Controversial Arguments. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:606-620 [Conf]
  52. Adnan Darwiche, Pierre Marquis
    Compilation of propositional weighted bases. [Citation Graph (0, 0)][DBLP]
    NMR, 2002, pp:6-14 [Conf]
  53. Jérôme Amilhastre, Hélène Fargier, Pierre Marquis
    Consistency restoration and explanations in dynamic CSPs Application to configuration. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2002, v:135, n:1-2, pp:199-234 [Journal]
  54. Adnan Darwiche, Pierre Marquis
    Compiling propositional weighted bases. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2004, v:157, n:1-2, pp:81-113 [Journal]
  55. Sébastien Konieczny, Jérôme Lang, Pierre Marquis
    DA2 merging operators. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2004, v:157, n:1-2, pp:49-79 [Journal]
  56. Jérôme Lang, Paolo Liberatore, Pierre Marquis
    Conditional independence in propositional logic. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2002, v:141, n:1/2, pp:79-121 [Journal]
  57. Sylvie Coste-Marquis, Pierre Marquis
    On Stratified Belief Base Compilation. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2004, v:42, n:4, pp:399-442 [Journal]
  58. Pierre Marquis, Nadège Porquet
    Resource-Bounded Paraconsistent Inference. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2003, v:39, n:4, pp:349-384 [Journal]
  59. Adnan Darwiche, Pierre Marquis
    Compilation of Propositional Weighted Bases [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  60. Adnan Darwiche, Pierre Marquis
    A Knowledge Compilation Map. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2002, v:17, n:, pp:229-264 [Journal]
  61. Jérôme Lang, Paolo Liberatore, Pierre Marquis
    Propositional Independence: Formula-Variable Independence and Forgetting. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2003, v:18, n:, pp:391-443 [Journal]
  62. Pierre Marquis, Nadège Porquet
    Computational Aspects of Quasi-Classical Entailment. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2001, v:11, n:3-4, pp:295-312 [Journal]
  63. Sylvie Coste-Marquis, Pierre Marquis
    Knowledge Compilation for Closed World Reasoning and Circumscription. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:4, pp:579-607 [Journal]
  64. Éric Grégoire, Pierre Marquis
    Novelty in Deductive Databases. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:5, pp:683-708 [Journal]
  65. Jérôme Lang, Pierre Marquis
    Removing Inconsistencies in Assumption-based Theories Through Knowledge-Gathering Actions. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2001, v:67, n:2, pp:179-214 [Journal]
  66. Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis
    Extending Classical Planning to the Multi-agent Case: A Game-Theoretic Approach. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2007, pp:731-742 [Conf]
  67. Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis
    On the merging of Dung's argumentation systems. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2007, v:171, n:10-15, pp:730-753 [Journal]
  68. Patricia Everaere, Sébastien Konieczny, Pierre Marquis
    The Strategy-Proofness Landscape of Merging. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2007, v:28, n:, pp:49-105 [Journal]
  69. Olivier Bailleux, Pierre Marquis
    Some Computational Aspects of distance-sat. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:37, n:4, pp:231-260 [Journal]

  70. Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond. [Citation Graph (, )][DBLP]


  71. Knowledge Compilation in the Modal Logic S5. [Citation Graph (, )][DBLP]


  72. Introspective Forgetting. [Citation Graph (, )][DBLP]


  73. Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms. [Citation Graph (, )][DBLP]


  74. Propositional merging operators based on set-theoretic closeness. [Citation Graph (, )][DBLP]


  75. Extending the Knowledge Compilation Map: Closure Principles. [Citation Graph (, )][DBLP]


  76. Majority Merging: from Boolean Spaces to Affine Spaces. [Citation Graph (, )][DBLP]


  77. The Epistemic View of Belief Merging: Can We Track the Truth?. [Citation Graph (, )][DBLP]


  78. Merging Qualitative Constraints Networks Using Propositional Logic. [Citation Graph (, )][DBLP]


  79. A Model for Multiple Outcomes Games. [Citation Graph (, )][DBLP]


  80. Merging Qualitative Constraint Networks in a Piecewise Fashion. [Citation Graph (, )][DBLP]


  81. Knowledge Compilation Properties of Trees-of-BDDs, Revisited. [Citation Graph (, )][DBLP]


  82. Recovering Consistency by Forgetting Inconsistency. [Citation Graph (, )][DBLP]


  83. Conflict-Based Merging Operators. [Citation Graph (, )][DBLP]


  84. A Characterization of Optimality Criteria for Decision Making under Complete Ignorance. [Citation Graph (, )][DBLP]


  85. Aggregating Interval Orders by Propositional Optimization. [Citation Graph (, )][DBLP]


  86. On propositional definability. [Citation Graph (, )][DBLP]


  87. Reasoning under inconsistency: A forgetting-based approach. [Citation Graph (, )][DBLP]


  88. Disjunctive merging: Quota and Gmin merging operators. [Citation Graph (, )][DBLP]


Search in 0.055secs, Finished in 0.058secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002