Using Theory Completion to Learn a Robot Navigation Control Program

Stephen Moyle. Using Theory Completion to Learn a Robot Navigation Control Program. In Stan Matwin, Claude Sammut, editors, Inductive Logic Programming, 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers. Volume 2583 of Lecture Notes in Computer Science, pages 182-197, Springer, 2002. [doi]

Abstract

Abstract is missing.