Michael Wooldridge  Home/Search
Context Related
| elec.qmw.ac.uk/dai/peo...foundations.ps gryphon.elec.qmw.ac.uk...foundations.ps csc.liv.ac.uk/~mjw/...foundations.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: elec.qmw.ac.uk/dai/people/mike... (more) From: cs.bham.ac.uk/~sra/People...index (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this article, we look at formal methods for reasoning about multi-agent systems, with particular emphasis on the twin problems of specifying and verifying such systems. We begin by critically reviewing several types of formalism, from both AI and mainstream computer science, which suggest themselves as possible candidates for the task. This review leads us to conclude that none of these formalisms are ideal, but that a hybrid approach might be suitable. The method we propose involves... (Update)
Context of citations to this paper: More
.... The issues surrounding the use of logics like LM to reason about DAI systems are considered at length in [23] and more briefly in [6, 25]; they will not, therefore, be discussed again here. Instead, we simply note that LM can be used in both the specification and...
Cited by: More
MYWORLD: The Logic of an Agent-Oriented DAI Testbed - Michael Wooldridge (Correct)
Similar documents (at the sentence level):
8.2%: The Logical Modelling of Computational Multi-Agent Systems - Wooldridge (1992) (Correct)
Active bibliography (related documents): More All
0.6: Intelligent Agents: Theory and Practice - Wooldridge, Jennings (1995) (Correct)
0.6: Agent Theories, Architectures, and Languages: A Survey - Wooldridge, Jennings (1994) (Correct)
0.5: Exploiting Symmetries In Stochastic Process Algebras - Hermanns, Ribaudo (1998) (Correct)
Similar documents based on text: More All
0.2: Formalizing the Cooperative Problem Solving Process - Wooldridge, al. (1994) (Correct)
0.2: Myworld: An Agent-Oriented Testbed For Distributed.. - Wooldridge.. (1993) (Correct)
0.1: Resolution for Temporal Logics of Knowledge - Dixon, Fisher, Wooldridge (1998) (Correct)
BibTeX entry: (Update)
M. Wooldridge. Temporal belief logics for modelling distributed artificial intelligence systems. In G. M. P. O'Hare and N. R. Jennings, editors, Foundations of Distributed Artificial Intelligence. John Wiley & Sons: Chichester, England, 1995. (To appear). http://citeseer.ist.psu.edu/wooldridge95temporal.html More
@incollection{ wooldridge95temporal,
author = "M. Wooldridge",
title = "Temporal Belief Logics for Modelling Distributed Artificial Intelligence Systems",
booktitle = "Foundations of Distributed Artificial Intelligence",
publisher = "John Wiley \& Sons",
editor = "G. M. P. O'Hare and N. R. Jennings",
year = "1995",
url = "citeseer.ist.psu.edu/wooldridge95temporal.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
725 Temporal and modal logic (context) - Emerson - 1990
539 The temporal logic of programs (context) - Pnueli - 1977
458 Intelligence without reason - Brooks - 1991
453 Agent-oriented programming (context) - Shoham - 1993
399 Intention is choice with commitment (context) - Cohen, Levesque - 1990
343 Modal Logic: An Introduction (context) - Chellas - 1980
297 A calculus of mobile processes (context) - Milner, Parrow et al. - 1992
274 Situations and Attitudes (context) - Barwise, Perry - 1983
210 A formal theory of knowledge and action (context) - Moore - 1985
194 Knowledge and Belief (context) - Hintikka - 1962
173 On acting together (context) - Levesque, Cohen et al. - 1990
161 A logic of implicit and explicit belief (context) - Levesque - 1984
154 The Intentional Stance (context) - Dennett - 1987
144 Knowledge in Flux (context) - Gardenfors - 1988
138 An abstract architecture for rational agents (context) - Rao, Georgeff - 1992
100 The complexity of reasoning about knowledge and time - Halpern, Vardi - 1989
94 A Deduction Model of Belief (context) - Konolige
63 An architecture for intelligent reactive systems (context) - Kaelbling - 1986
61 Strategies of cooperation in distributed problem solving (context) - Cammarata, McArthur et al. - 1983
56 A resolution method for temporal logic - Fisher - 1991
51 MACE: A flexible testbed for distributed AI research (context) - Gasser, Braganza et al. - 1987
50 Using reasoning about knowledge to analyze distributed syste.. (context) - Halpern - 1987
35 Specification and development of reactive systems (context) - Pnueli - 1986
35 The Logical Modelling of Computational Multi-Agent Systems - Wooldridge - 1992
25 and limited reasoning (context) - Fagin, Halpern - 1985
23 Decision procedures for temporal logic (context) - Gough - 1984
19 A first-order branching time logic of multi-agent systems - Wooldridge, Fisher - 1992
16 A decision procedure for a temporal belief logic - Wooldridge, Fisher - 1994
15 What awareness isn't: A sentential view of implicit and expl.. (context) - Konolige - 1986
11 Executable temporal logic for distributed - Fisher, Wooldridge
11 An experiment in cooperation (context) - Connah, Wavish - 1990
7 The MCS multi-agent testbed: Developments and experiments (context) - Doran, Carvajal et al. - 1991
6 Liveness and fairness properties in multi-agent systems (context) - Burkhard - 1993
5 Available as technical report STAN--CS (context) - Thomas - 1993
2 Communication and Concurrency (context) - Milner - 1989
1 A guide to completeness and complexity for modal logics of k.. (context) - of, Science et al. - 1992
Documents on the same site (http://www.elec.qmw.ac.uk/dai/people/mikew/pubs/): More
A Decision Procedure for a Temporal Belief Logic - Wooldridge, Fisher (1994) (Correct)
Executable Temporal Logic for Distributed A.I. - Fisher, Wooldridge (1993) (Correct)
Agents And Software Engineering - Wooldridge (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC