Wiebe van der Hoek  Home/Search
Context
Related
| csc.liv.ac.uk/~wie...hoekw_knowledge.ps 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/~wiebe/pubs/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: I argue that the notions of knowledge, rationality and action form a natural and interesting triple when studying agent systems: first of all, the combination and interplay between them is still not fully explored, and secondly, they give rise to rich theories especially in multi-agent systems. The paper provides an informal overview of formal approaches to the three notions. (Update)
Similar documents (at the sentence level):
9.1%: Knowledge, Rationality and Action - van der Hoek (2004) (Correct)
5.0%: Epistemic Logic: A Survey - van der Hoek, Verbrugge (2002) (Correct)
Active bibliography (related documents): More All
0.2: Playing Cards with Hintikka - An Introduction to.. - van Ditmarsch, van.. (2004) (Correct)
0.2: Unbounded Model Checking for Alternating-Time Temporal Logic - Kacprzak, Penczek (2004) (Correct)
0.2: A Tuning Machine for Collective Commitments - Dunin-Keplicz, Verbrugge (2003) (Correct)
Similar documents based on text: More All
0.4: Towards a Logic of Rational Agency - van der Hoek, Wooldridge (2003) (Correct)
0.3: Using Temporal Logics of Knowledge in the Formal.. - Dixon, Gago.. (2003) (Correct)
0.3: On The Logic Of Cooperation And Propositional Control - van der Hoek, Wooldridge (2005) (Correct)
BibTeX entry: (Update)
@misc{ hoek-knowledge,
author = "Wiebe van der Hoek",
title = "Knowledge, Rationality and Action",
url = "citeseer.ist.psu.edu/729612.html" }
Citations (may not include all citations):604 Reasoning About Knowledge (context) - Fagin, Halpern et al. - 1995
327 Modeling rational agents within a BDI-architecture - Rao, Georgeff - 1991
237 Intelligent agents: Theory and practice - Wooldridge, Jennings - 1995
194 Knowledge and Belief (context) - Hintikka - 1962
119 Alternatingtime temporal logic - Alur, Henzinger et al. - 2002
100 Epistemic Logic for AI and Computer Science (context) - Meyer, van der Hoek - 1995
77 the logic of theory change: partial meet contraction and rev.. (context) - Alchourron, Gardenfors et al. - 1985
75 Reasoning about knowledge and action (context) - Moore - 1977
49 Theory of Games and Economic Behaviour (context) - Neumann, Morgenstern - 1944
37 Epistemic conditions for Nash equilibrium (context) - Aumann, Brandeburger - 1995
21 An integrated modal approach to rational agents (context) - van der Hoek, van Linder et al. - 1999
18 Game Theory Evolving (context) - Gintis - 2000
17 Logics of public communications (context) - Plaza - 1989
16 A modal logic for coalitional power in games - Pauly - 2002
11 Cambrian Intelligence: The Early History of the New AI (context) - Brooks - 1999
5 Concurrent dynamic epistemic logic - van Ditmarsch, van der Hoek et al. - 2003
4 Epistemic logic: a survey - van der Hoek, Verbrugge - 2002
4 Adaptive thinking: Rationality in the real world (context) - Gigerenzer - 2000
4 Agents that know how to play (context) - Jamroga, van der Hoek - 2004
2 A characterization of von neumann games in terms of memory (context) - Bonanno - 2004
2 Cooperation, knowledge, and time: Alternating-time temporal .. - van der Hoek, Wooldridge - 2003
2 Knowledge games (context) - Ditmarsch - 2001
1 Nonmonotonic inferences and neural networks (context) - Blutner
http://www.tark.org
http://www.econ.ucdavis.edu/faculty/bonanno/-
Documents on the same site (http://www.csc.liv.ac.uk/~wiebe/pubs/): More
Model Checking a Knowledge Exchange Scenario - van Otterloo, van der Hoek.. (2003) (Correct)
Model Checking Cooperation, Knowledge, and Time - A Case.. - van der Hoek, Wooldridge (Correct)
Tractable Multiagent Planning for Epistemic Goals - van der Hoek, Wooldridge (2002) (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