Abstract
In this paper we briefly describe the research activity that we have been carrying out during the last years on dynamic logic programs. After reviewing our contributions to strengthening the semantic foundations of dynamic logic programs, we describe a simple formalism to reason about actions – based on dynamic logic programs – and its event-condition-action extension that supports the specification and the execution of reactive programs.
Get full access to this article
View all access options for this article.