Title: Challenges for Action Theories
Subjects: Formal methods (Computer science), Computer logic, System design