2038 search results - page 308 / 408 » Probabilistic Agent Programs |
113
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
110
Voted
ESAW
2007
Springer
15 years 8 months ago
2007
Springer
The ubiquity of our increasingly distributed and complex computing environments have necessitated the development of programming approaches and paradigms that can automatically man...
140
Voted
KES
2007
Springer
15 years 8 months ago
2007
Springer
The paper describes Breedbot an edutainment software and hardware system that could be used to evolve autonomous agents in digital (software) world and to transfer the evolved mind...
95
Voted
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
Since participants in a computational Grid may be independent bodies, some mechanisms are necessary for resolving their differences. The contribution of this work is designing a b...
117
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...