Reasoning about Actions and Processes

Professors:Giuseppe De Giacomo
Credits:2.5
Range:B
Note:

Full description

Reasoning about Actions and Processes

given by 

Giuseppe De Giacomo

(also part of Knoledge Representation and Semantic Technlogies for MSc)

Preliminary program

  1. Logics for actions
  2. The Situation Calculus and the frame problem
  3. Executability and projection
  4. ConGolog programs over action theories and semantic services
  5. Advanced forms of reasoning about actions and verification
  6. Planning and synthesis

Tuesday, 15:45-19, via Ariosto 25, Room A3 and Thursday, 15:45-17:15, via Ariosto 25, Room A3

Days:

May 20, 22, 27, 2014 (4 hours each) - other lessons to be announced.

For more information please see http://www.dis.uniroma1.it/~rosati/krst/