Evolving reactive logic programs
José Júlio Alferes, Federico Banti, Antonio Brogi · Intelligenza Artificiale · 2011
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.