Update of six chapters of book on TR and extensions

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,...

Read More

Slides introducing TeleoR

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...

Read More

New web site (by Nils Nilsson)

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...

Read More