Oct 20, 2020 Workshop


  • Seminar on Ontology alignment / Model checking and μ-calculus. By Armen Inants (LIG)
    • Ontology alignment: qualitative calculus, constraint-based reasoning on relations.
    • Model Checking: focus on linear time model checking complexity. 
      • Pending question: checking for an auctionneer is different from checking for a bidder
  • Discussion on Allocation mechanism and characteristics of an auction. Jerome Lang and Munyque Mittelmann
    • Auctionneer / central authority
    • Money
    • Procedures (for allocating and paying)
    • differences with matching and fair division

Auteur/autrice : Laurent Perrussel

Professor in Computer Science at University Toulouse Capitole / IRIT - Artificial Intelligence Dpt.