Vincent Risch

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