 | 2006 |
|---|
| 11 |       | Geoffroy Aubry,
Vincent Risch:
Managing Deceitful Arguments with X-Logics.
ICTAI 2006: 216-219 |
| 2005 |
|---|
| 10 | | Geoffroy Aubry,
Vincent Risch:
Toward a Logical Tool for Generating New Arguments in an Argumentation Based Framework.
ICTAI 2005: 599-603 |
| 2003 |
|---|
| 9 | | James P. Delgrande,
M. Gharib,
Robert E. Mercer,
Vincent Risch,
Torsten Schaub:
Lukaszewicz-style Answer Set Programming: A Preliminary Report.
Answer Set Programming 2003 |
| 8 | | Robert E. Mercer,
Vincent Risch:
Properties of maximal cliques of a pair-wise compatibility graph for three nonmonotonic reasoning system.
Answer Set Programming 2003 |
| 2001 |
|---|
| 7 | | Robert E. Mercer,
Lionel Forget,
Vincent Risch:
Comparing a Pair-Wise Compatibility Heuristic and Relaxed Stratification: Some Preliminary Results.
ECSQARU 2001: 580-591 |
| 6 | | Lionel Forget,
Vincent Risch,
Pierre Siegel:
Preferential Logics are X-logics.
J. Log. Comput. 11(1): 71-83 (2001) |
| 1996 |
|---|
| 5 |  | Vincent Risch:
Analytic Tableaux for Default Logics.
Journal of Applied Non-Classical Logics 6(1): (1996) |
| 1995 |
|---|
| 4 | | Vincent Risch:
Yet Some More Considerations On Cumulativity In Default Logics.
ECSQARU 1995: 364-378 |
| 1994 |
|---|
| 3 | | Vincent Risch,
Camilla Schwind:
Tableaux-Based Characterization and Theorem Proving for default Logic.
J. Autom. Reasoning 13(2): 223-242 (1994) |
| 1992 |
|---|
| 2 | | Vincent Risch,
Camilla Schwind:
Tableaux-Based Theorem Proving and Non-Standard Reasoning.
TABLEAUX 1992: 76-78 |
| 1991 |
|---|
| 1 | | Camilla Schwind,
Vincent Risch:
A Tableau-Based Characterisation for Default Logic.
ECSQARU 1991: 310-317 |
