4 August 2009
Progressing Databases 

Prof. Gerhard Lakemeyer
Aachen University of Technology

In planning and action languages the notion of progressing an initial database when actions are performed plays an important role. A classical example is STRIPS with its add and delete lists. While progression can be done efficiently when the database consists only of literals (as in STRIPS) the general picture is more complicated. In fact, Lin and Reiter showed that progression needs second-order logic in general. In this talk, I will review the idea of progression in the context of the situation calculus and discuss recent results on first-order progression, including cases where the progressed database can be computed efficiently.. 

About Telekom Innovation Laboratories


As one of the world's leading telecommunications and information technology service providers, Telekom Innovation Laboratories is setting international standards.

Contact Us


Telekom Innovation Laboratories at Ben-Gurion University of the Negev - P.O.B. 653 Beer Sheva, 84105, Israel
Phone: +972 8 6428120/21
e-mail : This email address is being protected from spambots. You need JavaScript enabled to view it.