A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Programs (EVOLP), a simple though quite powerful extension of logic programming, which allows for modelling the dynamics of knowledge bases expressed by programs, and illustrate its usage in modelling agents whose specifications may dynamically change. From the syntactical point of view, evolving programs are just generalized logicdoi:10.1007/978-3-540-45217-1_21 fatcat:qc5hm5jebrcf7gwdkgjgfnozbi