Vincent Risch

According to our database, Vincent Risch authored at least 24 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Introduction (EN).

Odile Papini, Vincent Risch

Rev. Ouverte Intell. Artif., 2024

Introduction (FR).

Odile Papini, Vincent Risch

Rev. Ouverte Intell. Artif., 2024

ASP : un devenir de Prolog.

Belaïd Benhamou, Vincent Risch, Éric Würbel

Rev. Ouverte Intell. Artif., 2024

2023

Representation of gene regulation networks by hypothesis logic-based Boolean systems.

Pierre Siegel, Andrei Doncescu, Vincent Risch, Sylvain Sené

J. Supercomput., March, 2023

2019

An Implementation of a Non-monotonic Logic in an Embedded Computer for a Motor-glider.

José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

A Resilient Behavior Approach Based on Non-monotonic Logic.

José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu

Proceedings of the Advances in Soft Computing, 2019

2018

Conditional Beliefs: from neighbourhood Semantics to Sequent Calculus.

Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch

Rev. Symb. Log., 2018

Intelligent and Adaptive System based on a Non-monotonic Logic for an Autonomous Motor-glider.

José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu

Proceedings of the 15th International Conference on Control, 2018

2016

The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus.

Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch

Proceedings of the Advances in Modal Logic 11, 2016

2012

A Reconstruction of Abstract Argumentation Admissible Semantics into Defaults and Answer Sets Programming.

Farid Nouioua, Vincent Risch

Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012

Handling Preferences in Argumentation Frameworks with Necessities.

Imane Boudhar, Farid Nouioua, Vincent Risch

Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012

2011

Argumentation Frameworks with Necessities.

Farid Nouioua, Vincent Risch

Proceedings of the Scalable Uncertainty Management - 5th International Conference, 2011

2010

Bipolar Argumentation Frameworks with Specialized Supports.

Farid Nouioua, Vincent Risch

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

2006

Managing Deceitful Arguments with X-Logics.

Geoffroy Aubry, Vincent Risch

Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

2005

Toward a Logical Tool for Generating New Arguments in an Argumentation Based Framework.

Geoffroy Aubry, Vincent Risch

Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 2005

2003

Properties of maximal cliques of a pair-wise compatibility graph for three nonmonotonic reasoning system.

Robert E. Mercer, Vincent Risch

Proceedings of the Answer Set Programming, 2003

Lukaszewicz-style Answer Set Programming: A Preliminary Report.

James P. Delgrande, Mona Gharib, Robert E. Mercer, Vincent Risch, Torsten Schaub

Proceedings of the Answer Set Programming, 2003

2001

Preferential Logics are X-logics.

Lionel Forget, Vincent Risch, Pierre Siegel

J. Log. Comput., 2001

Comparing a Pair-Wise Compatibility Heuristic and Relaxed Stratification: Some Preliminary Results.

Robert E. Mercer, Lionel Forget, Vincent Risch

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

1996

Analytic Tableaux for Default Logics.

Vincent Risch

J. Appl. Non Class. Logics, 1996

1995

Yet Some More Considerations On Cumulativity In Default Logics.

Vincent Risch

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

1994

Tableaux-Based Characterization and Theorem Proving for default Logic.

Vincent Risch, Camilla Schwind

J. Autom. Reason., 1994

1992

Tableaux-Based Theorem Proving and Non-Standard Reasoning.

Vincent Risch, Camilla Schwind

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

1991

A Tableau-Based Characterisation for Default Logic.

Camilla Schwind, Vincent Risch

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991