622 search results - page 10 / 125 » The Agent Modeling Language (AMOLA) |
AAMAS
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
AOSE
2001
Springer
15 years 4 months ago
2001
Springer
127
click to vote
AAMAS
2011
Springer
14 years 3 months ago
2011
Springer
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...
100
click to vote
SAC
2002
ACM
14 years 11 months ago
2002
ACM
This paper describes some extensions added to the continuous simulation language OOCSMP to perform agent-oriented simulation. The extensions are tested by simulating the evolution...
AAAI
2007
15 years 1 months ago
2007
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...