Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

82

Voted

FAABS
2000
Springer

favoriteEmaildiscussreport

89views Intelligent Agents» more FAABS 2000»

On Formal Modeling of Agent Computations

15 years 1 months ago

On Formal Modeling of Agent Computations

Download groups.csail.mit.edu

Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyos

Real-time Traffic

FAABS 2000 | Intelligent Agents |

claim paper

Related Content

» Engineering AgentSpeakL A Formal Computational Model

» A Finite State Mobile Agent Computation Model

» A Computational Model for Conversation Policies for Agent Communication

» Networks of Influence Diagrams A Formalism for Representing Agents Beliefs and DecisionMak...

» Operational Modelling of Agent Autonomy Theoretical Aspects and a Formal Language

» Formal Modelling of Emotions in BDI Agents

» Formal Agent Development Framework to System

» On the Formal Semantics of SpeechAct Based Communication in an AgentOriented Programming L...

» A Virtual Human Agent Model with Behaviour Based on Feeling Exhaustion

Post Info
More Details (n/a)

Added	24 Aug 2010
Updated	24 Aug 2010
Type	Conference
Year	2000
Where	FAABS
Authors	Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano

Comments (0)