| 2008 |
|---|
| 18 | EE | Andreas Herzig,
Jérôme Mengin:
Uniform Interpolation by Resolution in Modal Logic.
JELIA 2008: 219-231 |
| 2004 |
|---|
| 17 | EE | Jérôme Mengin:
Logical Connectives for Nonmonotonicity: A Choice Function-Based Approach.
JELIA 2004: 452-461 |
| 16 | EE | Sylvie Doutre,
Jérôme Mengin:
On Sceptical Versus Credulous Acceptance for Abstract Argument Systems.
JELIA 2004: 462-473 |
| 15 | EE | Sylvie Doutre,
Jérôme Mengin:
On sceptical vs credulous acceptance for abstract argument systems.
NMR 2004: 134-139 |
| 2003 |
|---|
| 14 | EE | Claudette Cayrol,
Sylvie Doutre,
Jérôme Mengin:
On Decision Problems Related to the Preferred Semantics for Argumentation Frameworks.
J. Log. Comput. 13(3): 377-403 (2003) |
| 2002 |
|---|
| 13 | | Claudette Cayrol,
Sylvie Doutre,
Marie-Christine Lagasquie-Schiex,
Jérôme Mengin:
"Minimal defence": a refinement of the preferred semantics for argumentation frameworks.
NMR 2002: 408-415 |
| 12 | EE | Claudette Cayrol,
Sylvie Doutre,
Marie-Christine Lagasquie-Schiex,
Jérôme Mengin:
"Minimal defence": a refinement of the preferred semantics for argumentation frameworks
CoRR cs.AI/0207025: (2002) |
| 2001 |
|---|
| 11 | EE | Claudette Cayrol,
Sylvie Doutre,
Jérôme Mengin:
Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks.
ECSQARU 2001: 668-679 |
| 10 | EE | Sylvie Doutre,
Jérôme Mengin:
Preferred Extensions of Argumentation Frameworks: Query Answering and Computation.
IJCAR 2001: 272-288 |
| 9 | | Nic Wilson,
Jérôme Mengin:
Embedding Logics in the Local Computation Framework.
Journal of Applied Non-Classical Logics 11(3-4): 239-261 (2001) |
| 1999 |
|---|
| 8 | EE | Nic Wilson,
Jérôme Mengin:
Logical Deduction Using the Local Computation Framework.
ESCQARU 1999: 386-396 |
| 1998 |
|---|
| 7 | | Jérôme Mengin:
On the Logic of Exceptions.
ECAI 1998: 23-27 |
| 1995 |
|---|
| 6 | | Jérôme Mengin:
A Theorem Prover for Default Logic Based on Prioritized Conflict Resolution and an Extended Resolution Principle.
ECSQARU 1995: 301-310 |
| 1994 |
|---|
| 5 | | Jérôme Mengin:
Prioritized Conflict Resolution for Default Reasoning.
ECAI 1994: 376-380 |
| 4 | | Christine Froidevaux,
Jérôme Mengin:
Default Logics: A Unified View.
Computational Intelligence 10: 331-369 (1994) |
| 1993 |
|---|
| 3 | | Philippe Besnard,
Yves Moinard,
Wilmer Pereira,
Michael Clarke,
Nic Wilson,
Miguel Delgado,
Serafín Moral,
Juan Cano,
Didier Dubois,
Henri Prade,
Luis Fariñas del Cerro,
Jérôme Lang,
Stéphane Amarger,
John Fox,
Paul Krause,
Michael Dohnal,
Christine Froidevaux,
Jérôme Mengin,
Ramon López de Mántaras,
Lluis Godo,
E. H. Mamdani,
John Bigham,
Simon Parsons,
Rudolf Kruse,
Olivier Paillet,
Pierre Siegel,
Philippe Smets,
Yen-Teh Hsia,
Alessandro Saffiotti,
Robert Kennes,
Hong Xu,
Elizabeth Umkehrer,
Kurt Sundermeyer,
Chris Whitney:
DRUMS: Defeasible Reasoning and Uncertainty Management Systems.
AI Commun. 6(1): 27-46 (1993) |
| 1992 |
|---|
| 2 | | Christine Froidevaux,
Jérôme Mengin:
A Framework for Default Logics.
JELIA 1992: 154-173 |
| 1991 |
|---|
| 1 | | Christine Froidevaux,
Philippe Chatalic,
Jérôme Mengin:
Graded Default Logics.
ECSQARU 1991: 70-75 |
