Intelligent Agents IV: Agent Theories, Architectures, and Languages 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings /

Intelligent Agents IV: Agent Theories, Architectures, and Languages 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings /

This carefully edited book constitutes the strictly refereed post-workshop proceedings of the 4th International Workshop on Agent Theories, Architectures, and Languages, ATAL'97, held in Providence, Rhode Island, USA, in July 1997. The 25 revised full papers presented were selected from a total...

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

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

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

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

Intelligent Agents VII. Agent Theories Architectures and Languages 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000. Proceedings /
Έκδοση: (2001)

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

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)

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 VI. Agent Theories, Architectures, and Languages 6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings /
Έκδοση: (2000)

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

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

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

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

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

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

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

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

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)

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

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

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)

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

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

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)

Theorem Proving in Higher Order Logics 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings /
Έκδοση: (2004)

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

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

Logic Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers /
Έκδοση: (2002)

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

Constraints in Computational Logics: Theory and Applications International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures /
Έκδοση: (2001)

Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997. /
Έκδοση: (1998)

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

Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm 8th International Workshop, FPL'98 Tallinn, Estonia, August 31 - September 3, 1998 Proceedings /
Έκδοση: (1998)

Computer Science Logic 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers /
Έκδοση: (1997)

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

Transactional Agents Towards a Robust Multi-Agent System /
ανά: Nagi, Khaled, κ.ά.
Έκδοση: (2001)

Mobile Agents 6th International Conference, MA 2002, Barcelona, Spain, October 22-25, 2002, Proceedings /
Έκδοση: (2002)

Mobile Agents 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings /
Έκδοση: (2001)

Agent Technologies, Infrastructures, Tools, and Applications for E-Services NODe 2002 Agent-Related Workshop, Erfurt, Germany, October 7-10, 2002, Revised Papers /
Έκδοση: (2003)

Logic-Based Program Synthesis and Transformation 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers /
Έκδοση: (1999)

Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection 17th International Conference, PAAMS 2019, Ávila, Spain, June 26-28, 2019, Proceedings /
Έκδοση: (2019)

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures /
Έκδοση: (2019)

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