Sinossi
Preface. Action and Change in Rewriting Logic; N. Martí-Oliet, J. Meseguer. Heterogeneous Systems for Modeling Dynamic Worlds; M. Wollowski, E. Hammer. Reasoning about Actual and Hypothetical Occurrences of Concurrent and Non-Deterministic Actions; C. Baral, M. Gelfond, R. Watson. Compromise Update and Revision: A Position Paper; D.M. Gabbay. A Compromise Revision Model for Reconciling Updates; F.C.C. Dargam. Knowledge Base Merging by Majority; J. Lin, A.O. Mendelzon. Object Evolution in Object Databases; E. Bertino, G. Guerrini, L. Rusca. Making Knowledge-Based Systems More Manageable: A Hybrid Integration Approach to Knowledge about Actions and Their Legality; U. Reimer, et al.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
