- 4
- 2
Érik Martin-Dorel
6
Documents
Identifiants chercheurs
erik-martin-dorel-
0000-0001-9716-9491
- IdRef : 164762299
Présentation
Brought to you by HAL.
Brought to you by HAL.
Publications
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 6
- 1
- 2
- 2
- 2
|
|
Games of Incomplete Information: a Framework Based on Belief FunctionsInternational Journal of Approximate Reasoning, 2022, 151, pp.182-204. ⟨10.1016/j.ijar.2022.09.010⟩
Article dans une revue
hal-03658700v2
|
|
|
Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Bialystok, Poland. ⟨10.4230/LIPICS.ITP.2023.25⟩
Communication dans un congrès
hal-04269882v1
|
Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof AssistantEcole Jeunes Chercheuses et Chercheurs en Informatique Mathématique, Maison de la Modélisation, de la Simulation et des Interactions [MSI], Jun 2022, Nice, France
Communication dans un congrès
hal-03709703v1
|
|
|
|
Games of Incomplete Information: A Framework Based on Belief Functions16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021), Sep 2021, Prague, Czech Republic. pp.328-341, ⟨10.1007/978-3-030-86772-0_24⟩
Communication dans un congrès
hal-03382397v1
|
|
|
Jeux incomplets algébriquesRencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2021) @ Plate-Forme Intelligence Artificielle (PFIA 2021), Jul 2021, Bordeaux, France. pp.46-53
Communication dans un congrès
hal-03298722v1
|
|
|
Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant2023
Pré-publication, Document de travail
hal-03782650v2
|