Concepedia

Vincent Risch

VR

4

Publications

118

Citations

4

H-Index

1994

Active since

Affiliations

Western University(Current)

Vincent Risch is an author at Western University specializing in formal methods, automated reasoning, and computer science.

Top concepts

Publications per year

1994–2012

4

Publications

4

Bipolar Argumentation Frameworks with Specialized Supports

Farid Nouioua, Vincent Risch · 2010 · 47 citations

Tableau-based characterization and theorem proving for default logic

Vincent Risch, Camilla Schwind · Journal of Automated Reasoning · 1994 · 41 citations

, , +7

Analytic tableaux for default logics

Vincent Risch · Journal of Applied Non-Classical Logics · 1996 · 20 citations

, , +12

HANDLING PREFERENCES IN ARGUMENTATION FRAMEWORKS WITH NECESSITIES

Imane Boudhar, Farid Nouioua, Vincent Risch · 2012 · 10 citations · Full text

, , +7

Rows per page

1–4 of 4