Specification of dynamics for knowledge-based systems (1998)

by P van Eck, J Engelfriet, D Fensel, F van Harmelen, Y Venema, M Willems
Venue:in B Freitag et al. (eds), Transactions and Change in Logic Databases: Lecture Notes in Computer Science (LNCS