Evolving Reactive Logic Programs Programmi Logici Reattivi Evolutivi

Day Dedicated to Prof. Alberto Martelli

Jose Julio Alferes ; Federico Banti ; Antonio Brogi

PID  :  4371

来源: CEUR

【 摘 要 】

In this paper we briefly describe the research activity that we have been carrying over during the last years on dynamic logic programs. After reviewing our contributions to strengthening the semantics foundations of dynamic logic programs, we describe a simple formalism to reason about actions —based on dynamic logic programs— and its recent event-condition-action extension that supports the specification and the execution of reactive programs.