Michael Wooldridge, et Al.  Home/Search
Context Related
| www3.oup.co.uk/igpl/Vo...Wooldridge.pdf 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: www3.oup.co.uk/igpl/Volum...#Wong (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: logic is a family of multi-modal logics for reasoning about the information properties of computational agents situated in some environment. Using logic, we can represent what is objectively true of the environment, the information that is visible,orknowable about the environment, information the agent perceives of the environment, and finally, information the agent actually knows about the environment. The semantics of logic are given in terms of a general, automata-like model of agents. ... (Update)
Cited by: More
On Reasoning and Planning in Real-Time: An LDS-Based Approach - Asker, Malec (Correct)
A Minimal Calculus for Situated Multi-Agent Systems - Hartonas (2002) (Correct)
Similar documents (at the sentence level): More
54.3%: A Computationally Grounded Logic of Visibility.. - Wooldridge, Lomuscio (2001) (Correct)
27.7%: A Logic of Visibility, Perception, and Knowledge.. - Wooldridge, Lomuscio (Correct)
7.5%: Reasoning about Visibility, Perception, and Knowledge - Wooldridge, Lomuscio (Correct)
Active bibliography (related documents): More All
0.3: Extending Interpreted Systems with Some Deontic Concepts - Lomuscio, Sergot (Correct)
0.3: Model Checking Knowledge and Time via Local.. - van der Hoek.. (2004) (Correct)
0.3: Model Checking Knowledge and Time - van der Hoek, Wooldridge (2002) (Correct)
Similar documents based on text: More All
0.3: Computationally Grounded Theories of Agency - Wooldridge (2000) (Correct)
0.2: Towards the Implementation of First-Order Temporal.. - Konev, Degtyarev (Correct)
0.2: An Agenda Based Framework for Multi-Issue Negotiation - Fatima, Wooldridge, Jennings (Correct)
BibTeX entry: (Update)
Wooldridge, M., Lomuscio, A., "A Computationally Grounded Logic of Visibility, Perception and Knowledge", in Logic Journal of the IGPL, vol 9-2, pp. 257-272, 2001. http://citeseer.ist.psu.edu/wooldridge01computationally.html More
@misc{ wooldridge01computationally,
author = "M. Wooldridge and A. Lomuscio",
title = "A Computationally Grounded Logic of Visibility, Perception and Knowledge",
text = "Wooldridge, M., Lomuscio, A., A Computationally Grounded Logic of Visibility,
Perception and Knowledge, in Logic Journal of the IGPL, vol 9-2, pp. 257-272,
2001.",
year = "2001",
url = "citeseer.ist.psu.edu/wooldridge01computationally.html" }
Citations (may not include all citations):663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
604 Reasoning About Knowledge (context) - Fagin, Halpern et al. - 1995
399 Intention is choice with commitment (context) - Cohen, Levesque - 1990
355 The Knowledge Engineering Review (context) - Wooldridge, Jennings et al. - 1995
250 Artificial Intelligence: A Modern Approach (context) - Russell, Norvig - 1995
210 A formal theory of knowledge and action (context) - Moore - 1990
194 Knowledge and Belief (context) - Hintikka - 1962
187 Planning and acting in partially observable stochastic domai.. - Kaelbling, Littman et al. - 1998
151 The frame problem and knowledge-producing actions - Scherl, Levesque - 1993
149 Readings in Planning (context) - Allen, Hendler et al. - 1990
138 An abstract architecture for rational agents (context) - Rao, George - 1992
107 A New Introduction to Modal Logic (context) - Hughes, Cresswell - 1996
94 Reasoning about Rational Agents (context) - Wooldridge - 2000
73 Decision procedures for BDI logics (context) - Rao, George - 1998
54 A situated view of representation and control - Rosenschein, Kaelbling - 1996
51 First Steps in Modal Logic (context) - Popkorn - 1994
45 Correspondence theory (context) - van Benthem - 1984
45 Correspondence theory (context) - van Benthem - 1984
32 Knowledge-based programs - Fagin, Halpern et al. - 1997
30 Zeitschrift fur Mathematische Logik und Grundlagen der Mathe.. (context) - Kripke, of - 1963
24 Computationally grounded theories of agency - Wooldridge - 2000
13 Knowledge Sharing among Ideal Agents (context) - Lomuscio - 1999
11 Knowledge considerations in robotics and distribution of rob.. - Brafman, Shoham - 1995
9 Ideal agents sharing (context) - Lomuscio, Ryan - 1998
8 CSLI Lecture Notes Number (context) - Goldblatt, Time - 1987
6 Knowledge based programs: On the complexity of perfect recal.. - van der Meyden - 1996
5 Knowledge in multi-agent systems: Initial configurations and.. - Lomuscio, van der Meyden et al. - 2000
3 Kluwer Academic Publishers: Boston (context) - Hintikka, Modalities - 1969
2 A logic of visibility (context) - Wooldridge, Lomuscio - 2000
Documents on the same site (http://www3.oup.co.uk/igpl/Volume_09/Issue_02/#Wong): More
Information Compression by Multiple Alignment, Unification and.. - Wolff (1996) (Correct)
Creating Collective Intention through Dialogue - Dignum (2000) (Correct)
On the Emergence of Reasons in Inductive Logic - Paris, Wafy (2001) (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