Éric Grégoire

Pastorale sancti Gregorii pape.

Éric Grégoire

S. Grégoire. Moralia super Job, tome II.

Éric Grégoire, Pape

Boosting MCSes Enumeration

Éric Grégoire, Yacine Izza, Jean-Marie Lagniez

The enumeration of all Maximal Satisfiable Subsets (MSSes) or all Minimal Correction Subsets (MCSes) of an unsatisfiable CNF Boolean formula is a useful and sometimes necessary step for solving a variety of important A.I. issues. Although the number of different MCSes of …

fr (code pays fourni par la source)

On Admissible Consensuses

Éric Grégoire, Yacine Izza, Du Zhang

Consensus-finding is a ubiquitous paradigm in both A.I. and everyday life. Recently, a computational approach to consensus-finding has been introduced in the standard clausal Boolean logic framework. It captures non-contradictory fragments of the information conveyed by different agents such that these fragments …

mo, fr (code pays fourni par la source)

Preface

Éric Grégoire, Jean-Marie Lagniez, Du Zhang

mo, fr (code pays fourni par la source)

Boosting MCSes enumeration

Éric Grégoire, Yacine Izza, Jean-Marie Lagniez

International audience

fr (code pays fourni par la source)

On Admissible Consensuses

Éric Grégoire, Yacine Izza, Du Zhang

International audience

fr (code pays fourni par la source)

Consensus-finding that preserves mutually conflicting hypothetical information from a same agent

Éric Grégoire, Jean-Marie Lagniez

International audience

fr (code pays fourni par la source)

Consensus-finding that preserves mutually conflicting hypothetical information from a same agent

Éric Grégoire, Jean-Marie Lagniez, Du Zhang

A consensus among logically conflicting agents is defined as a subset of all the information conveyed by the agents such that this subset does not conflict with the information of any of the agents. Hopefully, each agent might be inclined to endorse …

mo, fr (code pays fourni par la source)

On Computing One Max_Subset Inclusion Consensus

Éric Grégoire, Yacine Izza, Jean-Marie Lagniez

The search for one consensus that reconciles several conflicting agents or information sources is a key paradigm in both everyday-life and A.I. In this paper, we improve a recent approach to consensus-finding that has been developed in the Boolean logic framework. In …

fr (code pays fourni par la source)

Conference on Control Engineering and Artificial Intelligence (CCEAI'17)

Éric Grégoire, Dejan Gjorgjevikj, Ah Chung Tsoi, Yong Ye

International audience

fr (code pays fourni par la source)

On Computing One Max_Subset Inclusion Consensus

Éric Grégoire, Yacine Izza, Jean-Marie Lagniez

International audience

fr (code pays fourni par la source)