Vincent Risch

发表

Farid Nouioua, Vincent Risch, 2010, 2010 22nd IEEE International Conference on Tools with Artificial Intelligence.

Andrei Doncescu, Vincent Risch, Pierre Siegel, 2018, 2018 15th International Conference on Control, Automation, Robotics and Vision (ICARCV).

Nicola Olivetti, Sara Negri, Vincent Risch, 2016, Advances in Modal Logic.

Vincent Risch, Pierre Siegel, Lionel Forget, 2001, J. Log. Comput..

Farid Nouioua, Vincent Risch, Imane Boudhar, 2012, ICAART.

Vincent Risch, 1996, J. Appl. Non Class. Logics.

Andrei Doncescu, Vincent Risch, Pierre Siegel, 2019, ICLP Technical Communications.

Andrei Doncescu, Vincent Risch, Pierre Siegel, 2019, MICAI.

Camilla Schwind, Vincent Risch, 1992, TABLEAUX.

Nicola Olivetti, Sara Negri, Vincent Risch, 2018, The Review of Symbolic Logic.

Camilla Schwind, Vincent Risch, C. Schwind, 1994, Journal of Automated Reasoning.

Farid Nouioua, Vincent Risch, 2011, SUM.

Vincent Risch, Geoffroy Aubry, V. Risch, 2005, 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05).

Vincent Risch, Geoffroy Aubry, 2006, 2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06).

Camilla Schwind, Vincent Risch, C. Schwind, 1991, ECSQARU.

Robert E. Mercer, Torsten Schaub, James P. Delgrande, 2003, Answer Set Programming.