Evolving reactive logic programs

José Júlio Alves Alferes, Federico Banti, , Antonio Brogi

Research output: Contribution to journalArticlepeer-review


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 contribu- tions 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 recent event-condition-action extension that supports the specification and the execution of reactive programs.
Original languageEnglish
Pages (from-to)60-64
Number of pages5
JournalIntelligenza Artificiale
Publication statusPublished - 2009


  • Logic programming
  • stable models
  • Semantics
  • Logic programs
  • Research activities
  • Dynamic logic programs
  • ON dynamics
  • Reactive programs
  • Action description languages


Dive into the research topics of 'Evolving reactive logic programs'. Together they form a unique fingerprint.

Cite this