Wiebe van der Hoek, Michael Wooldridge  Home/Search
Context Related
Links: DBLP | csc.liv.ac.uk/~mjw/pu...igpl2003a.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: csc.liv.ac.uk/~mjw/pubs/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Rational agents are important objects of study in several research communities, including economics, philosophy, cognitive science, and most recently computer science and artificial intelligence. Crudely, a rational agent is an entity that is capable of acting on its environment, and which chooses to act in such a way as to further its own best interests. There has recently been much interest in the use of mathematical logic for developing formal theories of such agents. Such theories view... (Update)
Context of citations to this paper: More
...knowledge, situation calculus 1. Introduction Over the years there has been an increasing interest in the area of agent based systems [2, 26]. An agent is an entity that keeps some information, represented by attributes, and displays some behaviour, through the occurrence of...
Cited by: More
Challenges and Research Directions in Agent-Oriented Software.. - Zambonelli (2004) (Correct)
Modelling Fault-Tolerant Systems using BDI Agents - Meneguzzi (2003) (Correct)
Verification In Multi-Agent Systems - Raimondi (Correct)
Similar documents (at the sentence level): More
53.7%: Towards a Logic of Rational Agency - van der Hoek, Wooldridge (2003) (Correct)
21.0%: Agents And Software Engineering - Wooldridge (1998) (Correct)
20.0%: Agent-Oriented Software Engineering - Jennings, Wooldridge (2000) (Correct)
Active bibliography (related documents): More All
0.8: Logic for Mechanism Design - A Manifesto - Pauly, Wooldridge (2003) (Correct)
0.7: Cooperation, Knowledge, and Time: Alternating-time.. - van der Hoek, Wooldridge (2003) (Correct)
0.7: Agent programming in Dribble: - From Beliefs To (Correct)
Similar documents based on text: More All
0.5: Comparing Equilibria for Game-Theoretic and Evolutionary.. - Fatima, Wooldridge (2003) (Correct)
0.5: Optimal Agendas for Multi-Issue Negotiation - Fatima, Wooldridge (2003) (Correct)
0.4: Model Checking Multi-Agent Programs with CASP - Bordini, Fisher, Pardavila.. (2003) (Correct)
Related documents from co-citation: More All
2: SIG report: methodologies and software engineering for agent systems (context) - Zambonelli - 2003
BibTeX entry: (Update)
van der Hoek, W. and W. Wooldrige: 2003, `Towards a Logic of Rational Agency'. Logic Journal of the IGPL 11(2), 133-157. http://citeseer.ist.psu.edu/article/vanderhoek03towards.html More
@misc{ hoek03towards,
author = "W. van der Hoek and W. Wooldrige",
title = "Towards a Logic of Rational Agency",
text = "van der Hoek, W. and W. Wooldrige: 2003, `Towards a Logic of Rational Agency'.
Logic Journal of the IGPL 11(2), 133-157.",
year = "2003",
url = "citeseer.ist.psu.edu/article/vanderhoek03towards.html" }
Citations (may not include all citations):650 An axiomatic basis for computer programming (context) - Hoare - 1969
453 Agent-oriented programming (context) - Shoham - 1993 ACM DBLP
399 Intention is choice with commitment (context) - Cohen, Levesque - 1990 ACM DBLP
362 Dynamic logic - Harel - 1984 ACM
343 Modal Logic: An Introduction (context) - Chellas - 1980
327 Modeling rational agents within a BDI-architecture - Rao, Georgefl - 1991 DBLP
261 Reactive reasoning and planning (context) - Georgeff, Lansky - 1987 DBLP
260 BDI Agents: from theory to practice - Rao, Georgefl - 1995
245 Plans and resource-bounded practical reasoning - Bratman, Israel et al. - 1988 DBLP
219 Towards flexible teamwork - Tambe - 1997 DBLP
200 and Practical Reason (context) - Bratman, Plans - 1987
191 Temporal Verification of Reactive Systems Safety (context) - Manna, Pnueli - 1995
173 On acting together (context) - Levesque, Cohen et al. - 1990 DBLP
156 Rational interaction as the basis for communication (context) - Cohen, Levesque - 1990
154 The Intentional Stance (context) - Dennett - 1987
149 the logic of theory change: partial meet contraction and rev.. (context) - Alchourr, Grdenfors et al. - 1985
141 BDI agents speak out in a logical computable language (context) - Rao - 1996
138 An abstract architecture for rational agents (context) - Rao, Georgefl - 1992 DBLP
110 the synthesis of a reactive module (context) - Pnueli, Rosner - 1989
100 The complexity of reasoning about knowledge and time - Halpern, Vardi - 1989 ACM
99 The synthesis of digital machines with provable epistemic pr.. (context) - Rosenschein, Kaelbling - 1986
94 Reasoning about Rational Agents (context) - Wooldridge - 2000 ACM
85 First-Order Dynamic Logic (context) - Harel - 1979 ACM
75 Reasoning about knowledge and action (context) - Moore - 1977 DBLP
73 Decision procedures for BDI logics (context) - Rao, Georgefl - 1998 DBLP
72 Agent Technology: Foundations (context) - Jennings, Wooldridge - 1998
67 Social plans: A preliminary report - Rao, Georgeif et al. - 1992
60 METATEM: A framework for programming in temporal logic - Barringer, Fisher et al. - 1989
54 A situated view of representation and control - Rosenschein, Kaelbling - 1996 ACM DBLP
51 First Steps in Modal Logic (context) - Popkorn - 1994 ACM
50 A model-theoretic approach to the verification of situated r.. (context) - Rao, Georgefl - 1993
50 Fun and Games: A Text on Game Theory (context) - Binmore - 1992
47 What is intention (context) - Bratman - 1990
38 A formal specification of dMARS - d'Inverno, Kinny et al. - 1997
37 JAM: A BDI-theoretic mobile agent architecture (context) - Huber - 1999 DBLP
36 Asymmetry thesis and side-effect problems in linear time and.. - Rao, Georgefl - 1991
35 The Logical Modelling of Computational Multi-Agent Systems - Wooldridge - 1992
35 Autonomous Agents and Multi-Agent Systems (context) - Hindriks, de Boer et al. - 1999 ACM
32 On being responsible - Jennings - 1992
32 Towards a cooperation knowledge level for collaborative prob.. - Jennings - 1992 ACM DBLP
30 Decision procedures for propositional linear-time Belief-Des.. (context) - Rao - 1996 DBLP
27 A Theoretical Framework for Computer Models of Cooperative D.. (context) - Galliers - 1988
19 A logical approach to the dynamics of commitments - Ch, van der Hoek et al. - 1999 ACM DBLP
19 Journal of Philosophical Logic (context) - Brown, logic - 1988
18 A pragmatic BDI architecture (context) - Fischer, Mfiller et al. - 1996
17 University of Groningen (context) - van Ditmarsch, ames - 2000
16 A modal logic for coalitional power in games - Pauly - 2002 DBLP
14 A formal embedding of agentspeak (context) - Hindriks, de Boer et al. - 1998
14 The logic of games and its applications (context) - Parikh - 1985 ACM
12 Freedom and Power (context) - Kenny - 1975
12 Agent programming with declarative goals - van der Hoek, Hindriks et al. - 1986 ACM DBLP
12 Model checking versus theorem proving: A manifesto (context) - Halpern, Vardi - 1991
11 A critical examination of the Cohen-Levesque theory of inten.. - Singh - 1992
11 ILLC Disser- tation Series - Pauly, Social et al. - 2001
11 Formalizing abilities and opportunities of agents (context) - van Linder, van der Hoek et al. - 1998
11 A strategic framework for multi-agent cooperative dialogue (context) - Galliers - 1988 DBLP
11 On modal logic interpretations for games - Harrenstein, van der Hoek et al. - 2002
10 From Folk Psychology to Cognitive Science (context) - Stich - 1983
10 Actions that make you change your mind - van Linder, van der Hoek et al. - 1995
8 Pitman Publishing: London and (context) - Konolige, Model et al. - 1986
7 Bulletin of Economic Research (context) - Baltag, for et al. - 2002
5 Springer-Verlag: Berlin (context) - Clocksin, Mellish et al. - 1981
5 The logic of distributed protocols: preliminary report (context) - Ladher, Reif - 1986
5 A logical framework for coalitional effectivity in dynamic p.. (context) - Pauly - 2002
5 perfect information games and backward induction (context) - Bonanno, logic - 2001
4 Extensive games as process models (context) - van Benthem - 2002 ACM DBLP
4 Formalizing potential of agents: The karo framework revisite.. (context) - van der Hoek, Ch et al. - 2000
4 Pitman Publishing: London (context) - Turner, Modality et al. - 1990
2 Kluwer Academic Pub- lishers: Boston (context) - Wooldridge, Rao et al. - 1999
2 A formal semantics for the core of AGENT (context) - Hindriks, de Boer et al. - 1999
1 Theory of Wartes and Economic Behaviour (context) - Von Neumann, Morgenstern - 1944
1 A Course in Carte Theory (context) - Osborne, Rubinstein - 1994
1 Stanford encyclopedia of philosophy (context) - Zaka - 2002
1 Unowledge Engineering Review (context) - Wooldridge, Jennings et al. - 1995
1 A survey of Concurrent METAEM the language and its applicati.. (context) - Fisher - 1994
1 Inowledge Sharing among Ideal Agents (context) - Lomuscio - 1999
1 Model Checkin (context) - Clarke, Grumberg et al. - 2000
1 Metamagical themas: A coffeehouse conversation on the turing.. (context) - Hofstadter - 1981
1 Reasoning About Knowled#e (context) - Fagin, Halpern et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.csc.liv.ac.uk/~mjw/pubs/): More
A Decision Procedure for a Temporal Belief Logic - Wooldridge, Fisher (1994) (Correct)
Towards a Theory of Cooperative Problem Solving - Wooldridge (1996) (Correct)
Agent-Based Computing - Wooldridge (1997) (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