Jean-Vincent Loddo

Learn More
We introduce a semantics of Logic Programming based on classical Game Theory, which is proven to be sound and complete w.r.t. traditional semantics like the minimum Herbrand model and the s-semantics. This AND compositional game semantics allows a very simple characterization of the solution set of a logic program in term of approximations of the value of(More)
A virtual network laboratory -allowing to emulate a physical network of computers and network devices such as switches or routers <i>in software</i>- represents a valuable tool for students, and may also be useful to researchers and system administrators. A tool of this kind, particularly if it aims at being usable by inexperienced students, should offer(More)
A virtual network laboratory —allowing to emulate a physical network of computers and network devices such as switches or routers in software— represents a valuable tool for students, and may also be useful to researchers and system administrators. A tool of this kind, particularly if it aims at being usable by inexperienced students , should offer the same(More)
Technical learning is generally twofold: theory, that presents the new notions, and practical activities, where skills are trained. Distance education (MOOC, SPOC and eLearning classes) benefits from a very large variety of formats to deliver theoretical contents: videos, interactive animations, text... However, some practical activities require specific(More)
  • 1