ModelAge'95

General Meeting of Esprit WG 8319

Sophia-Antipolis, 22-24 Jan 1995

Programme

Sunday 22 January

• 9h30-12h : SG2 meeting
• 12h : welcome of participants & lunch at INRIA
• 14h - 16h30 : SG2 tutorial
  • 14h-14h30 Overview of the family of temporal & dynamic logics; application to the specification of objects and object societies by Jose Fiadeiro
  • 14h30-15h Deontic logic as a variant of dynamic logic by JJ Meyer
  • 15h-15h30 Recent research in the deontic logic of action by Roel Wieringa
  • 15h30-16h The modal logic of agency by Andrew Jones
  • 16h From Local to Global Temporal Specifications by Stefan Conrad
  • 16h20 Examples of intended applications overview of planned research topics, and requirements for a ModelAge logic of action. by G. Saake
• 16h30 - 17h : Break
• 17h - 18h15 : Preparation of the 1st open ModelAge Workshop (Jan 96)
• 19h : Dinner at IBIS Hotel
• 20h : SG3 meeting

  Monday 23 January

• 9h - 11h30 : SG1 tutorial (Revision and Defeasibility)
  • quick overview of non-monotonic logics
    • 9h Default logic, by Henry Prakken;
    • 9h20 Preferential logics by PY Schobbens;
    • 9h40 Priorities by M Ryan;
  • applications to agent modalities
    • 10h to deontics, by YH Tan & Leon vdT;
    • 10h30-11h: Break
    • 11h to epistemic and auto-epistemic modalities, by W van der Hoek;
    • 11h30 to action: the frame problem by M Shanahan;
  • 12h - 13h : Discussion on the theoretical model of agent
• 13h - 14h : Lunch at INRIA
• 14h15 - 16h30 : Tutorial SG3 (norms & organizations)
  • 14h15-15h Rosaria Conte: "The treatment of norms in modelling rational agents: cognitive issues"
  • 15h-15h45 Marek Sergot: "Norm-Governed and Institutionalised Agent Interaction: Part I"
  • 15h45-16h30 Andrew Jones: "Norm-Governed and Institutionalised Agent Interaction: Part II"
  • 16h30 - 17h : Break
  • 17h - 18h15 : Discussion on SG3
• 19h : Dinner at IBIS Hotel

  Tuesday 24 January

• 9h - 11h : Tutorial SG4 (agents in the software development process)
  • 9h Requirements engineering overview by Eric Dubois / Philippe du Bois (Namur)
  • 10h Modularisation of software specifications by Jose Fiadeiro (FCUL, Lisbon)
  • 11h Modelling systems as a collection of cooperating agents. by Gunter Saake (TU-Magdeburg)
• 13h - 14h : Lunch at INRIA
• 14h - 16h : Tutorial SG5
  • 14:00-14:10: General Overview (Nejdl)
  • 14:10-14:35: Generic agents for multiple problem classes in knowledge acquisition (Dieng)
  • 14:35-15:00: Strategic Social Knowledge in Multi-Agent Systems (Cesta)
  • 15:00-15:25: Strategic Knowledge in Model-based Diagnosis Systems (Nejdl)
  • 15:25-16:00: Holonic Agents and Holonic Manufacturing (Herath) / Knowledge Structures, Congestion Modelling and Distributed Routing (Fletcher)
  • 16h - 16h30 : Tea Break
  • 16h30 - 17h : Discussion about SG5
• 17h - 19h : ModelAge board
• 19h30 : Dinner at IBIS Hotel (for those who remain for the night in Sophia-Antipolis) or Transportation to Juan-les-Pins for those registered to COOP-95

  Wednesday 25 January

• 9h-13h SG1 meeting