Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

Name: Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
Price: 80.50 CAD
Availability: InStock
Author: Jan-Georg Smaus
ISBN: 9783642206733

Ron van der Meyden Édition : Jan-Georg Smaus

4 mai 2011

80,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

131

Lecture Notes in Artificial Intelligence

Publié par: Springer/Sci-Tech/Trade

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783642206733

Autonomous Agents and Multiagent Systems. Best and Visionary Papers: AAMAS 2023 Workshops, London, UK, May 29 -June 2, 2023, Revised Selected Papers

Francesco Amigoni Couverture souple
72,95 $
Autonomous Agents and Multiagent Systems. Best and Visionary Papers: AAMAS 2023 Workshops, London, UK, May 29 -June 2, 2023, Revised Selected Papers

Francesco Amigoni Couverture souple
94,95 $
2 formats offerts
Multi-agent-based Simulation X: International Workshop, MABS 2009, Budapest, Hungary, May10-15, 2009. Revised Selected Papers

Gennaro Di Tosto Couverture souple
80,50 $
Highlights in Practical Applications of Agents, Multi-Agent Systems, and Digital Twins: The PAAMS Collection: International Workshops of PAAMS 2024, Salamanca, Spain, June 26-28, 2024, Proceedings

Alfonso González-brione Couverture souple
124,50 $
Proceedings of the 10th Conference on Sound and Music Technology: Revised Selected Papers from CMST

Kun Qian Couverture rigide
321,50 $
Artificial Intelligence with and for Learning Sciences. Past, Present, and Future Horizons: First Workshop, WAILS 2024, Salerno, Italy, January 18-19, 2024, Proceedings

Fabio Palomba Couverture souple
58,50 $
Artificial Intelligence with and for Learning Sciences. Past, Present, and Future Horizons: First Workshop, WAILS 2024, Salerno, Italy, January 18-19, 2024, Proceedings

Fabio Palomba Couverture souple
80,50 $
2 formats offerts
High Performance Computing: 9th Latin American Conference, CARLA 2022, Porto Alegre, Brazil, September 26-30, 2022, Revised Selected Papers

Philippe Navaux Couverture souple
102,50 $
2 formats offerts
Artificial Intelligence for Knowledge Management: 7th IFIP WG 12.6 International Workshop, AI4KM 2019, Held at IJCAI 2019, Macao, China, August 11, 2019, Revised Selected Papers

Mieczysåaw Lech Owoc Couverture souple
160,95 $
High Performance Computing: ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers

Amanda Bienz Couverture souple
145,95 $
2 formats offerts
Global Internet of Things and Edge Computing Summit: First Global Summit, GIECS 2024, Brussels, Belgium, September 24-25, 2024, Proceedings

Antonio Skarmeta Couverture souple
94,95 $
Advances in Human Factors in Robots and Unmanned Systems: Proceedings of the AHFE 2018 International Conference on Human Factors in Robots and Unmanned Systems, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA

Jessie Chen Couverture souple
160,95 $
2 formats offerts
Artificial Intelligence for Knowledge Management: 7th IFIP WG 12.6 International Workshop, AI4KM 2019, Held at IJCAI 2019, Macao, China, August 11, 2019, Revised Selected Papers

Mieczysåaw Lech Owoc Couverture rigide
160,95 $
2 formats offerts
New Frontiers in Artificial Intelligence: JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers

Ken Satoh Couverture rigide
80,50 $
CAD/CAM Robotics and Factories of the Future '90: Volume 2: Flexible Automation

Couverture rigide
128,95 $
New Frontiers in Applied Data Mining: PAKDD 2011 International Workshops, Shenzhen, China, May 24-27, 2011, Revised Selected Papers

Longbing Cao Couverture souple
80,50 $
Chinese Lexical Semantics: 20th Workshop, Clsw 2019, Beijing, China, June 28-30, 2019, Revised Selected Papers

Jia-Fei Hong Couverture souple
189,95 $
2 formats offerts
Chinese Lexical Semantics: 23rd Workshop, CLSW 2022, Virtual Event, May 14-15, 2022, Revised Selected Papers, Part I

Qi Su Couverture souple
145,95 $
2 formats offerts
Advanced Computing: 11th International Conference, IACC 2021, Msida, Malta, December 18-19, 2021, Revised Selected Paper: 11th International Conference, IACC 2021, Msida, Malta, December 18-19, 2021, Revised Selected Papers

Deepak Garg Couverture souple
189,95 $
2 formats offerts
Autonomous Agents and Multiagent Systems. Best and Visionary Papers: AAMAS 2022 Workshops, Virtual Event, May 9-13, 2022, Revised Selected Papers

Francisco S. Melo Couverture souple
87,95 $
2 formats offerts

Évaluation éditoriale

jan-georg smaus

Auteur

Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers

Thomas Sturm Couverture souple
80,50 $
Computational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

Jürgen Dix Couverture souple
80,50 $
Scaling Topic Maps: Third International Conference on Topic Map Research and Applications, TMRA 2007 Leipzig, Germany, October 11-12, 2007 Revised Selected Papers

Lutz Maicher Couverture souple
80,50 $
Simulation, Modeling, and Programming for Autonomous Robots: Second International Conference, Simpar 2010, Darmstadt, Germany, November 15-18, 2010, Proceedings

Noriako Ando Couverture souple
80,50 $
Organized Adaption in Multi-Agent Systems: First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers

George Vouros Couverture souple
80,50 $
Multi-Agent-Based Simulation VII: International Workshop, MABS 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

Luis Antunes Couverture rigide
80,50 $
Artificial General Intelligence: 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011, Proceedings

Jürgen Schmidhuber Couverture souple
80,50 $
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Tetsuo Ida Couverture souple
72,95 $
Innovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers

Walt Truszkowski Couverture souple
80,50 $
Intelligent Virtual Agents: 4th International Workshop, IVA 2003, Kloster Irsee, Germany, September 15-17, 2003, Proceedings

Thomas Rist Couverture souple
80,50 $
Algorithmic Learning Theory: 9th International Conference, Alt'98, Otzenhausen, Germany, October 8-10, 1998 Proceedings

Couverture souple
71,50 $
Modeling and Mining Ubiquitous Social Media: International Workshops MSM 2011, Boston, MA, USA, October 9, 2011, and MUSE 2011, Athens, Greece, September 5, 2011, Revised Selected Papers

Martin Atzmueller Couverture souple
72,95 $
Chatbot Research and Design: 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers

Asbjorn Folstad Couverture souple
58,50 $
From Animals to Animats 12: 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012, Proceedings

Tom Ziemke Couverture souple
80,50 $
Machine Learning and Interpretation in Neuroimaging: International Workshop, MLINI 2011, Held at NIPS 2011, Sierra Nevada, Spain, December 16-17, 2011, Revised Selected and Invited Contributions

Georg Langs Couverture souple
72,95 $
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Jürgen Giesl Couverture souple
160,95 $
Analysis of Social Media and Ubiquitous Data: International Workshops MSM 2010, Toronto, Canada, June 13, 2010, and MUSE 2010, Barcelona, Spain, September 20, 2010, Revised Selected Papers

Martin Atzmueller Couverture souple
80,50 $
RFID Security and Privacy: 7th International Workshop, RFIDsec 2011, Amherst, MA, USA, June 26-28, 2011, Revised Selected Papers

Ari Juels Couverture souple
80,50 $
The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings

Couverture souple
71,50 $
Adaptive and Learning Agents: AAMAS 2011 International Workshop, ALA 2011, Taipei, Taiwan, May 2, 2011, Revised Selected Papers

Peter Vrancx Couverture souple
80,50 $

Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

Description

Vous aimerez peut-être aussi

Autonomous Agents and Multiagent Systems. Best and Visionary Papers: AAMAS 2023 Workshops, London, UK, May 29 -June 2, 2023, Revised Selected Papers

Autonomous Agents and Multiagent Systems. Best and Visionary Papers: AAMAS 2023 Workshops, London, UK, May 29 -June 2, 2023, Revised Selected Papers

Multi-agent-based Simulation X: International Workshop, MABS 2009, Budapest, Hungary, May10-15, 2009. Revised Selected Papers

Highlights in Practical Applications of Agents, Multi-Agent Systems, and Digital Twins: The PAAMS Collection: International Workshops of PAAMS 2024, Salamanca, Spain, June 26-28, 2024, Proceedings

Proceedings of the 10th Conference on Sound and Music Technology: Revised Selected Papers from CMST

Artificial Intelligence with and for Learning Sciences. Past, Present, and Future Horizons: First Workshop, WAILS 2024, Salerno, Italy, January 18-19, 2024, Proceedings

Artificial Intelligence with and for Learning Sciences. Past, Present, and Future Horizons: First Workshop, WAILS 2024, Salerno, Italy, January 18-19, 2024, Proceedings

High Performance Computing: 9th Latin American Conference, CARLA 2022, Porto Alegre, Brazil, September 26-30, 2022, Revised Selected Papers

Artificial Intelligence for Knowledge Management: 7th IFIP WG 12.6 International Workshop, AI4KM 2019, Held at IJCAI 2019, Macao, China, August 11, 2019, Revised Selected Papers

High Performance Computing: ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers

Global Internet of Things and Edge Computing Summit: First Global Summit, GIECS 2024, Brussels, Belgium, September 24-25, 2024, Proceedings

Advances in Human Factors in Robots and Unmanned Systems: Proceedings of the AHFE 2018 International Conference on Human Factors in Robots and Unmanned Systems, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA

Artificial Intelligence for Knowledge Management: 7th IFIP WG 12.6 International Workshop, AI4KM 2019, Held at IJCAI 2019, Macao, China, August 11, 2019, Revised Selected Papers

New Frontiers in Artificial Intelligence: JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers

CAD/CAM Robotics and Factories of the Future '90: Volume 2: Flexible Automation

New Frontiers in Applied Data Mining: PAKDD 2011 International Workshops, Shenzhen, China, May 24-27, 2011, Revised Selected Papers

Chinese Lexical Semantics: 20th Workshop, Clsw 2019, Beijing, China, June 28-30, 2019, Revised Selected Papers

Chinese Lexical Semantics: 23rd Workshop, CLSW 2022, Virtual Event, May 14-15, 2022, Revised Selected Papers, Part I

Advanced Computing: 11th International Conference, IACC 2021, Msida, Malta, December 18-19, 2021, Revised Selected Paper: 11th International Conference, IACC 2021, Msida, Malta, December 18-19, 2021, Revised Selected Papers

Autonomous Agents and Multiagent Systems. Best and Visionary Papers: AAMAS 2022 Workshops, Virtual Event, May 9-13, 2022, Revised Selected Papers

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers

Computational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

Scaling Topic Maps: Third International Conference on Topic Map Research and Applications, TMRA 2007 Leipzig, Germany, October 11-12, 2007 Revised Selected Papers

Simulation, Modeling, and Programming for Autonomous Robots: Second International Conference, Simpar 2010, Darmstadt, Germany, November 15-18, 2010, Proceedings

Organized Adaption in Multi-Agent Systems: First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers

Multi-Agent-Based Simulation VII: International Workshop, MABS 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

Artificial General Intelligence: 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011, Proceedings

Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Innovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers

Intelligent Virtual Agents: 4th International Workshop, IVA 2003, Kloster Irsee, Germany, September 15-17, 2003, Proceedings

Algorithmic Learning Theory: 9th International Conference, Alt'98, Otzenhausen, Germany, October 8-10, 1998 Proceedings

Modeling and Mining Ubiquitous Social Media: International Workshops MSM 2011, Boston, MA, USA, October 9, 2011, and MUSE 2011, Athens, Greece, September 5, 2011, Revised Selected Papers

Chatbot Research and Design: 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers

From Animals to Animats 12: 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012, Proceedings

Machine Learning and Interpretation in Neuroimaging: International Workshop, MLINI 2011, Held at NIPS 2011, Sierra Nevada, Spain, December 16-17, 2011, Revised Selected and Invited Contributions

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Analysis of Social Media and Ubiquitous Data: International Workshops MSM 2010, Toronto, Canada, June 13, 2010, and MUSE 2010, Barcelona, Spain, September 20, 2010, Revised Selected Papers

RFID Security and Privacy: 7th International Workshop, RFIDsec 2011, Amherst, MA, USA, June 26-28, 2011, Revised Selected Papers

The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings

Adaptive and Learning Agents: AAMAS 2011 International Workshop, ALA 2011, Taipei, Taiwan, May 2, 2011, Revised Selected Papers