List of publications


Journals:

Forget, L. Risch V., Siegel P., 2001,
Preferential Logics Are X-logics. [bib]
Journal of Logic and Computation, Vol. 11, No. 1, février 2001, p. 71-83.

Risch V., 1996,
Analytic Tableaux for Default Logics. [bib]
Journal of Applied Non-Classical Logics, special issue 1993 AAAI Fall Symposium on Automated Deduction in Non-Standard Logics, Vol. 6, No 1, p. 71-88.

Risch V., Schwind C., 1994,
Tableau-Based Characterization and Theorem Proving for Default Logic. [bib]
Journal of Automated Reasoning, Vol. 13, No. 2, october 1994, p. 223-242.

Risch V., 1993,
Une Caractérisation en Termes de Tableaux Sémantiques pour la Logique des Défauts au Sens de Lukaszewicz. [bib]
Revue d'Intelligence Artificielle, Vol. 7, 1, may 1993, Hermès, p. 95-123.


Conferences:

Aubry G., Risch V., 2006,
Managing Deceitful Arguments with X-logics. [bib]
Proceedings of the 18th IEEE International Conference with Tools for Artificial Intelligence, ICTAI 2006, Washington D.C., U.S.A., 13-15 novembre 2006, IEEE Computer Society, p.216-219.

Aubry G., Risch V., 2006,
Génération d'arguments au sein d'un système argumentatif. [bib]
Actes du 15ème congrés AFRIR-AFIA "Reconnaissance des Formes et Intelligence Artificielle", RFIA'06, Tours, France.

Aubry G., Risch V., 2005,
Toward a Logical Tool for Generating New Arguments in an Argumentation-Based Framework. [bib]
Proceedings of the 17th IEEE International Conference with Tools for Artificial Intelligence, ICTAI 2005, Hong-Kong, China, 14-16 novembre 2005, IEEE Computer Society, p. 599-603.

Mercer R., Risch V., 2001
Comparing a Pair-Wise Compatibility Heuristic and Relaxed Stratification: Some Preliminary Results. [bib]
Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning ans Uncertainty, ECSQARU'2001, Toulouse, France, Lecture Notes in Artificial Intelligence 2143, Benferhat S. & Besnard P. (Eds.), Springer-Verlag, p. 580-591.

Risch V., 1995,
Yet Some More Considerations on Cumulativity in Default Logics. [bib]
Proceedings of the third European Conference on Symbolic and Quantitative Approaches to Reasoning ans Uncertainty, ECSQARU'1995, Fribourg, Swiss, Lecture Notes in Artificial Intelligence 946, Froidevaux C. & Kohlas J. (Eds.), Springer Verlag, p. 364-378.

Schwind C., Risch V., 1991,
A Tableau-Based Characterization for Default Logic. [bib]
Proceedings of the European Conference on Symbolic and Quantitative Approaches for Uncertainty, ECSQARU'1991, Marseilles, France, Lecture Notes in Computer Science 548, Kruse R. & Siegel P. (Eds.), Springer Verlag, p. 310-317.

Risch V., 1991,
Démonstration à Base de Tableaux Sémantiques pour la Logique des Défauts au sens de Lukaszewicz. [bib]
Actes du 8ème congrés AFCET "Reconnaissance des Formes et Intelligence Artificielle", RFIA'91, Lyon, France, p. 355-361.


Workshops:

Aubry G., Risch V., 2006,
Managing Deceitful Arguments with X-logics. [bib] [pdf]
Proceedings of the 11th International Workshop on Nonmonotonic Reasoning, may 30-june 1st, 2006, Lake District, UK,IfI Technical Report Series, Dix J. & Hunter A. (Eds.), ISSN 1860-8477, p. 418-425.

Delgrande J., Gharib M., Mercer R., Risch V., Schaub T., 2003,
Lukaszewicz-style Answer Set Programming: A Preliminary Report. [bib]
Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28, 2003, Marina De Vos & Alessandro Provetti (Eds.), CEUR Workshop Proceedings, vol.23.

Mercer R., Risch V., 2003,
Properties of maximal cliques of a pair-wise compatibility graph for three nonmonotonic reasoning system. [bib]
Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28, 2003, Marina De Vos & Alessandro Provetti (Eds.), CEUR Workshop Proceedings, vol.23.

Risch V., 1996,
Cumulative Default Theories vs Non-cumulative Default Logics. [bib] [pdf] [ps.gz]
Proceedings of the Sixth International Workshop on Nonmonotonic Reasoning, june 9-11, 1996, Timberline, Oregon, p. 116-122.

Risch V., 1994,
Cumulative Default Logics Revisited. [bib] [pdf]
Proceedings of the workshop ``Logic and Change'', 11th European Conference on Artificial Intelligence, ECAI'94, Amsterdam, p. 111-124.

Risch V., 1993,
Analytic Tableaux for Default Logics. [bib]
Fall Symposium Series AAAI, october 22-24, 1993, Sheraton Imperial Convention Center, Raleigh, North-Carolina, p. 149-155.


Posters, Panels

Risch V., 1997,
Cumulative Default Theories vs Non-cumulative Default Logics. [bib] [pdf] [ps.gz]
IJCAI-97, Nagoya, Japon.

Risch V., 1994,
Retour Sur Les Logiques de Défauts Cumulatives. [bib]
Actes des secondes Rencontres des Jeunes Chercheurs en Intelligence Artificielle, RJCIA'94, Marseille, France.

Risch V., 1993,
An Alternative Characterisation for Lukaszewicz's Variant of Default Logic. [bib]
AISB'93, United Kingdom.