Norm McCain (Dissertation: Causality in Commonsense Reasoning about Actions, 1997)
Hudson Turner (Dissertation: Causal Action Theories and Satisfiability Planning, 1998)
Esra Erdem (Dissertation: Theory and Applications of Answer Set Programming, 2002)
Joohyung Lee (Dissertation: Automated Reasoning about Actions, 2005)
Paolo Ferraris (Dissertation: Expressiveness of Answer Set Languages, 2007)
Back to Lifschitz's web page