Download or read book Dynamic Worlds written by Remo Pareschi and published by Springer Science & Business Media. This book was released on 1999-03-31 with total page 302 pages. Available in PDF, EPUB and Kindle. Book excerpt: Surveys and synthesizes recent work in the field, and presents new research results. Among topics treated are logics for reasoning about actions and planning, belief revision and the reconciliation of logically conflicting inputs, resolution of conflicts by merging of knowledge, and issues in the evolution of object-oriented databases. Other subjects include action and change in rewriting logic, heterogeneous systems for modeling dynamic worlds, and reasoning about actual and hypothetical occurrences of concurrent and non- deterministic actions. No index. Annotation copyrighted by Book News, Inc., Portland, OR