2638 search results - page 111 / 528 » Frameworks for Reasoning about Agent Based Systems |
121
click to vote
JLP
1998
15 years 4 months ago
1998
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
132
click to vote
SKG
2006
IEEE
15 years 10 months ago
2006
IEEE
Agents will adopt different strategies in the multiagent systems. However, the strategies of agents may produce conflicts. While agents coordinate with each other in the operation...
131
click to vote
INTELLCOMM
2004
Springer
15 years 9 months ago
2004
Springer
Web prefetching techniques have pointed to be especially important to reduce web latencies and, consequently, an important set of works can be found in the open literature. But, in...
139
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore ...
147
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...