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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
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.
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Da: New Book Sale, London, Regno Unito
Hardcover. Condizione: New. Usually Dispatched within 1-2 Business Days , Buy with confidence , excellent customer service. Codice articolo 0792355350--206
Quantità: 1 disponibili
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New. Codice articolo 4411369-n
Quantità: 15 disponibili
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New. Codice articolo ABLIING23Feb2416190183114
Quantità: Più di 20 disponibili
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 300 pp. Englisch. Codice articolo 9780792355359
Quantità: 2 disponibili
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Condizione: New. Codice articolo 4411369-n
Quantità: Più di 20 disponibili
Da: moluna, Greven, Germania
Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 . Codice articolo 5968730
Quantità: Più di 20 disponibili
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 627. Codice articolo C9780792355359
Quantità: Più di 20 disponibili
Da: preigu, Osnabrück, Germania
Buch. Condizione: Neu. Dynamic Worlds | From the Frame Problem to Knowledge Management | Bertram Fronhöfer (u. a.) | Buch | xi | Englisch | 1999 | Springer | EAN 9780792355359 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Codice articolo 102156580
Quantità: 5 disponibili
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Buch. Condizione: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch. Codice articolo 9780792355359
Quantità: 2 disponibili
Da: AHA-BUCH GmbH, Einbeck, Germania
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9780792355359
Quantità: 1 disponibili