Donaciones 15 de septiembre 2024 – 1 de octubre 2024 Acerca de la recaudación de fondos

Verifiable Autonomous Systems: Using Rational Agents to...

Main
Verifiable Autonomous Systems: Using...

Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines

Louise A. Dennis, Michael Fisher

0 / 5.0

¿Qué tanto le ha gustado este libro?

¿De qué calidad es el archivo descargado?

Descargue el libro para evaluar su calidad

¿Cuál es la calidad de los archivos descargados?

A discussion of methods by which scientists may guarantee the behaviours of autonomous systems, from intelligent robots to driverless cars.

Año:

2023

Editorial:

Cambridge University Press

Idioma:

english

Páginas:

391

ISBN 10:

1108484999

ISBN 13:

9781108484992

Archivo:

PDF, 8.20 MB

IPFS:

,

english, 2023

Leer en línea

Conversión a en curso

La conversión a ha fallado

También le puede interesar

Philip R. Cohen, Jerry Morgan, Martha E. Pollack — Intentions in Communication

Olivier Boissier, Rafael H. Bordini, Jomi Hubner, Alessandro Ricci — Multi-Agent Oriented Programming: Programming Multi-Agent Systems Using JaCaMo

Michael Wooldridge — Reasoning about Rational Agents

Tessier, Catherine(Editor);Chaudron, Laurent(Editor);Müller, Heinz-Jürgen(Editor) — Conflicting agents conflict management in multi-agent systems

Lawrence Cavedon, Zakaria Maamar, David Martin, Boualem Benatallah — Extending Web Services Technologies: The Use of Multi-Agent Approaches

Rafael H. Bordini, Jomi Fred Hübner, Michael Wooldridge — Programming Multi-Agent Systems in AgentSpeak using Jason

Michael J Wooldridge — Multi-agent systems : an introduction

Michael P. Georgeff (Eds.) — Reasoning About Actions & Plans

Louise A. Dennis, Rafael H. Bordini, Yves Lespérance — Engineering Multi-Agent Systems: 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers

Natasha Alechina, Matteo Baldoni, Brian Logan — Engineering Multi-Agent Systems: 9th International Workshop, EMAS 2021, Virtual Event, May 3–4, 2021, Revised Selected Papers

Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht — Agents and Robots for Reliable Engineered Autonomy

Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni — Programming Multi-Agent Systems: Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers

Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni — Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised

Michael Wooldridge, Paul E. Dunne (auth.), Cristiano Castelfranchi, Yves Lespérance (eds.) — Intelligent Agents VII Agent Theories Architectures and Languages: 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings

Massimo Benerecetti, Fausto Giunchiglia (auth.), James L. Rash, Walt Truszkowski, Michael G. Hinchey, Christopher A. Rouff, Diana Gordon (eds.) — Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers

Michael Wooldridge, Nicholas R. Jennings (auth.), Michael J. Wooldridge, Nicholas R. Jennings (eds.) — Intelligent Agents: ECAI-94 Workshop on Agent Theories, Architectures, and Languages Amsterdam, The Netherlands August 8–9, 1994 Proceedings

Fausto Giunchiglia, Enrico Giunchiglia (auth.), Walter Van de Velde, John W. Perram (eds.) — Agents Breaking Away: 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96 Eindhoven, The Netherlands, January 22–25, 1996 Proceedings

Michael Georgeff, Barney Pell, Martha Pollack, Milind Tambe, Michael Wooldridge (auth.), Jörg P. Müller, Anand S. Rao, Munindar P. Singh (eds.) — Intelligent Agents V: Agents Theories, Architectures, and Languages: 5th International Workshop, ATAL’98 Paris, France, July 4–7, 1998 Proceedings

Nicholas R. Jennings (auth.), Francisco J. Garijo, Magnus Boman (eds.) — Multi-Agent System Engineering: 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW’99 Valencia, Spain, June 30 – July 2, 1999 Proceedings

Desconocido — Verified Software Theories Tools Experiments 1 Vstte 2005 4171 2008 3540691472 O 565s

Tomoyuki Yamada (auth.), Katsumi Inoue, Ken Satoh, Francesca Toni (eds.) — Computational Logic in Multi-Agent Systems: 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers

Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.) — FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Michal Pěchouček, Michal Jakob, Peter Novák (auth.), Rem Collier, Jürgen Dix, Peter Novák (eds.) — Programming Multi-Agent Systems: 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers

Anand S. Rao, Michael Wooldridge (auth.), Michael Wooldridge, Anand Rao (eds.) — Foundations of Rational Agency

Términos más frecuentes