Intelligent Agents VII. Agent Theories Architectures and Languages 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000. Proceedings /

Intelligent Agents VII. Agent Theories Architectures and Languages 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000. Proceedings /

Intelligent agents are one of the most important developments in computer science of the past decade. Agents are of interest in many important application areas, ranging from human-computer interaction to industrial process control. The ATAL workshop series aims to bring together researchers interes...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Castelfranchi, Cristiano (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Lesperance, Yves (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
Έκδοση:	1st ed. 2001.
Σειρά:	Lecture Notes in Artificial Intelligence ; 1986
Θέματα:	Artificial intelligence. Computer communication systems. Software engineering. Computer logic. Artificial Intelligence. Computer Communication Networks. Software Engineering/Programming and Operating Systems. Software Engineering. Logics and Meanings of Programs.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Agent-Oriented Software Engineering First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers /
Έκδοση: (2001)

Intelligent Agents V: Agents Theories, Architectures, and Languages 5th International Workshop, ATAL'98, Paris, France, July 4-7, 1998, Proceedings /
Έκδοση: (1999)

Intelligent Agents: Specification, Modeling, and Application 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 28-29, 2001, Proceedings /
Έκδοση: (2001)

Intelligent Agents IV: Agent Theories, Architectures, and Languages 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings /
Έκδοση: (1998)

Intelligent Agents and Multi-Agent Systems 6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003, Proceedings /
Έκδοση: (2003)

Intelligent Agents VIII 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers /
Έκδοση: (2002)

Intelligent Agents and Multi-Agent Systems 5th Pacific Rim International Workshop on Multi-Agents, PRIMA 2002, Tokyo, Japan, August 18-19, 2002. Proceedings /
Έκδοση: (2002)

Issues in Agent Communication
Έκδοση: (2000)

Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems International Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000 Revised Papers /
Έκδοση: (2001)

Adaptive Agents and Multi-Agent Systems Adaptation and Multi-Agent Learning /
Έκδοση: (2003)

Agent-Oriented Software Engineering II Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions /
Έκδοση: (2002)

Formal Models of Agents ESPRIT Project ModelAge Final Report Selected Papers /
Έκδοση: (1999)

Formal Approaches to Agent-Based Systems First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers /
Έκδοση: (2001)

Intelligent Agents VI. Agent Theories, Architectures, and Languages 6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings /
Έκδοση: (2000)

Agent Systems, Mobile Agents, and Applications Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000 Zurich, Switzerland, September 13-15, 2000 Proceedings /
Έκδοση: (2000)

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers /
Έκδοση: (2019)

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 /
Έκδοση: (1999)

Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers /
Έκδοση: (2018)

Self-Adaptive Software First International Workshop, IWSAS 2000 Oxford, UK, April 17-19, 2000 Revised Papers /
Έκδοση: (2001)

Engineering Societies in the Agents World III Third International Workshop, ESAW 2002, Madrid, Spain, September 16-17, 2002, Revised Papers /
Έκδοση: (2003)

Communication in Multiagent Systems Agent Communication Languages and Conversation Policies /
Έκδοση: (2003)

Mobile Agents: Control Algorithms
ανά: Baumann, Joachim, κ.ά.
Έκδοση: (2000)

Engineering Societies in the Agents World II Second International Workshop, ESAW 2001, Prague, Czech Republic, July 7, 2001, Revised Papers /
Έκδοση: (2001)

Mobile Agents Second International Workshop, MA'98, Stuttgart, Germany, September 9-11, 1998 /
Έκδοση: (1998)

Objective Coordination in Multi-Agent System Engineering Design and Implementation /
ανά: Schumacher, Michael, κ.ά.
Έκδοση: (2001)

Approaches to Intelligent Agents Second Pacific Rim International Workshop on Multi-Agents, PRIMA'99, Kyoto, Japan, December 2-3, 1999 Proceedings /
Έκδοση: (1999)

Formal Approaches to Agent-Based Systems Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers /
Έκδοση: (2003)

Computational Logic - CL 2000 First International Conference London, UK, July 24-28, 2000 Proceedings /
Έκδοση: (2000)

Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings /
Έκδοση: (2001)

Intelligent Agents III. Agent Theories, Architectures, and Languages ECAI'96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings /
Έκδοση: (1997)

Practical Aspects of Declarative Languages Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings /
Έκδοση: (2000)

Coordination Languages and Models 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings /
Έκδοση: (2000)

Multi-Agent-Based Simulation Second International Workshop, MABS 2000, Boston, MA, USA, July 2000; Revised and Additional Papers /
Έκδοση: (2001)

Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /
Έκδοση: (2000)

Abstraction, Reformulation, and Approximation 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings /
Έκδοση: (2000)

Innovative Internet Computing Systems International Workshop IICS 2001 Ilmenau, Germany, June 21-22, 2001 Proceedings /
Έκδοση: (2001)

Theorem Proving in Higher Order Logics 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings /
Έκδοση: (2000)

Principles and Practice of Constraint Programming - CP 2001 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings /
Έκδοση: (2001)

Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers /
Έκδοση: (2001)

Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings /
Έκδοση: (2003)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών