Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems

Valutazione media 4,2
( su 5 valutazioni fornite da GoodReads )
 
9780262527002: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems

I migliori risultati di ricerca su AbeBooks

1.

Reiter, Raymond
Editore: The MIT Press (2017)
ISBN 10: 0262527006 ISBN 13: 9780262527002
Nuovi Paperback Quantità: 20
Print on Demand
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro The MIT Press, 2017. Paperback. Condizione libro: New. This item is printed on demand. Codice libro della libreria 0262527006

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 40,44
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,76
In U.S.A.
Destinazione, tempi e costi

2.

Raymond Reiter
Editore: MIT Press (2014)
ISBN 10: 0262527006 ISBN 13: 9780262527002
Nuovi Quantità: > 20
Print on Demand
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press, 2014. PAP. Condizione libro: New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria I1-9780262527002

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 32,95
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,33
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

3.

Raymond Reiter
Editore: MIT Press Ltd, United States (2001)
ISBN 10: 0262527006 ISBN 13: 9780262527002
Nuovi Paperback Quantità: 10
Print on Demand
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd, United States, 2001. Paperback. Condizione libro: New. 229 x 178 mm. Language: English . Brand New Book ***** Print on Demand *****.Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such systems, grounded in mathematical logic, has been developed within the AI knowledge-representation community. This book presents a comprehensive treatment of these ideas, basing its theoretical and implementation foundations on the situation calculus, a dialect of first-order logic. Within this framework, it develops many features of dynamical systems modeling, including time, processes, concurrency, exogenous events, reactivity, sensing and knowledge, probabilistic uncertainty, and decision theory. It also describes and implements a new family of high-level programming languages suitable for writing control programs for dynamical systems. Finally, it includes situation calculus specifications for a wide range of examples drawn from cognitive robotics, planning, simulation, databases, and decision theory, together with all the implementation code for these examples. This code is available on the book s Web site. Codice libro della libreria APC9780262527002

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 43,86
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

4.

Raymond Reiter
Editore: MIT Press Ltd, United States (2001)
ISBN 10: 0262527006 ISBN 13: 9780262527002
Nuovi Paperback Quantità: 10
Print on Demand
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd, United States, 2001. Paperback. Condizione libro: New. 229 x 178 mm. Language: English . Brand New Book ***** Print on Demand *****. Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such systems, grounded in mathematical logic, has been developed within the AI knowledge-representation community. This book presents a comprehensive treatment of these ideas, basing its theoretical and implementation foundations on the situation calculus, a dialect of first-order logic. Within this framework, it develops many features of dynamical systems modeling, including time, processes, concurrency, exogenous events, reactivity, sensing and knowledge, probabilistic uncertainty, and decision theory. It also describes and implements a new family of high-level programming languages suitable for writing control programs for dynamical systems. Finally, it includes situation calculus specifications for a wide range of examples drawn from cognitive robotics, planning, simulation, databases, and decision theory, together with all the implementation code for these examples. This code is available on the book s Web site. Codice libro della libreria APC9780262527002

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 44,38
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

Raymond Reiter
Editore: MIT Press (2014)
ISBN 10: 0262527006 ISBN 13: 9780262527002
Nuovi Quantità: > 20
Print on Demand
Da
PBShop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro MIT Press, 2014. PAP. Condizione libro: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria I1-9780262527002

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 41,47
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,69
In U.S.A.
Destinazione, tempi e costi

6.

Reiter, Raymond
ISBN 10: 0262527006 ISBN 13: 9780262527002
Nuovi Quantità: > 20
Print on Demand
Da
BWB
(Valley Stream, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. This item is Print on Demand - Depending on your location, this item may ship from the US or UK. Codice libro della libreria POD_9780262527002

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 46,68
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

7.

Raymond Reiter
Editore: The MIT Press
ISBN 10: 0262527006 ISBN 13: 9780262527002
Nuovi Paperback Quantità: 20
Da
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Valutazione libreria
[?]

Descrizione libro The MIT Press. Paperback. Condizione libro: New. Paperback. 446 pages. Dimensions: 9.2in. x 7.5in. x 0.9in.Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such systems, grounded in mathematical logic, has been developed within the AI knowledge-representation community. This book presents a comprehensive treatment of these ideas, basing its theoretical and implementation foundations on the situation calculus, a dialect of first-order logic. Within this framework, it develops many features of dynamical systems modeling, including time, processes, concurrency, exogenous events, reactivity, sensing and knowledge, probabilistic uncertainty, and decision theory. It also describes and implements a new family of high-level programming languages suitable for writing control programs for dynamical systems. Finally, it includes situation calculus specifications for a wide range of examples drawn from cognitive robotics, planning, simulation, databases, and decision theory, together with all the implementation code for these examples. This code is available on the books Web site. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Codice libro della libreria 9780262527002

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 46,62
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,65
In U.S.A.
Destinazione, tempi e costi

8.

Reiter, Raymond
Editore: The MIT Press (2001)
ISBN 10: 0262527006 ISBN 13: 9780262527002
Nuovi Paperback Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro The MIT Press, 2001. Paperback. Condizione libro: New. book. Codice libro della libreria 0262527006

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 51,08
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

9.

Reiter, Raymond
Editore: The MIT Press
ISBN 10: 0262527006 ISBN 13: 9780262527002
Nuovi PAPERBACK Quantità: > 20
Da
Russell Books
(Victoria, BC, Canada)
Valutazione libreria
[?]

Descrizione libro The MIT Press. PAPERBACK. Condizione libro: New. 0262527006 Special order direct from the distributor. Codice libro della libreria ING9780262527002

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 47,56
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 6,47
Da: Canada a: U.S.A.
Destinazione, tempi e costi

10.

Reiter, Raymond
Editore: The MIT Press (2017)
ISBN 10: 0262527006 ISBN 13: 9780262527002
Nuovi Paperback Quantità: 3
Print on Demand
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro The MIT Press, 2017. Paperback. Condizione libro: New. This item is printed on demand. Codice libro della libreria P110262527006

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 64,14
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,76
In U.S.A.
Destinazione, tempi e costi