Deductive Planning and Composite Actions in Temporal Action Logic

September 28, 2007Tagged Scientific Publications

Martin Magnusson (2007). Deductive Planning and Composite Actions in Temporal Action Logic. Licentiate Thesis at Linköping University.