- Referenced in 3 articles
- complete logic for automatic verification of simpleAPL programs. simpleAPL is a simplified version of agent ... correspondence between the operational semantics of simpleAPL and the models of the logic ... translate agent programs written in simpleAPL into expressions of the logic, and give an example...
- Referenced in 96 articles
- AgentSpeak is an agent-oriented programming language. It...
- Referenced in 14 articles
- 2APL: a practical agent programming language. This article...
- Referenced in 32 articles
- 3APL (triple-a-p-l). An Abstract Agent...