2038 search results - page 63 / 408 » Probabilistic Agent Programs |
128
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract-- Recent research on multi-agent systems has produced a plethora of decentralized controllers that implicitly assume various degrees of agent localization. However, many p...
117
click to vote
AAAI
1990
15 years 3 months ago
1990
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...
130
Voted
QEST
2006
IEEE
15 years 8 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
This work focuses on an emerging extension to traditional agent models, called Hierarchical Mobile Agents model, where an agent can contain other agents recursively. The model ena...