Formal models of agents ESPRIT project modelage final workshop selected papers

Formal models of agents ESPRIT project modelage final workshop selected papers

Saved in:

Bibliographic Details
Other Authors:	Meyer, John-Jules Ch, Pierre-Yves, Schobbens
Format:	Unknown
Published:	Berlin Springer 1999
Subjects:	Intelligent agents (Computer software) Formal methods (Computer science)
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Teamwork in multi-agent systems a formal approach
by: Dunin-Keplicz, Barbara
Published: (2010)

Understanding formal methods
by: Monin, Jean Fran?cois 1960-
Published: (2003)

Agent technology foundations, applications, and markets
Published: (1998)

Intelligent software agents
by: Murch, Richard
Published: (1999)

Issues in Agent Communication
by: Dighum, Frank
Published: (2000)

Understanding agent systems
by: 'Inverno
Published: (2001)

Understanding agent systems
by: D'Inverno, Mark
Published: (2004)

Reasoning about rational agents
by: Wooldridge, Michael J. 1966-
Published: (2000)

Computational intelligence for agent-based systems
Published: (2007)

A STUDY OF SECURITY IN MOBILE AGENT
by: Sufian Ibnu Hassan
Published: (2003)

Agent-oriented methodologies
Published: (2005)

Coordination of internet agents models, technologies, and applications
Published: (2001)

Agent engineering Jiming Liu, editors ...{et al.]
Published: (2001)

Intelligent agents VIII agent theories, architectures, and languages : 8th international workshop, ATAL 2001, Seattle, WA, USA, August 1-3, 2001 : revised papers
Published: (2002)

Agent Systems, Mobile Agents, and applications proceedings of the ...held September 13 - 15, 2000
Published: (2000)

Heterogeneous agent systems
Published: (2000)

Intelligent agent software engineering
by: Plekhanova, Valentina
Published: (2003)

Agent-based software development
by: Luck, Michael Michael M
Published: (2004)

Intelligent agents VI agent theories, architectures, and languages proceedings of the ...held July 15 - 17, 1999
Published: (2000)

Soft computing agents new trends for designing autonomous system
Published: (2001)

Knowledge engineering and agent technology
Published: (2004)

Multi-Agent Oriented Programming Programming Multi-Agent Systems Using JaCaMo
by: Boissier, Olivier, et al.
Published: (2020)

Soft computing agents a new perspective for dynamic information systems
Published: (2002)

Lectures on formal methods and performance analysis revised lectures/first EEF summer school on trends in computer science, July 3 - 7, 2000
Published: (2001)

Distributed search by constrained agents algorithms, performance, communication
by: Meisels, Amnon
Published: (2008)

Design and applications of intelligent agents proceedings of the ...held, August 28 - 29, 2000
Published: (2000)

Embodied conversational agents
Published: (2000)

Advances in the evolutionary synthesis of intelligent agents
Published: (2001)

Programming multi-agent systems in agentspeak using jason
by: Bordini, Rafael H.
Published: (2007)

Agent technology for communication infrastructures
Published: (2001)

Socially intelligent agents creating relationships with computers and robots
Published: (2002)

Agent-oriented programming from prolog to guarded definite clauses
by: Huntbach, Matthew M.
Published: (1999)

Agent mediated electronic commerce the European agentlink perspective
Published: (2001)

Autonomous agents and multi-agent systems explorations in learning, self-organization and adaptive computation
by: Liu, Jiming 1962-
Published: (2001)

Multi-agent-based simulation revised and additional papers, July 2000
Published: (2001)

Modeling and verification of real-time systems formalisms and software tools
Published: (2008)

An Introduction to MultiAgent Systems
by: Wooldridge, Michael
Published: (2009)

Agent-oriented software engineering; revised paper/June 10, 2000
Published: (2001)

Cooperative information agents IV the future of information agents in cyberspace Proceedings of the ...held July 7 - 9, 2000
Published: (2000)

Constructing intelligent agents using Java
by: Bijus, Joseph P
Published: (2001)