Vincent Risch - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2023

Representation of gene regulation networks by hypothesis logic-based Boolean systemsPierre Siegel, Andrei Doncescu, Vincent Risch, Sylvain Sené. tjs, 79(4):4556-4581, March 2023. [doi]

2019

A Resilient Behavior Approach Based on Non-monotonic LogicJosé Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu. micai 2019: 403-413 [doi]

2018

Conditional Beliefs: from neighbourhood Semantics to Sequent CalculusMarianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch. rsl, 11(4):736-779, 2018. [doi]

Intelligent and Adaptive System based on a Non-monotonic Logic for an Autonomous Motor-gliderJosé Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu. icarcv 2018: 442-447 [doi]

2016

The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent CalculusMarianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch. aiml 2016: 322-341 [doi]

2012

Handling Preferences in Argumentation Frameworks with NecessitiesImane Boudhar, Farid Nouioua, Vincent Risch. icaart 2012: 340-345

A Reconstruction of Abstract Argumentation Admissible Semantics into Defaults and Answer Sets ProgrammingFarid Nouioua, Vincent Risch. icaart 2012: 237-242

2011

Argumentation Frameworks with NecessitiesFarid Nouioua, Vincent Risch. sum 2011: 163-176 [doi]

2010

Bipolar Argumentation Frameworks with Specialized SupportsFarid Nouioua, Vincent Risch. ictai 2010: 215-218 [doi]

2006

Managing Deceitful Arguments with X-LogicsGeoffroy Aubry, Vincent Risch. ictai 2006: 216-219 [doi]

2005

Toward a Logical Tool for Generating New Arguments in an Argumentation Based FrameworkGeoffroy Aubry, Vincent Risch. ictai 2005: 599-603 [doi]

2003

Lukaszewicz-style Answer Set Programming: A Preliminary ReportJames P. Delgrande, M. Gharib, Robert E. Mercer, Vincent Risch, Torsten Schaub. asp 2003: [doi]

Properties of maximal cliques of a pair-wise compatibility graph for three nonmonotonic reasoning systemRobert E. Mercer, Vincent Risch. asp 2003: [doi]

2001

Preferential Logics are X-logicsLionel Forget, Vincent Risch, Pierre Siegel. logcom, 11(1):71-83, 2001. [doi]

Comparing a Pair-Wise Compatibility Heuristic and Relaxed Stratification: Some Preliminary ResultsRobert E. Mercer, Lionel Forget, Vincent Risch. ecsqaru 2001: 580-591 [doi]

1996

Analytic Tableaux for Default LogicsVincent Risch. jancl, 6(1):71-88, 1996.

1995

Yet Some More Considerations On Cumulativity In Default LogicsVincent Risch. ecsqaru 1995: 364-378

1994

Tableaux-Based Characterization and Theorem Proving for default LogicVincent Risch, Camilla Schwind. JAR, 13(2):223-242, 1994.

1992

Tableaux-Based Theorem Proving and Non-Standard ReasoningVincent Risch, Camilla Schwind. tableaux 1992: 76-78

1991

A Tableau-Based Characterisation for Default LogicCamilla Schwind, Vincent Risch. ecsqaru 1991: 310-317

Sign in or sign up to see more results.

runs on WebDSL