TY - BOOK AU - Leite,João Alexandre TI - Evolving knowledge bases: specification and semantics T2 - Frontiers in artificial intelligence and applications, SN - 158603278X (IOS Press : hd.bd.) AV - QA76063 PY - 2003/// CY - Amsterdam, Washington, DC, Tokyo PB - IOS Press, Ohmsha KW - Logic programming KW - Expert systems Computer science N1 - Includes bibliographical references ER -