Find a copy online
Links to this item
Find a copy in the library
Finding libraries that hold this item...
Details
| Material Type: | Internet resource |
|---|---|
| Document Type: | Book, Internet Resource |
| All Authors / Contributors: |
Remo Pareschi; B Fronhöfer |
| ISBN: | 0792355350 9780792355359 |
| OCLC Number: | 40396443 |
| Description: | xi, 282 p. ; 25 cm. |
| Contents: | Action and change in rewriting logic / Narciso Martí-Oliet and José Meseguer -- Heterogeneous systems for modeling dynamic worlds / Michael Wollowski and Eric Hammer -- Reasoning about actual and hypothetical occurrences of concurrent and non-deterministic actions / Chitta Baral, Michael Gelfond and Richard Watson -- Compromise update and revision ; a position paper / Dov M. Gabbay -- A compromise revision model for reconciling updates / Fatima C.C. Dargam -- Knowledge base merging by majority / Jinxin Lin and Alberto O. Mendelzon -- Object evolution in object databases / Elisa Bertino, Giovanna Guerrini and Luca Rusca -- Making knowledge-based systems more manageable : a hybrid integration approach to knowledge about actions and their legality / Ulrich Reimer, Andreas Margelisch and Bernd Novotny. |
| Series Title: | Applied logic series, v. 12. |
| Responsibility: | edited by Remo Pareschi and Bertram Fronhöfer. |
| More information: |
Reviews
User-contributed reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.
Tags
Add tags for "Dynamic worlds : from the frame problems to knowledge management".
Be the first.
