Sciweavers

CLIMA
2007

EVOLP: Tranformation-Based Semantics

14 years 19 days ago
EVOLP: Tranformation-Based Semantics
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, it is not so easy to use in dynamic environments. Evolving Logic Programs (EVOLP) are an elegant and powerful extension of Logic Programming suitable for Multi-Agent Systems, planning and other uses where information tends to change dynamically. In this paper we characterize EVOLP by transforming it into an equivalent normal logic program over an extended language, that serves as a basis of an existing implementation. Then we prove that the proposed transformation is sound and complete and examine its computational complexity.
Martin Slota, João Leite
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Where CLIMA
Authors Martin Slota, João Leite
Comments (0)