Logic programming updating - A guided approach

Research output: Chapter in Book/Report/Conference proceedingChapter

5 Citations (Scopus)


In this work we review and synthesize, in a selective way, a series of recent developments concerning the dynamics of the evolution of logic programs by means of updates. We do so because this comparatively new and expanding area merits the attention of more researchers and more teachers alike, though there does not exist a single integrative source to induct them to the top.
Original languageEnglish
Title of host publicationComputational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski
EditorsAntonis C. Kakas, Fariba Sadri
Place of PublicationSpringer
Number of pages31
ISBN (Print)3-540-43960-9
Publication statusPublished - 1 Jan 2002

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


  • Logic programs
  • Artificial intelligence
  • Computer science
  • Logic programming
  • Semantics
  • stable models

Fingerprint Dive into the research topics of 'Logic programming updating - A guided approach'. Together they form a unique fingerprint.

Cite this