Pierre Pomeret-Coquot

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Autonomous Agents

Dempster Shafer

Incomplete Information

Top Venues

Int. J. Approx. Reason.

Publications

Pierre Pomeret-Coquot, Hélène Fargier, Érik Martin-Dorel
Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant. ITP (2023)
Pierre Pomeret-Coquot, Hélène Fargier, Érik Martin-Dorel
Games of incomplete information: A framework based on belief functions. Int. J. Approx. Reason. 151 (2022)
Hélène Fargier, Érik Martin-Dorel, Pierre Pomeret-Coquot
Games of Incomplete Information: A Framework Based on Belief Functions. ECSQARU (2021)