878 search results - page 106 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
172
click to vote
LPNMR
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...
167
click to vote
AIPS
2000
15 years 7 months ago
2000
The Remote Agent Experiment (RAX) on the Deep Space 1 (DS1) mission was the first time that an artificially intelligent agent controlled a NASA spacecraft. One of the key componen...
168
click to vote
JSAC
2010
15 years 4 months ago
2010
—We study broadcasting of information in a system of moving agents equipped with omnidirectional as well as directional antenna. The agent communication protocol is inspired by t...
169
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
157
click to vote
ATAL
2009
Springer
16 years 28 days ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...