On Formal Modeling of Agent Computations.
Tadashi AraragiPaul C. AttieIdit KeidarKiyoshi KogureVictor LuchangcoNancy A. LynchKen ManoPublished in: FAABS (2000)
Keyphrases
- multi agent
- multi agent systems
- agent model
- software agents
- decision making
- intelligent agents
- autonomous agents
- dynamic environments
- agent architecture
- formal model
- mobile agents
- agent environment
- cognitive agents
- formal representation
- formal models
- plan execution
- multiagent systems
- real time
- supply chain
- knowledge base
- e learning
- machine learning
- data sets