Integration of classical and model-based technologies for the automated synthesis of plans.
Contributors: University of Brighton. School of Computing and Mathematical Sciences.
Published: 1997
Language: eng
Notes: At foot of title: School of Computing and Mathematical Sciences, The University of Brighton in collaboration with the Llewellyn Group of Companies.

Thesis (Ph.D.) - University of Brighton.