3729 search results - page 99 / 746 » On Formal Modeling of Agent Computations |
135
click to vote
ARGMAS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper presents a coherentist approach to argumentation that extends previous proposals on cognitive coherence based agent communication pragmatics (inspired from soc...
132
Voted
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predica...
185
click to vote
AIR
2005
15 years 5 months ago
2005
The scientific research in the area of computational mechanisms for trust and reputation in virtual societies is a recent discipline oriented to increase the reliability and perfor...
174
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
136
click to vote
PDP
2009
IEEE
16 years 12 days ago
2009
IEEE
PUB (Paderborn University BSPLib) is a C library supporting the development of Bulk-Synchronous Parallel (BSP) algorithms. The BSP model allows an estimation of the execution time...