Evolving reactive logic programs

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

Research output: Contribution to journalArticle

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 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
Volume487
DOIs
Publication statusPublished - 2009

    Fingerprint

Keywords

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

Cite this