103 search results - page 21 / 21 » Algebraic Methods for Interactive Proof Systems |
JUCS
2010
13 years 12 days ago
2010
: All processes of life are controlled by networks of interacting biochemical components. The purpose of modelling these networks is manifold. From a theoretical point of view it a...
15
Voted
ICAIL
2003
ACM
13 years 11 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
ATAL
2006
Springer
13 years 9 months ago
2006
Springer
Distributed constraint optimization (DCOP) has emerged as a useful technique for multiagent coordination. While previous DCOP work focuses on optimizing a single team objective, i...