9:00 - 9:20 Overview (Chitta) 9:30 - 10:30 From Logic Forms to ASP query answering (Marcello) 10:45 - 11:15 Reasoning about intentions 11:15 - 11:45 New reasoning methods (combining ASP and CSP, approximation algorithm for reasoning with incomplete information) 12:00 - 1:30 Lunch (if you do not mind we'll have it at my house) 1:45 - 2:45 Chitta and his students: Link grammar based effort at ASU. From travel modules to a theory of activity -- initial thoughts