Gale Simon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2002–2019
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ICAART | Using Proof Failures to Help Debugging MAS. | Bruno Mermet, Gale Simon |
| 2016 | ECAI | Formal Verification of Ethical Properties in Multiagent Systems. | Bruno Mermet, Gale Simon |
| 2015 | AAAI | Dealing with Ethical Conflicts in Autonomous Agents and Multi-Agent Systems. | Aline Belloni, Alain Berger, Olivier Boissier, Grgory Bonnet, Gauvain Bourgne, Pierre-Antoine Chardel, Jean-Pierre Cotton, Nicolas Evreux, Jean-Gabriel Ganascia, Philippe Jaillon, Bruno Mermet, Gauthier Picard, Bernard Rever, Gale Simon, Thibault de Swarte, Catherine Tessier, Franois Vexler, Robert Voyer, Antoine Zimmermann |
| 2015 | ICSoft | Using GDT4MAS as a Formal Support for Engineering Multi-Agents Systems. | Bruno Mermet, Gale Simon |
| 2013 | IDC | A New Proof System to Verify GDT Agents. | Bruno Mermet, Gale Simon |
| 2003 | ISMIS | Using the SPACE Intermediate Model to Help to Implement Agents. | Dominique Fournier, Bruno Mermet, Gale Simon, Marianne Flouret |
| 2002 | AIMSA | A Methodology to Solve Optimisation Problems with MAS Application to the Graph Colouring Problem. | Gale Simon, Marianne Flouret, Bruno Mermet |