Programming Multi-Agent Systems: 9th International...

Main
Programming Multi-Agent Systems: 9th...

Programming Multi-Agent Systems: 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers

Shakil M. Khan, Yves Lespérance (auth.), Louise Dennis, Olivier Boissier, Rafael H. Bordini (eds.)

0 / 0

Sukakah Anda buku ini?

Bagaimana kualitas file yang diunduh?

Unduh buku untuk menilai kualitasnya

Bagaimana kualitas file yang diunduh?

Fast-track conference proceedings State-of-the-art research Up-to-date results

Tahun:

2012

Edisi:

1

Penerbit:

Springer-Verlag Berlin Heidelberg

Bahasa:

english

Halaman:

217

ISBN 10:

3642319157

ISBN 13:

9783642319150

Nama seri:

Lecture Notes in Computer Science 7217 Lecture Notes in Artificial Intelligence

File:

PDF, 5.23 MB

IPFS:

,

english, 2012

Buku ini tidak dapat diunduh karena keluhan dari pemegang hak cipta

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Mungkin Anda tertarik

Anthony Widjaja Lin — Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

Ezio Bartocci, Rupak Majumdar (eds.) — Runtime Verification: 6th International Conference, RV 2015 Vienna, Austria, September 22–25, 2015. Proceedings

Rocco De Nicola, Eva Kühn (eds.) — Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Andrea Omicini, Franco Zambonelli (auth.), João Leite, Andrea Omicini, Leon Sterling, Paolo Torroni (eds.) — Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected 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

James R. Larus (auth.), Aarti Gupta, Sharad Malik (eds.) — Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

Byron Cook (auth.), Werner Damm, Holger Hermanns (eds.) — Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

Joost-Pieter Katoen (auth.), Jean-François Raskin, P. S. Thiagarajan (eds.) — Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

Bernhard Bauer, Jörg P. Müller, Stephan Roser (auth.), Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff (eds.) — Programming Multi-Agent Systems: 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers

Sriram K. Rajamani (auth.), Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan (eds.) — Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

Nicoletta Fornara, Marco Colombetti (auth.), Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff (eds.) — Declarative Agent Languages and Technologies VI: 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, 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

João Leite (auth.), Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd (eds.) — Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers

Konstantin Vikhorev, Natasha Alechina, Brian Logan (auth.), Mehdi Dastani, Amal El Fallah Segrouchni, João Leite, Paolo Torroni (eds.) — Languages, Methodologies, and Development Tools for Multi-Agent Systems: Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers

Munindar P. Singh, Amit K. Chopra (auth.), Lars Braubach, Jean-Pierre Briot, John Thangarajah (eds.) — Programming Multi-Agent Systems: 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers

Munindar P. Singh, Amit K. Chopra (auth.), Lars Braubach, Jean-Pierre Briot, John Thangarajah (eds.) — Programming Multi-Agent Systems: 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers

Toby Walsh (auth.), Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga (eds.) — Computational Logic in Multi-Agent Systems: 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings

John Thangarajah, James Harland, David Morley, Neil Yorke-Smith (auth.), Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos (eds.) — Declarative Agent Languages and Technologies VIII: 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers

Vijay Ganesh, Adam Kieżun, Shay Artzi, Philip J. Guo (auth.), Ganesh Gopalakrishnan, Shaz Qadeer (eds.) — Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

Vijay Ganesh, Adam Kieżun, Shay Artzi, Philip J. Guo (auth.), Ganesh Gopalakrishnan, Shaz Qadeer (eds.) — Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

Wiebe van der Hoek (auth.), Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff (eds.) — Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers

Wiebe van der Hoek (auth.), Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff (eds.) — Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers

Shuyuan Zhang, Sharad Malik, Rick McGeer (auth.), Supratik Chakraborty, Madhavan Mukund (eds.) — Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

Álvaro Fernández Díaz, Clara Benac Earle (auth.), Mehdi Dastani, Jomi F. Hübner, Brian Logan (eds.) — Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.) — LNCS 8051 - Theories of Programming and Formal Methods

Luciano Baresi, Sam Guinea, Adnan Shahzada (auth.), Massimo Cossentino, Amal El Fallah Seghrouchni, Michael Winikoff (eds.) — Engineering Multi-Agent Systems: First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

Christel Baier, Cesare Tinelli (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Andrei Voronkov, Irina Virbitskaite (eds.) — Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov (eds.) — Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Barbara Jobstmann, K. Rustan M. Leino (eds.) — Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Istilah kunci