- 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 94 articles
- AgentSpeak is an agent-oriented programming language. It...
- Referenced in 12 articles
- 2APL: a practical agent programming language. This article...
- Referenced in 29 articles
- 3APL (triple-a-p-l). An Abstract Agent...