David Villard

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
The DebateWEL G.U.I. allows two players to exchange logical formulas and enthymemes in a persuasion debate game. DebateWEL protocol, described in [1], ensures consistency of each player with respect to himself and common-knowledge thanks to a SAT solver [2] which is called directly from the SAToulouse interface [3]. The game ends either because the players(More)
  • 1