Partial list of papers that are used in the class.
On languages for planning and reasoning about actions
M. Gelfond and V. Lifschitz,
Representing action and change by logic programs, Journal of Logic
Programming, Vol. 17, pp. 301-321, 1993.
C. Baral and M. Gelfond,
Reasoning about effects of concurrent actions, Journal of Logic
Programming vol. 31, pp. 85-118, 1997.
G. N. Kartha and V. Lifschitz, "Actions with indirect effects
(preliminary report)," in Proceedings of the
Fourth International Conference on Principles of Knowledge Representation
and Reasoning, pp. 341-350,
H. Turner, Representing actions in logic programs and
default theories: A situation calculus approach,
Journal of Logic Programming, Vol. 31, pp. 245-298, 1997.
On role of heuristic search in planning.
HSP: Heuristic Search planner. Bonet and Geffner.
Entry at the AIPS-98 planning competition, Pittsburgh 6/98.
Planning as heuristic search: new results. B. Bonet and H. Geffner.
Proc. of European Conference on planning, 1999, Durham, UK.
On role of real time search in solving MDPs and POMDPS.
Solving large POMDPs using real time dynamic programming. H. Geffner and
B. Bonet. Working notes. Fall AAAI symposium on POMDPs. 1998.
Planning with MDPs and POMDPs: slides. H. Geffner.
(joint work with B. Bonet.) Invited talk at ECAI 98
workshop on decision theory meets AI. Brighton, UK, 8/98.
Learning Sorting and Decision Trees with POMDPs B. Bonet and H. Geffner.
Conference on Machine Learning (ICML-98),
Madison, WI, 7/98.
Logic and its role in reasoning about actions and
model based planning.