Skip to main content
  • Book
  • © 1999

Dynamic Worlds

From the Frame Problem to Knowledge Management

Part of the book series: Applied Logic Series (APLS, volume 12)

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (8 chapters)

  1. Front Matter

    Pages i-xi
  2. Action and Change in Rewriting Logic

    • Narciso Martí-Oliet, José Meseguer
    Pages 1-53
  3. Heterogeneous Systems for Modeling Dynamic Worlds

    • Michael Wollowski, Eric Hammer
    Pages 55-72
  4. A Compromise Revision Model for Reconciling Updates

    • Fátima C. C. Dargam
    Pages 149-194
  5. Knowledge Base Merging by Majority

    • Jinxin Lin, Alberto O. Mendelzon
    Pages 195-218
  6. Object Evolution in Object Databases

    • Elisa Bertino, Giovanna Guerrini, Luca Rusca
    Pages 219-246
  7. Back Matter

    Pages 283-283

About this book

Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, human/computer interfaces, programming environments, etc. In reality any such system has to cope with a changing world and its dynamics. Hence it is of great importance that reasoning must account for coping with change in order to be truly useful in practice.
The book comprises several contributions to current ways of approaching this problem. On the one hand it surveys and synthesizes recent research work, while on the other hand new research results are included. Among the topics treated are logics for reasoning about actions and planning, belief revision and the reconciliation of logically conflicting inputs, resolving of conflicts by merging of knowledge and issues in the evolution in object-oriented databases.
The book is aimed at the researcher and advanced student active in this field.

Editors and Affiliations

  • Xerox Research Centre Europe, Meylan, France

    Remo Pareschi

  • Technische Universität München, Germany

    Bertram Fronhöfer

Bibliographic Information

  • Book Title: Dynamic Worlds

  • Book Subtitle: From the Frame Problem to Knowledge Management

  • Editors: Remo Pareschi, Bertram Fronhöfer

  • Series Title: Applied Logic Series

  • DOI: https://doi.org/10.1007/978-94-017-1317-7

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media Dordrecht 1999

  • Hardcover ISBN: 978-0-7923-5535-9Published: 31 March 1999

  • Softcover ISBN: 978-90-481-5159-2Published: 15 December 2010

  • eBook ISBN: 978-94-017-1317-7Published: 09 March 2013

  • Series ISSN: 1386-2790

  • Edition Number: 1

  • Number of Pages: XI, 283

  • Topics: Logic, Artificial Intelligence, Data Structures and Information Theory

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access