S. Haridi and P. Van Roy1 Declarative Programming Techniques Seif Haridi KTH Peter Van Roy UCL.
Xueyu(Sherry) Du Mechanical and Aerospace Engineering University of Florida 4/10/2014 ZENITH: A ROBOT THAT CAN AUTOMATICALLY CLIMB UP THE STAIRS.