Concepedia

Jean-Guy Mailly

JM

9

Publications

347

Citations

9

H-Index

2014

Active since

Affiliations

Université Paris Cité(Current)

Centre de Recherche en Informatique

University of Cyprus

Jean-Guy Mailly is an author at Université Paris Cité specializing in computer science, automated reasoning, and engineering.

Top concepts

EngineeringArgument MiningComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationLanguageVerificationSemanticsArgumentation

Publications per year

2014–2021

9

Publications

9

On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses

Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2014 · 84 citations

Engineering, Argumentation Analysis, Verification +21

Constraints and changes: A survey of abstract argumentation dynamics

Sylvie Doutre, Jean-Guy Mailly · Argument & Computation · 2018 · 64 citations · Full text

Extension Enforcement in Abstract Argumentation as an Optimization Problem

Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2015 · 44 citations

Mathematical Programming, Engineering, Argumentation Analysis +17

CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver

Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly · 2015 · 43 citations

Engineering, Argumentation Techniques, Semantics +16

Control Argumentation Frameworks

Yannis Dimopoulos, Jean-Guy Mailly, Pavlos Moraı̈tis · Proceedings of the AAAI Conference on Artificial Intelligence · 2018 · 38 citations · Full text

Engineering, Argumentation Analysis, Argumentation Framework +12

Rows per page

1–5 of 9