Here available the first five chapters of the book “Programming Co-operating Robotic Agents: A Teleo-Reactive Rule Based Approach” which will be published in 2017 by Springer. The five chapters are an introduction to Teleo-Reactive programming using the rule form and actions originally proposed by Nils Nilsson. One difference is that TeleoR language of the book is typed and higher order,...

Here are the slides [slides] of a talk by Keith Clark introducing TR programming concepts and various extensions as embedded in the derivative language TeleoR, which he has developed with Peter Robinson at the University of Queensland. Keith has given the talk many times and is happy to answer questions on the slides (klc at doc.ic.ac.uk). He is an enthusiast for the TR approach to programming...

After retiring from my Stanford career, I had thought that work on teleo-reactive (TR) programs had essentially ended. I was pleasantly surprised, however, when I heard from Keith Clark that he and Peter Robinson were working on a book describing their systems TeleoR (the action execution language) and QuLog (the dynamic belief store) that greatly extended the power of my original TR...