1052 search results - page 122 / 211 » Distributed Logic Programming using Mobile Agents |
87
Voted
AAAI
1994
15 years 2 months ago
1994
Most Artificial Intelligence programs lack generality because they reason with a single domain theory that is tailored for a specific task and embodies a host of implicit assumpti...
110
Voted
MOBIHOC
2004
ACM
16 years 12 days ago
2004
ACM
In the near future, the advent of large-scale networks of mobile agents autonomously performing long-term sensing and communication tasks will be upon us. However, using controlle...
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
109
click to vote
IJCAI
2003
15 years 2 months ago
2003
FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...
100
click to vote
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...