Michael Fisher, Michael Wooldridge  Home/Search
Context Related
| gryphon.elec.qmw.ac.uk/dai/...epia93.ps elec.qmw.ac.uk/dai/people/m...epia93.ps elec.qmw.ac.uk/dai/peopl...epia93.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: cs.bham.ac.uk/~sra/People...index (more) From: elec.qmw.ac.uk/dai/people/mike... (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . This paper describes first steps towards the formal specification and verification of Distributed Artificial Intelligence (DAI) systems, through the use of temporal belief logics. The paper first describes Concurrent METATEM, a programming language for DAI, and then develops a logic that may be used to reason about Concurrent METATEM systems. The utility of this logic for specifying and verifying Concurrent METATEM systems is demonstrated through a number of examples. The paper concludes with ... (Update)
Context of citations to this paper: More
...Non trivial combinations of different types of reflective reasoning, however, have not been studied extensively. In literature [55, 39, 56, 57] on multi agent systems, most often the types of reflective reasoning agents are capable of performing is limited. For example, in...
.... behaviour can be modelled in an environment of autonomous agents (that are themselves responsible for managing cooperation) In [FW93], a different approach for the specification of multi agent systems is discussed, in which temporal logic is used to specify behaviour of...
Cited by: More
On Behavior of Interacting Agents - Dekhtyar, Dikovsky, Valiev (2002) (Correct)
Modeling and Analyzing Multi-Agent Behaviors Using.. - Xu, Volz, Ioerger, Yen (2003) (Correct)
Representing and Executing Agent-Based Systems - Fisher (1994) (Correct)
Similar documents (at the sentence level):
13.4%: Specifying and Executing Protocols for Cooperative Action - Fisher, Wooldridge (1994) (Correct)
11.9%: Specifying And Executing Protocols For Cooperative Action - Fisher, Wooldridge (1994) (Correct)
5.4%: The Logical Modelling of Computational Multi-Agent Systems - Wooldridge (1992) (Correct)
Active bibliography (related documents): More All
1.1: Specifying and Verifying Distributed Intelligent Systems - Fisher, Wooldridge (1993) (Correct)
0.6: Executable Temporal Logic for Distributed A.I. - Fisher, Wooldridge (1993) (Correct)
0.5: A Logical Approach to Simulating Societies - Fisher, Wooldridge (Correct)
Similar documents based on text: More All
1.0: Towards a Semantics for Concurrent METATEM - Fisher (1995) (Correct)
0.4: Distributed Problem-Solving as Concurrent Theorem Proving - Fisher, Wooldridge (1997) (Correct)
0.3: A Knowledge-Theoretic Semantics for Concurrent METATEM - Wooldridge (1996) (Correct)
Related documents from co-citation: More All
9: Formal Specification of Multi-Agent Systems: a Real World Case - Brazier, Dunin et al. - 1995
8: Agent-oriented programming (context) - Shoham - 1993
7: A formal model for the dynamics of compositional reasoning systems (context) - Gavrila, Treur - 1994
BibTeX entry: (Update)
Fisher, M. and Wooldridge, M. (1993) Specifying and Verifying Distributed Intelligent Systems. http://citeseer.ist.psu.edu/fisher93specifying.html More
@inproceedings{ fisher93specifying,
author = "M. Fisher and M. Wooldridge",
title = "Specifying and verifying distributed intelligent systems",
booktitle = "Progress in Artificial Intelligence - Sixth Portuguese Conference on Artificial Intelligence ({LNAI} Volume 727)",
publisher = "Springer-Verlag: Heidelberg, Germany",
editor = "M. Filgueiras and L. Damas",
pages = "13--28",
year = "1993",
url = "citeseer.ist.psu.edu/fisher93specifying.html" }
Citations (may not include all citations):725 Temporal and Modal Logic (context) - Emerson - 1990
673 Actors - A Model for Concurrent Computation in Distributed S.. (context) - Agha - 1986
349 The Process Group Approach to Reliable Distributed Computing (context) - Birman - 1991
261 Reactive Reasoning and Planning (context) - Georgeff, Lansky - 1987
246 Readings in Distributed Artificial Intelligence (context) - Bond, Gasser - 1988
163 The Temporal Analysis of Fairness (context) - Gabbay, Pnueli et al. - 1980
135 Decision-Making in an Embedded Reasoning System (context) - Georgeff, Ingrand - 1989
98 A Message System Supporting Fault Tolerance (context) - Borg, Baumbach et al. - 1983
94 A Deduction Model of Belief (context) - Konolige - 1986
81 The Tableau Method for Temporal Logic: An overview (context) - Wolper - 1985
71 A Really Abstract Concurrent Model and its Temporal Logic (context) - Barringer, Kuiper et al. - 1986
60 METATEM: A Framework for Programming in Temporal Logic - Barringer, Fisher et al. - 1989
51 MACE: A Flexible Testbed for Distributed AI Research (context) - Gasser, Braganza et al. - 1987
51 Declarative Past and Imperative Future: Executable Temporal .. (context) - Gabbay - 1987
35 The Logical Modelling of Computational Multi-Agent Systems - Wooldridge - 1992
24 Meta-Reasoning in Executable Temporal Logic - Barringer, Fisher et al. - 1991
23 Modeling Agents within a BDI-Architecture (context) - Rao, Georgeff - 1991
19 MAGES: A Multi-Agent Testbed for Heterogeneous Agents (context) - Bouron, Ferber et al. - 1991
19 A First-Order Branching Time Logic of Multi-Agent Systems - Wooldridge, Fisher - 1992
18 Temporal-Logic Theorem Proving (context) - Abadi - 1987
16 From the Past to the Future: Executing Temporal Logic Progra.. - Fisher, Owens - 1992
16 Department of Computer Science (context) - Shoham, Programming et al. - 1990
14 Concurrent METATEM Processes --- A Language for Distributed .. - Fisher, Barringer - 1991
13 Modelling Autonomous Agents and their Groups (context) - Maruichi, Ichikawa et al. - 1990
12 Concurrent METATEM --- A Language for Modeling Reactive Syst.. (context) - Fisher - 1993
11 Executable Temporal Logic for Distributed - Fisher, Wooldridge - 1993
11 Actors and Agents as Reflective Concurrent Objects: a MERING.. (context) - Ferber, Carle - 1991
7 Department of Applied Mathematics (context) - Harel, Pnueli et al. - 1985
7 The MCS Multi Agent Testbed: Developments and Experiments (context) - Doran, Carvajal et al. - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.bham.ac.uk/~sra/People/Vwxyz/Wooldridge/index.html): More
Towards a Theory of Cooperative Problem Solving - Wooldridge (1996) (Correct)
Agent-Based Software Engineering - Wooldridge, Fisher (1994) (Correct)
Formalizing the Cooperative Problem Solving Process - Wooldridge, al. (1994) (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