Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch, 2018,
Conditional Beliefs: from neighborhood Semantics to Sequent Calculus. [bib]
Review of Symbolic Logic, Vol. 11, No. 4, p. 736-779.
Lionel Forget, Vincent Risch, Pierre Siegel, 2001,
Preferential Logics Are X-logics. [bib]
Journal of Logic and Computation, Vol. 11, No. 1, février 2001, p. 71-83.
Vincent Risch, 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.
Vincent Risch, Camilla Schwind, 1994,
Tableau-Based Characterization and Theorem Proving for Default Logic. [bib]
Journal of Automated Reasoning, Vol. 13, No. 2, october 1994, p. 223-242.
Vincent Risch, 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.
José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu, 2018,
Intelligent and Adaptive System based on a Non-monotonic Logic for an Autonomous Motorglider. [bib]
Proceedings of the 15th International Conference on Control, Automation, Robotics and Vision, ICARCV-2018, Singapore, November 18-21, 2018, IEEE Computer Society, p. 442-447.
Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch, 2016,
The Logic of Conditional Beliefs: Neighborhood Semantics and Sequent Calculus. [bib]
Proceedings of the 11th Conference on "Advances in Modal Logics", AIML-2016, Budapest, Hungary, August 30-September 2, 2016, College Publications 2016, p. 322-341.
Imane Boudhar, Farid Nouioua, Vincent Risch, 2012,
Handling Preferences in Argumentation Frameworks with Necessities. [bib]
Proceedings of the 4th International Conference on Agents and Artificial Intelligence, ICAART-2012, Vilamoura, Algarve, Portugal, February 6-8, 2012.
Farid Nouioua, Vincent Risch, 2012,
A Reconstruction of Abstract Argumentation Admissible Semantics into Defaults and Answer Sets Programming. [bib]
Proceedings of the 4th International Conference on Agents and Artificial Intelligence, ICAART-2012, Vilamoura, Algarve, Portugal, 6-8 February 2012.
Farid Nouioua, Vincent Risch, 2012,
Cadres Argumentatifs avec Nécessités. [bib]
Actes du dix-huitième congrés francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle, RFIA'2012, Lyon, 25-27 Janvier 2012.
Farid Nouioua, Vincent Risch, 2011,
Argumentation Frameworks with Necessities. [bib]
Proceedings of 5th International Conference on Scalable Uncertainty Management, SUM 2011, Dayton, OH, USA, October 10-13 2011, Lecture Notes in Computer Science 6929, Benferhat S. and Grant J. (Eds.), Springer-Verlag, p. 163-176.
Farid Nouioua, Vincent Risch, 2011,
Reconstruction de la sémantique d'admissibilité en défauts et programmation logique. [bib]
Actes des Journées nationales d'Intelligence Artificielle Fondamentale, JIAF'11, Lyon, 8-10 Juin 2011.
Farid Nouioua, Vincent Risch, 2010,
Bipolar Argumentation Frameworks with Specialized Supports. [bib]
22nd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2010, Arras, France, 27-29 October 2010, IEEE Computer Society, Volume 1, p. 215-218.
Geoffroy Aubry, Vincent Risch, 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.
Geoffroy Aubry, Vincent Risch, 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.
Geoffroy Aubry, Vincent Risch, 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.
Robert E. Mercer, Vincent Risch, 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.
Vincent Risch, 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.
Camilla Schwind, Vincent Risch, 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.
Vincent Risch, 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.
Pierre Siegel, Andrei Doncescu, Vincent Risch, Sylvain Sené, 2018
Toward a Boolean dynamical system representation into a nonmonotonic modal logic: application to genetic networks. [bib] [pdf]
Proceedings of the 17th International Workshop on Nonmonotonic Reasoning, NMR 2018, October 27-29, 2018, Tempe, Arizona, USA, Eduardo Fermé & Serena Villata (Eds.), p. 53-62.
Vincent Risch, 2015
X-logics based multivalued reasoning for dialogical agents (ongoing work). [bib]
2nd Madeira Workshop on Belief Revision and Argumentation, BRA 2015, February 9-15, 2015, Madeira, Portugal.
Farid Nouioua, Vincent Risch, 2010,
Mapping iota-Answer Sets with Maximal Conflict-free Sets of Arguments [bib]
Proceedings of the first Workshop on Argumentation in Artificial Intelligence and Philosophy : computational and philosophical perspectives, ARGAIP'10, Brescia, Italy, 1-3 December 2010.
Geoffroy Aubry, Vincent Risch, 2006,
Managing Deceitful Arguments with X-logics. [bib] [pdf]
Proceedings of the 11th International Workshop on Nonmonotonic Reasoning, NMR 2006, May 30-june 1st, 2006,
Lake District, UK,IfI Technical Report Series, Dix J. & Hunter A. (Eds.), ISSN 1860-8477, p. 418-425.
James Delgrande, Mona Gharib, Robert E. Mercer, Vincent Risch, Torsten Schaub, 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.
Robert E. Mercer, Vincent Risch, 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.
Vincent Risch, 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.
Vincent Risch, 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.
Vincent Risch, 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.
Farid Nouioua, Vincent Risch, 2011,
Hints for a Reconstruction of Abstract Argumentation Admissible Semantics into Defaults and Answer Sets Programming. [bib]
5th International Conference on Scalable Uncertainty Management, SUM 2011, Dayton, OH, USA, October 10-13 2011, poster.
Vincent Risch, 1997,
Cumulative Default Theories vs Non-cumulative Default Logics. [bib] [pdf] [ps.gz]
IJCAI-97, Nagoya, Japon.
Vincent Risch, 1994,
Retour Sur Les Logiques de Défauts Cumulatives. [bib]
Actes des secondes Rencontres des Jeunes Chercheurs en Intelligence Artificielle, RJCIA'94, Marseille, France.
Vincent Risch, 1993,
An Alternative Characterisation for Lukaszewicz's Variant of Default Logic. [bib]
AISB'93, United Kingdom.