Intelligent Agents and Multi-Agent Systems 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings /

Intelligent Agents and Multi-Agent Systems 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings /

Библиографическая информация
Опубликовано в: :	Springer eBooks
Главный автор:	Carbonell, Jaime G.
Соавтор:	SpringerLink (Online service)
Другие авторы:	Bui, The Duy, Ha, Quang Thuy, Ho, Tuong Vinh, Siekmann, Jörg
Формат:	Электронная книга
Язык:	English
Публикация:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Серии:	Lecture Notes in Computer Science,
Предметы:	Artificial intelligence Computer Communication Networks Logic design Software engineering Computer Science Artificial Intelligence (incl. Robotics) Logics and Meanings of Programs Software Engineering
Online-ссылка:	http://dx.doi.org/10.1007/978-3-540-89674-6 Перейти в каталог НБ ТГУ

Похожие документы

Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers
по: Barley, Michael Wayne
Публикация: (2005)

Agent Computing and Multi-Agent Systems 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings
по: Shi, Zhongzhi
Публикация: (2006)

Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers /
по: Carbonell, Jaime G.
Публикация: (2006)

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004
по: Dignum, Frank
Публикация: (2005)

Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning
по: Alonso, Eduardo
Публикация: (2005)

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers /
по: Tuyls, Karl
Публикация: (2008)

Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers /
по: Bordini, Rafael H.
Публикация: (2007)

Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers /
по: Dastani, Mehdi
Публикация: (2008)

Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers
по: Thompson, Simon G.
Публикация: (2006)

Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers /
по: Carbonell, Jaime G.
Публикация: (2009)

Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers /
Публикация: (2013)

Programming Multi-Agent Systems (vol. # 3862) Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers
по: Bordini, Rafael H.
Публикация: (2006)

Programming Multi-Agent Systems (vol. # 3346) Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers
по: Bordini, Rafael H.
Публикация: (2005)

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
по: Carbonell, Jaime G.
Публикация: (2008)

Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
по: Carbonell, Jaime G.
Публикация: (2008)

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Mul
по: Boissier, Olivier
Публикация: (2006)

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings /
Публикация: (2013)

Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings /
Публикация: (2014)

Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers
по: Baldoni, Matteo
Публикация: (2006)

Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
по: Leite, João
Публикация: (2005)

Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
по: Baldoni, Matteo
Публикация: (2006)

Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers /
по: Baldoni, Matteo
Публикация: (2008)

Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers /
по: Sichman, Jaime Simão
Публикация: (2008)

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
по: Hutchison, David
Публикация: (2008)

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
по: Hutchison, David
Публикация: (2008)

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers /
по: Padgham, Lin
Публикация: (2007)

Theoretical Aspects of Computing - ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings /
Публикация: (2013)

Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers /
по: Luck, Michael
Публикация: (2008)

Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /
по: Hendren, Laurie
Публикация: (2008)

Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
по: Müller, Jörg P.
Публикация: (2006)

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers
по: Giorgini, Paolo
Публикация: (2005)

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers
по: Noriega, Pablo
Публикация: (2007)

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
по: Damm, Werner
Публикация: (2007)

Computer Aided Verification (vol. # 3576) 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
по: Etessami, Kousha
Публикация: (2005)

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
по: Hurd, Joe
Публикация: (2005)

Computer Aided Verification (vol. # 4144) 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
по: Ball, Thomas
Публикация: (2006)

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
по: Schneider, Klaus
Публикация: (2007)

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
по: Edelkamp, Stefan
Публикация: (2007)

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
по: Dershowitz, Nachum
Публикация: (2007)

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835) 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
по: Sutcliffe, Geoff
Публикация: (2005)