1. Planning as temporal reasoning;Allen,1991
2. Nonmonotonic reasoning in the framework of situation calculus;Baker;Artificial Intelligence,1991
3. Reasoning about effects of concurrent actions;Baral;Journal of Logic Programming,1997
4. Explicit and implicit indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems (Tech. Rep. No. TR-96-009);Bornscheuer,1996
5. Knowledge representation and reasoning;Brachman,2004