A first-order dynamic logic for planning
By: Henry A. Kautz.
Contributors: University of Toronto. Computer Systems Research Group.
Series: Technical report -- CSRG-144; Technical report CSRG (University of Toronto. Computer Systems Research Group) -- 144
Publisher: Computer Systems Research Group, University of Toronto
Published: 1982
Place of publication: Toronto
Language: eng
Number of pages: 113
Subjects: Electronic data processing; Artificial intelligence
Notes: Thesis (M.S.)--University of Toronto, 1980.

Bibliography: p. 112-113.