Michael John Wooldridge  Home/Search
Context Related
| cosy.sbg.ac.at/~stok...wooldridge.ps.gz elec.qmw.ac.uk/dai/peopl...thesis.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: cosy.sbg.ac.at/~stokkerm/work (more) From: elec.qmw.ac.uk/dai/people/mike... (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: THE aim of this thesis is to investigate logical formalisms for describing, reasoning about, specifying, and perhaps ultimately verifying the properties of systems composed of multiple intelligent computational agents. There are two obvious resources available for this task. The first is the (largely AI) tradition of reasoning about the intentional notions (belief, desire, etc.). The second is the (mainstream computer science) tradition of temporal logics for reasoning about reactive systems.... (Update)
Context of citations to this paper: More
...There are many definitions of a social agent. For example, Wooldridge states that any agent in a multi agent system is necessarily social [14] and Moulin and Chaibdraa [10] take an agent to be social if it can model others. However, the term is more often associated with social...
.... 43] the Belief Desire Intention architecture [38, 39, 40] logics for the specification and verification of multi agent systems [44, 45], logics for agents with bounded rationality [21, 22] and cognitive robotics [26, 27] In our research [18, 19, 29, 30, 31, 32, 33] we...
Cited by: More
Towards a Logic of Rational Agency - van der Hoek, Wooldridge (2003) (Correct)
Agent-Oriented Language Engineering for Robust NLP - Pallotta, Ballim (Correct)
Seeing is Believing - And so are Hearing and Jumping - van Linder, van der Hoek.. (1995) (Correct)
Similar documents (at the sentence level):
5.5%: Agent Theories, Architectures, and Languages: A Survey - Wooldridge, Jennings (1994) (Correct)
Active bibliography (related documents): More All
2.9: Intelligent Agents: Theory and Practice - Wooldridge, Jennings (1995) (Correct)
2.0: Agent-Based Computing - Wooldridge (1997) (Correct)
1.7: An Annotated Bibliography of Software Agent Technology - Moore, Noschang, Penix (Correct)
Similar documents based on text: More All
0.0: DP Structure, HPSG and the Chinese NP - Xue, McFetridge (Correct)
0.0: Agent-Based Software Engineering - Wooldridge, Fisher (1994) (Correct)
0.0: Many birds fly, some don't (Elaborations on a.. - Custódio.. (Correct)
Related documents from co-citation: More All
20: Agent-oriented programming (context) - Shoham - 1993
19: Intention is choice with commitment (context) - Cohen, Levesque - 1990
12: Modeling rational agents within a BDI-architecture - Rao, Georgeff - 1991
BibTeX entry: (Update)
M. Wooldridge. The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, Department of Computation, UMIST, Manchester, UK, October 1992. http://citeseer.ist.psu.edu/wooldridge92logical.html More
@phdthesis{ wooldridge92logical,
author = "M. J. Wooldridge",
title = "On the Logical Modelling of Computational Multi-Agent Systems",
address = "Manchester, UK",
year = "1992",
url = "citeseer.ist.psu.edu/wooldridge92logical.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
1364 A robust layered control system for a mobile robot (context) - Brooks - 1986
891 STRIPS: A new approach to the application of theorem proving.. (context) - Fikes, Nilsson - 1971
850 A logic for default reasoning (context) - Reiter - 1980
725 Temporal and modal logic (context) - Emerson - 1990
689 Systematic Software Development using VDM - Jones - 1990
673 ACTORS: A Model of Concurrent Computation in Distributed Sys.. (context) - Agha - 1986
663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
550 Parallel Distributed Processing (context) - McClelland, Rumelhart - 1987
539 The temporal logic of programs (context) - Pnueli - 1977
477 Intelligence without representation - Brooks - 1991
458 Intelligence without reason - Brooks - 1991
451 Planning for conjunctive goals (context) - Chapman - 1987
444 Towards a general theory of action and time (context) - Allen - 1984
399 Intention is choice with commitment (context) - Cohen, Levesque - 1990
370 A Mathematical Introduction to Logic (context) - Enderton - 1972
365 PENGI: An implementation of a theory of activity (context) - Agre, Chapman - 1987
343 Modal Logic: An Introduction (context) - Chellas - 1980
331 Logical Foundations of Artificial Intelligence (context) - Genesereth, Nilsson - 1987
327 How to Do Things With Words (context) - Austin - 1962
288 Planning in a hierarchy of abstraction spaces (context) - Sacerdoti - 1974
274 Situations and Attitudes (context) - Barwise, Perry - 1983
264 Knowledge and common knowledge in a distributed environment - Halpern - 1990
261 Reactive reasoning and planning (context) - Georgeff, Lansky - 1987
251 Generating project networks (context) - Tate - 1977
246 Readings in Distributed Artificial Intelligence (context) - Bond, Gasser - 1988
240 A guide to completeness and complexity for modal logics of k.. (context) - Halpern, Moses - 1992
224 Speech Acts: An Essay in the Philosophy of Language (context) - Searle - 1969
210 A formal theory of knowledge and action (context) - Moore - 1990
203 Introduction to Modal Logic (context) - Hughes, Cresswell - 1968
200 and Practical Reason (context) - Bratman, Plans - 1987
200 Viewing control structures as patterns of passing messages (context) - Hewitt - 1977
198 Practical Planning: Extending the Classical AI Planning Para.. (context) - Wilkins - 1988
194 Knowledge and Belief (context) - Hintikka - 1962
177 Temporal logic can be more expressive (context) - Wolper - 1983
173 On acting together (context) - Levesque, Cohen et al. - 1990
161 A logic of implicit and explicit belief (context) - Levesque - 1984
156 Rational interaction as the basis for communication (context) - Cohen, Levesque - 1990
154 The Intentional Stance (context) - Dennett - 1987
144 Knowledge in Flux (context) - Gardenfors - 1988
142 Elements of a plan based theory of speech acts (context) - Cohen, Perrault - 1979
140 Tense Logic and the Theory of Linear Order (context) - Kamp - 1968
123 Companion to Modal Logic (context) - Hughes, Cresswell - 1984
122 Applications of temporal logic to the specification and veri.. (context) - Pnueli - 1988
115 Coordination of Distributed Problem Solvers (context) - Durfee - 1988
105 Frameworks for cooperation in distributed problem solving (context) - Smith, Davis - 1980
99 The synthesis of digital machines with provable epistemic pr.. (context) - Rosenschein, Kaelbling - 1986
98 Planning English Sentences (context) - Appelt - 1985
96 Distributed Artificial Intelligence (context) - Huhns - 1987
96 Logic and Information (context) - Devlin - 1991
94 Knowledge and common knowledge in a byzantine environment I:.. (context) - Dwork, Moses - 1986
92 Present and Future (context) - Prior - 1967
77 the semantics of STRIPS - Lifschitz - 1986
77 Now you may compose temporal logic specifications (context) - Barringer, Kuiper et al. - 1984
75 Reasoning about knowledge and action (context) - Moore - 1977
74 Blackboard Systems (context) - Engelmore, Morgan - 1988
70 Cooperation between distributed agents through self organiza.. (context) - Steels - 1990
70 Verification of concurrent programs: The temporal framework (context) - Manna, Pnueli - 1981
68 An application of default logic to speech acts theory (context) - Perrault - 1990
67 Using partial global plans to coordinate distributed problem.. (context) - Durfee, Lesser - 1987
64 Formal theories of knowledge in AI and robotics (context) - Rosenschein - 1985
63 The temporal logic of branching time (context) - Ben-Ari, Manna et al. - 1981
63 An architecture for intelligent reactive systems (context) - Kaelbling - 1986
61 Strategies of cooperation in distributed problem solving (context) - Cammarata, McArthur et al. - 1983
60 METATEM: A framework for programming in temporal logic - Barringer, Fisher et al. - 1989
58 in and J. Y. Halpern. Belief, awareness, and limited reasoni.. (context) - Fag - 1985
56 A resolution method for temporal logic - Fisher - 1991
54 Knowledge preconditions for actions and plans (context) - Morgenstern - 1987
53 Cooperating agents: A unified theory of communication and so.. (context) - Werner - 1989
51 MACE: A flexible testbed for distributed AI research (context) - Gasser, Braganza et al. - 1987
51 Communication and interaction in multi-agent planning (context) - Georgeff - 1983
50 Using reasoning about knowledge to analyze distributed syste.. (context) - Halpern - 1987
47 What is intention (context) - Bratman - 1990
46 Representing and using organizational knowledge in DAI syste.. (context) - Gasser, Rouqette et al. - 1989
45 Negotiation and task sharing among autonomous agents in coop.. - Zlotkin, Rosenschein - 1989
44 Languages with self reference I: Foundations (context) - Perlis - 1985
42 Hierarchic autoepistemic theories for nonmonotonic reasoning.. (context) - Konolige - 1988
41 Negotiating task decomposition and allocation using partial .. (context) - Durfee, Lesser - 1989
40 execution and monitoring (context) - Ambros-Ingerson, Steel - 1988
40 Ascribing mental qualities to machines (context) - McCarthy - 1978
35 Specification and development of reactive systems (context) - Pnueli - 1986
34 A Framework for Distributed Problem Solving (context) - Smith - 1980
32 Towards a cooperation knowledge level for collaborative prob.. - Jennings - 1992
32 On being responsible - Jennings - 1992
30 Zeitschrift fur Mathematische Logik und Grundlagen der Mathe.. (context) - Kripke, of - 1963
28 Languages with self reference II: Knowledge (context) - Perlis - 1988
27 A Theoretical Framework for Computer Models of Cooperative D.. (context) - Galliers - 1988
26 Group ability and structure - Singh - 1991
26 not never' revisited: on branching time versus linear time t.. (context) - Emerson, Halpern - 1986
25 Declarative past and imperative future (context) - Gabbay - 1989
24 Towards a formal theory of communication for multi-agent sys.. - Singh - 1991
24 Toward a theory of communication and cooperation for multiag.. (context) - Werner - 1988
23 Decision procedures for temporal logic (context) - Gough - 1984
22 the properties of knowledge in distributed systems (context) - Fagin, Halpern et al. - 1992
22 A normal form for first-order temporal formulae - Fisher - 1992
22 A note on syntactical treatments of modality (context) - Thomason - 1980
22 Annual Review of Computer Science (context) - Georgeff - 1987
22 Formal Specification of Advanced AI Architectures (context) - Craig - 1991
22 Reasoning about knowledge: An overview (context) - Halpern - 1986
21 Rational Interaction: Cooperation Among Intelligent Agents (context) - Rosenschein - 1985
19 Expression and Meaning (context) - Searle - 1979
19 A first-order branching time logic of multi-agent systems - Wooldridge, Fisher - 1992
19 Abstract reasoning as emergent from concrete activity (context) - Chapman, Agre - 1986
19 Computer Science Department (context) - Shoham, Technical et al. - 1990
18 Temporal Logic Theorem Proving (context) - Abadi - 1987
18 Planning natural language utterances (context) - Appelt - 1982
17 Foundations of knowledge for distributed systems (context) - Fischer, Immerman - 1986
17 IEEE Transactions on Computers (context) - Smith, net - 1980
15 What awareness isn't: A sentential view of implicit and expl.. (context) - Konolige - 1986
15 A first-order formalization of knowledge and action for a mu.. (context) - Konolige - 1982
15 Manufacturing experience with the contract net (context) - Parunak - 1987
14 Concurrent METATEM Processes --- a language for distributed .. - Fisher, Barringer - 1991
14 Knowledge and implicit knowledge in a distributed environmen.. (context) - Fagin, Vardi - 1986
14 A Deduction Model of Belief and its Logics (context) - Konolige - 1984
14 BEINGS: Knowledge as interacting experts (context) - Lenat - 1975
14 From Modal Logic to Deductive Databases (context) - Thayse - 1989
13 Towards a formal theory of intentions (context) - Singh, Asher - 1991
12 Logics for reasoning about knowledge and belief (context) - Reichgelt - 1989
12 A representation of parallel activity based on events (context) - Lansky - 1986
12 Time for action: on the relation between time (context) - Shoham - 1989
12 On formal aspects of artificial social systems (context) - Moses, Tennenholtz - 1991
11 Branching time and partial order in temporal logic - Penczek - 1991
11 A critical examination of the Cohen-Levesque theory of inten.. - Singh - 1992
11 The consistency of syntactical treatments of knowledge (context) - Rivieres, Levesque - 1986
11 An experiment in cooperation (context) - Connah, Wavish - 1990
11 A strategic framework for multi-agent cooperative dialogue (context) - Galliers - 1988
10 Towards a semantics of desires - Kiss, Reichgelt - 1992
10 The CONTRACT NET: A formalism for the control of distributed.. (context) - Smith - 1977
10 Theoretical issues in the design and verification of distrib.. (context) - Sistla - 1983
10 Cooperative interaction as strategic belief revision (context) - Galliers - 1991
10 Towards an architecture for adaptive (context) - Ferguson - 1992
8 A comparison of first-order and modal logics of time (context) - Reichgelt - 1989
8 Exploiting emergent behaviour in multi-agent systems (context) - Wavish - 1992
8 Pitman Publishing: London and (context) - Konolige, Model et al. - 1986
8 What can agents do together: A semantics of co-operative abi.. (context) - Werner - 1990
8 Towards a theory of situated know-how (context) - Singh - 1990
8 A nonmonotonic logic for reasoning about speech acts and bel.. (context) - Appelt, Konolige - 1988
7 with corollaries on reflexion principles and finite axiomati.. (context) - Montague, of - 1963
7 The MCS multi-agent testbed: Developments and experiments (context) - Doran, Carvajal et al. - 1991
7 Distributed Artificial Intelligence Volume II (context) - Gasser, Huhns - 1989
7 Temporal logic and computer science: An overview (context) - Galton - 1987
7 A first-order theory of planning (context) - Morgenstern - 1986
7 A computationally attractive first-order logic of belief (context) - Lakemeyer - 1991
6 Decision procedures (context) - Ginsberg - 1987
6 A unified view of information (context) - Werner - 1991
6 Parallelism in artificial intelligence problem solving: A ca.. (context) - Fennell, Lesser - 1977
5 Springer-Verlag: Heidelberg (context) - Harel, Logic et al. - 1979
5 Distributed cooperation algorithms (context) - Werner - 1990
5 Agent Theories and Architectures (context) - Seel - 1989
5 Springer-Verlag: Heidelberg (context) - Smullyan - 1968
5 Completeness results for full branching time logic (context) - Stirling - 1988
5 The logic of distributed protocols: preliminary report (context) - Ladner, Reif - 1986
4 A universal modular ACTOR formalism for AI (context) - Hewitt - 1973
4 Can message buffers be axiomatized in temporal logic (context) - Sistla, Clarke et al. - 1985
4 Department of Computer Science (context) - Barringer, down et al. - 1985
4 FELINE --- a case study in the design and implementation of .. - Wooldridge, O'Hare et al. - 1991
4 Pitman Publishing: London (context) - Turner, Modality et al. - 1990
4 A formal computational semantics and pragmatics of speech ac.. - Werner - 1988
3 Action and agency in cognitive science (context) - Shardlow - 1990
3 A study of an extended temporal language and a temporal fixe.. (context) - Banieqbal, Barringer - 1986
3 An environment for experimentation with interactive cooperat.. (context) - Sommaruga, Avouris et al. - 1989
3 Meta in logic (context) - Perlis - 1988
2 A contract net with consultants (context) - Tidhar, Rosenschein - 1992
2 Decentralized AI --- Proceedings of the First European Works.. (context) - Demazeau, Muller - 1990
2 Branching Time and Parial Order in Logics (context) - Emerson, Srinivasan et al. - 1988
2 Intentional descriptions of reactive systems (context) - Seel - 1991
2 Decentralized AI 2 --- Proceedings of the Second European Wo.. (context) - Demazeau, Muller - 1991
2 Springer-Verlag: Heidelberg (context) - Francez - 1986
2 Automating the librarian: Belief revision as a base for syst.. (context) - Cawsey, Galliers et al. - 1992
2 An approach to reasoning about multi-agent systems (context) - Wooldridge - 1992
2 ARCHON: Cooperation of heterogeneous on-line systems (context) - Wittig - 1989
2 Centre for the Study of Language and Information --- Lecture.. (context) - Goldblatt, Time - 1987
2 A formal account of self knowledge and action (context) - Lesperance - 1989
2 Cambridge University Press: Cambridge (context) - Levinson - 1983
1 Program in Symbolic Systems (context) - Torrance, Viola et al. - 1991
1 Concurrent METATEM Processes --- the language and its implem.. (context) - Fisher - 1992
1 Social intentions (context) - Werner - 1988
1 Planning and uncertainty (context) - Werner - 1991
1 Steps towards a first-order theory of explicit and implicit .. (context) - Lakemeyer - 1986
1 Sometimes is sometimes not never --- but not always (context) - Lamport - 1980
1 A first-order theory of reasoning agents (context) - Davies - 1989
1 A first-order theory of truth (context) - Davies - 1991
1 Synchronisation of multi-agent plans (context) - Rosenschein - 1982
1 Semantical considerations in non-monotonic reasoning (context) - Moore - 1985
1 EATCS Monographs on Theoretical Computer Science Vol (context) - Kroger, of - 1987
The graph only includes citing articles where the year of publication is known.
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