See this document in CiteSeerX!

A Minimal Calculus for Situated Multi-Agent Systems (2003)  (Make Corrections)  (3 citations)
Chrysafis (Takis) Hartonas



  Home/Search   Context   Related

 
View or download:
pinios.teilar.gr/pub/inc...abstract.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  teilar.gr/~hartona...publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
A process-algebraic approach to multi-agent systems (language, operational semantics, behavioral equivalence)

Abstract: We present a process-algebraic approach to situated multi-agent systems which incorporates syntax for agent systems as well as for the environments (workspaces) they live in. Agent states are characterized by (1) a belief state, (2) a goal (desire, need) state and (3) a capabilities state. Capabilities are determined by a subspace of the workspace the agent lives in, and they are represented in the agent state as a collection of types of objects (tools, in the agent's workspace) the agent has... (Update)

Context of citations to this paper:   More

.... teilar.gr Abstract This paper continues, simplifies and improves on previous work presented by this author in [5]. We present a process algebraic approach to multi agent systems, situated in some environment (workspace) Agent states are characterized by (1) a belief state,...

.... Institute of Larissa, Greece hartonas teilar.gr May 9, 2003 Abstract This report continues and improves on our previous work [12, 13, 14] on a process algebraic approach to multi agent systems. Our representation of agent states is more subtle than before and we introduce...

Cited by:   More
Towards Team-Orientation in Agent Design: Social Plan .. - Hartonas.. (2003)   (Correct)
Towards Team-Orientation in Agent Design: Proof-Checking Plan.. - Hartonas (2003)   (Correct)
A Simplified Calculus for Situated Multi-Agent Systems - Hartonas (2003)   (Correct)

Similar documents (at the sentence level):
52.9%:   A Minimal Calculus for Situated Multi-Agent Systems - Hartonas (2002)   (Correct)

Active bibliography (related documents):   More   All
0.2:   A Process Algebraic Specification of the New Asynchronous.. - Gaspari, Zavattaro (1999)   (Correct)
0.2:   Towards a Toolkit for Actor System Specification - Talcott   (Correct)
0.1:   Running AgentSpeak(L) Agents on SIM AGENT - Machado, Bordini (2001)   (Correct)

Similar documents based on text:   More   All
0.6:   Denotational Semantics for a Higher-Order Extension of the.. - Hartonas   (Correct)
0.3:   Design of a Microprocessor-based Control System of.. - Technological.. (2004)   (Correct)
0.3:   SOS-ware DEVILS - Strategic Open Software   (Correct)

Related documents from co-citation:   More   All
3:   Generalized Object-Oriented Concepts for Inter-Agent Communication (context) - van Eijk, de Boer et al. - 2001
3:   A Calculus of Mobile Processes I & II (context) - Milner, Parrow et al. - 1992
3:   the logic of information flow - Barwise, Gabbay et al. - 1995

BibTeX entry:   (Update)

Hartonas, C., "A Minimal Calculus for Situated Multi-Agent Systems", in eProceedings, SSGRR03w (Advances in Infrastructures for e-Business, e-Education, e-Science, e-Medicine), L'Aquila, Italy, January 2003. http://citeseer.ist.psu.edu/article/hartonas03minimal.html   More

@misc{ hartonas-minimal,
  author = "Takis Hartonas",
  title = "A Minimal Calculus for Situated Multi-Agent Systems",
  url = "citeseer.ist.psu.edu/article/hartonas03minimal.html" }
Citations (may not include all citations):
453   Agent-Oriented Programming (context) - Shoham - 1993
134   A Theory of Objects (context) - Abadi, Cardelli - 1996
107   A Foundation for Actor Computation - Agha, Mason et al. - 1997
72   Agent Technology: Foundations (context) - Jennings, Wooldridge - 1998
32   Type Systems for Object-Oriented Programming Languages - Fisher - 1996
25   From Active Objects to Autonomous Agents - Guessoum, Briot - 1999
20   Agent Theories, Architectures and Languages: A Survey - Wooldridge, Jennings - 1995
12   AGENT0: A Simple Agent Language and its Interpreter (context) - Shoham - 1996
8   Information Passing and Belief Revision in Multi-Agent Syste.. - van Eijk, de Boer et al. - 1999
6   A Language for Modular Information-Passing Agents - van Eijk, de Boer et al. - 1998
6   Calculus: An Algebraic Agent Language (context) - Kinny - 2002
5   Generalized Object-Oriented Concepts for Inter-Agent Communi.. (context) - van Eijk, de Boer et al. - 2001
4   An Algebra of Actors - Gaspari, Zavattaro
2   Object-Agent Oriented Programming - Amandi, Iturregui et al. - 1997
1   Calculus of Objects and Method Specialization (context) - Fisher, Honsell et al. - 1994

Documents on the same site (http://www.teilar.gr/~hartonas/publications.html):   More
Full Abstractness for a Functional/Concurrent Language With .. - Hartonas, Hennessy (1998)   (Correct)
Denotational Semantics for a Higher-Order Extension of the.. - Hartonas   (Correct)
Full Abstractness for a Functional/Concurrent Language With .. - Hartonas, Hennessy (1998)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC