AUTHOR
Joao Alexandre Leite

BOOK INFO
This book consists of the author's PhD Thesis;

ABOUT THE AUTHOR
Joao Alexandre Leite is Assistant Professor at the Department of Computer Science of the New University of Lisbon, in Portugal, and member of CENTRIA, its Artificial Intelligence Centre.

BOOK DESCRIPTION
In this book, the author incrementally specifies, semantically characterizes, and illustrates with examples, the concepts and tools necessary to the development of Evolving Knowledge Bases (EKB). An EKB is a knowledge base which can not only be externally updated, but is also capable of self evolution by means of its internally specified behaviour. To this purpose, the auhor first defines the notion of Dynamic Logic Programming, based on the concept of Logic Program Updates, which characterizes knowledge given by a sequence of logic programs, each representing a state of the world. Then, he sets forth a language capable of uniformly specify the external updates as well as the knowledge base’s internal behaviour and its updates.

RELATED LINKS
Author's homepage: http://centria.di.fct.unl.pt
Department of Computer Science: http://www.di.fct.unl.pt/
New University of Lisbon: http://www.unl.pt/