Logic programming updating - A guided approach

Research output: Chapter in Book/Report/Conference proceedingChapter

5 Citations (Scopus)

Abstract

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
PublisherSpringer
Pages382-412
Number of pages31
Volume2408
ISBN (Print)3-540-43960-9
Publication statusPublished - 1 Jan 2002

Publication series

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

Keywords

  • 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

    Alferes, J. J. A., & Pereira, L. M. (2002). Logic programming updating - A guided approach. In A. C. Kakas, & F. Sadri (Eds.), Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski (Vol. 2408, pp. 382-412). (Lecture Notes in Computer Science; No. 2408). Springer: Springer.