Concepedia

Jean-Marie Lagniez

JL

18

Publications

454

Citations

14

H-Index

2009

Active since

Affiliations

Université d'Artois(Current)

Centre National de la Recherche Scientifique

Centre de Recherche en Informatique

Institut Universitaire de France

Jean-Marie Lagniez is an author at Université d'Artois specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsData ScienceFormal VerificationModel CountingKnowledge DiscoveryData MiningMachine Learning

Publications per year

2009–2022

18

Publications

18

An Improved Decision-DNNF Compiler

Jean-Marie Lagniez, Pierre Marquis · 2017 · 98 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +20

CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver

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

Engineering, Argumentation Techniques, Semantics +16

An Experimentally Efficient Method for (MSS,CoMSS) Partitioning

Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure · Proceedings of the AAAI Conference on Artificial Intelligence · 2014 · 41 citations · Full text

Cluster Computing, Engineering, Boolean Function +24

On the explanatory power of Boolean decision trees

Gilles Audemard, Steve Bellart, Louènas Bounia et al. · Data & Knowledge Engineering · 2022 · 34 citations · Full text

Engineering, Boolean Function, Data Mining +7

Preprocessing for Propositional Model Counting

Jean-Marie Lagniez, Pierre Marquis · Proceedings of the AAAI Conference on Artificial Intelligence · 2014 · 31 citations · Full text

Propositional Model Counting, Backbone Identification, Engineering +16

Rows per page

1–5 of 18