Evolving knowledge bases specification and semantics - Leite, Joδao Alexandre. (Frontiers in artificial intelligence and applications, Dissertations in artificial intelligence, 2003)