1. (100%) Temporal Belief Logics for Modelling Distributed Artificial Intelligence Systems - Michael Wooldridge
In this article, we look at formal methods for reasoning about multi-agent systems, with particular ...
(ps) - 31-mar-2009

2. (100%) The Logical Modelling of Computational Multi-Agent Systems - Michael Wooldridge
THE aim of this thesis is to investigate logical formalisms for describing, reasoning about, specify ...
(ps) - 31-mar-2009

3. (100%) Agents And Software Engineering - Michael Wooldridge
Software engineers continually strive to develop tools and techniques to manage the complexity that ...
(ps) - 31-mar-2009

4. (100%) Agent-Based Software Engineering - Michael Wooldridge
The technology of intelligent agents and multi-agent systems seems set to radically alter the way in ...
(ps) - 31-mar-2009

5. (100%) Coherent Social Action - Michael Wooldridge
. Formal analysesof social action for Distributed A.I. (DAI) have focussed, almost exclusively, on s ...
(ps) - 31-mar-2009

6. (100%) Agent-Based Computing - Michael Wooldridge
This article is an introductory survey of agent-based computing. The article begins with an overview ...
(ps) - 31-mar-2009

7. (100%) (+44 61) 247 1531 - Michael Wooldridge
In this article, we look at formal methods for reasoning about multi-agent systems, with particular ...
(ps) - 31-mar-2009

8. (100%) Coherent Social Action - Michael Wooldridge
. Formal analysesof social action for Distributed A.I. (DAI) have focussed, almost exclusively, on s ...
(ps) - 31-mar-2009

9. (100%) MYWORLD: The Logic of an Agent-Oriented DAI Testbed - Michael Wooldridge
. The ultimate goal of the work presented in this article is to develop practical frameworks for for ...
(ps) - 31-mar-2009

10. (100%) A Knowledge-Theoretic Approach to Distributed Problem Solving - Michael Wooldridge
. Traditional approaches to distributed problem solving have treated the problem as one of distribut ...
(ps) - 31-mar-2009

Página de resultados:
1  2  3  4  5  6  7  8  9  10  Siguiente