Vincent Risch

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 6

Top Topics

Epistemic States

Gene Regulation

Nonmonotonic Reasoning

Sequent Calculus

Top Venues

Advances in Modal Logic

ICLP Technical Communications

Rev. Symb. Log.

Publications

Pierre Siegel, Andrei Doncescu, Vincent Risch, Sylvain Sené
Representation of gene regulation networks by hypothesis logic-based Boolean systems. J. Supercomput. 79 (4) (2023)
José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu
An Implementation of a Non-monotonic Logic in an Embedded Computer for a Motor-glider. ICLP Technical Communications (2019)
José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu
A Resilient Behavior Approach Based on Non-monotonic Logic. MICAI (2019)
Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch
Conditional Beliefs: from neighbourhood Semantics to Sequent Calculus. Rev. Symb. Log. 11 (4) (2018)
José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu
Intelligent and Adaptive System based on a Non-monotonic Logic for an Autonomous Motor-glider. ICARCV (2018)
Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch
The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus. Advances in Modal Logic (2016)
Imane Boudhar, Farid Nouioua, Vincent Risch
Handling Preferences in Argumentation Frameworks with Necessities. ICAART (1) (2012)
Farid Nouioua, Vincent Risch
A Reconstruction of Abstract Argumentation Admissible Semantics into Defaults and Answer Sets Programming. ICAART (1) (2012)
Farid Nouioua, Vincent Risch
Argumentation Frameworks with Necessities. SUM (2011)
Farid Nouioua, Vincent Risch
Bipolar Argumentation Frameworks with Specialized Supports. ICTAI (1) (2010)
Geoffroy Aubry, Vincent Risch
Managing Deceitful Arguments with X-Logics. ICTAI (2006)
Geoffroy Aubry, Vincent Risch
Toward a Logical Tool for Generating New Arguments in an Argumentation Based Framework. ICTAI (2005)
Robert E. Mercer, Vincent Risch
Properties of maximal cliques of a pair-wise compatibility graph for three nonmonotonic reasoning system. Answer Set Programming (2003)
James P. Delgrande, Mona Gharib, Robert E. Mercer, Vincent Risch, Torsten Schaub
Lukaszewicz-style Answer Set Programming: A Preliminary Report. Answer Set Programming (2003)
Robert E. Mercer, Lionel Forget, Vincent Risch
Comparing a Pair-Wise Compatibility Heuristic and Relaxed Stratification: Some Preliminary Results. ECSQARU (2001)
Lionel Forget, Vincent Risch, Pierre Siegel
Preferential Logics are X-logics. J. Log. Comput. 11 (1) (2001)
Vincent Risch
Analytic Tableaux for Default Logics. J. Appl. Non Class. Logics 6 (1) (1996)
Vincent Risch
Yet Some More Considerations On Cumulativity In Default Logics. ECSQARU (1995)
Vincent Risch, Camilla Schwind
Tableaux-Based Characterization and Theorem Proving for default Logic. J. Autom. Reason. 13 (2) (1994)
Vincent Risch, Camilla Schwind
Tableaux-Based Theorem Proving and Non-Standard Reasoning. TABLEAUX (1992)
Camilla Schwind, Vincent Risch
A Tableau-Based Characterisation for Default Logic. ECSQARU (1991)