Loading…

Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers /

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Declarative Agent Languages and Technologies, DALT 2009, held in Budapest, Hungary, on May 11, 2009, as a satellite workshop of the 8th International Joint Conference on Autonomous Agents and...

Full description

Bibliographic Details
Call Number:	Libro Electrónico
Corporate Author:	SpringerLink (Online service)
Other Authors:	Baldoni, Matteo (Editor), Bentahar, Jamal (Editor), van Riemsdijk, M. Birna (Editor), Lloyd, John (Editor)
Format:	Electronic eBook
Language:	Inglés
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edition:	1st ed. 2010.
Series:	Lecture Notes in Artificial Intelligence, 5948
Subjects:	Artificial intelligence. Computer networks . Software engineering. Computer science. Compilers (Computer programs). Artificial Intelligence. Computer Communication Networks. Software Engineering. Models of Computation. Compilers and Interpreters.
Online Access:	Texto Completo

Similar Items

Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers /
Published: (2009)

Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers /
Published: (2011)

Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers /
Published: (2012)

Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers /
Published: (2006)

Programming Multi-Agent Systems 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers /
Published: (2009)

Programming Multi-Agent Systems Fifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers /
Published: (2008)

Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers /
Published: (2006)

Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers /
Published: (2006)

Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers /
Published: (2006)

Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers /
Published: (2008)

Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers /
Published: (2005)

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 Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers /
Published: (2006)

Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers /
Published: (2011)

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 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 /
Published: (2008)

Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings /
Published: (2011)

Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning /
Published: (2005)

Programming Multi-Agent-Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers /
Published: (2007)

Multi-Agent Programming Languages, Platforms and Applications /
Published: (2005)

Agent-Oriented Software Engineering XI 11th International Workshop, AOSE XI, Toronto, Canada, May 10-11, 2010, Revised Selected Papers /
Published: (2011)

Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers /
Published: (2005)

Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers /
Published: (2008)

Programming Multi-Agents Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers /
Published: (2012)

Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings /
Published: (2012)

Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May10-15, 2009.Revised Selected Papers /
Published: (2010)

Multi-Agent-Based Simulation X International Workshop, MABS 2009, Budapest, Hungary, May10-15, 2009. Revised Selected Papers /
Published: (2010)

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings /
Published: (2013)

Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings /
Published: (2014)

Argumentation in Multi-Agent Systems 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers /
Published: (2010)

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers /
Published: (2013)

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings /
Published: (2010)

Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers /
Published: (2009)

Automated Deduction - CADE-22 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings /
Published: (2009)

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers /
Published: (2010)

Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems /
by: Puppis, Gabriele
Published: (2010)

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino /
Published: (2007)

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings /
Published: (2012)

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings /
Published: (2011)

Transactions on Petri Nets and Other Models of Concurrency VI
Published: (2012)

Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings /
Published: (2011)

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings /
Published: (2011)