UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
admin
Temporal Reasoning
Publications (2)
Action Languages, Temporal Action Logics and the Situation Calculus
1999
Enrico Giunchiglia and Vladimir Lifschitz
Representing Action: Indeterminacy and Ramifications
1997
Enrico Giunchiglia, G. Neelakantan Kartha and Vladimir Lifschitz
Labs
Texas Action Group