Operational semantics for DyLPs

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Citations (Scopus)


Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly dynamic domains with logic programming techniques. Two of the most recent results are the de- finition of the refined stable and the well founded semantics for dynamic logic programs that extend stable model and well founded semantic to the dynamic case. We present here alternative, although equivalent, oper- ational characterizations of these semantics by program transformations into normal logic programs. The transformations provide new insights on the computational complexity of these semantics, a way for better under- standing the meaning of the update programs, and also a methodology for the implementation of these semantics. In this sense, the equivalence theorems in this paper constitute soundness an completeness results for the implementations of these semantics.
Original languageEnglish
Title of host publicationLecture Notes in Artificial Intelligence
Number of pages12
Volume3808 LNCS
Publication statusPublished - 1 Jan 2005
EventProgress in Artificial Intelligence -
Duration: 1 Jan 2005 → …


ConferenceProgress in Artificial Intelligence
Period1/01/05 → …


  • Computational complexity
  • Problem solving
  • Semantics
  • Mathematical transformations
  • Mathematical models
  • Information technology
  • Stable models


Dive into the research topics of 'Operational semantics for DyLPs'. Together they form a unique fingerprint.

Cite this