5198 search results - page 136 / 1040 » A Logic of Agent Programs |
133
click to vote
TACAS
1998
Springer
15 years 3 months ago
1998
Springer
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
JAPLL
2007
14 years 11 months ago
2007
ecking, algebraic, abstract machines, etc.). THE JOURNAL The Journal of Applied Logic1 publishes papers in areas of logic which can be applied in other disciplines as well as appli...
ISMIS
2003
Springer
15 years 4 months ago
2003
Springer
We discuss how mobile agents, moving in the Internet from node to node, can communicate with each other by forwarding messages in a robust way. As a solution, we present the genera...
ATAL
2009
Springer
15 years 21 days ago
2009
Springer
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems ...
AI
1998
Springer
14 years 11 months ago
1998
Springer
This paper addresses the logical foundations of goal-regression planning in autonomous rational agents. It focuses mainly on three problems. The first is that goals and subgoals w...