Mark Whitsey  Home/Search
Context
Related
| cs.nott.ac.uk/%7Em...erDissertation.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: cs.nott.ac.uk/~mtw/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Contents 1 Introduction 3 1.1 Standard Epistemic Logics . . . . . . . . . . . . . . . . . . . . . . 6 1.2 Logical Omniscience . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.3 A Framework for Comparison . . . . . . . . . . . . . . . . . . . . 8 1.4 Resource Bounded Agents . . . . . . . . . . . . . . . . . . . . . . 8 2 Propositional Accounts 10 2.1 Nonstandard/Impossible Worlds . . . . . . . . . . . . . . . . . . 10 2.2 Explicit and Implicit Belief . . . . . . . . . . . . . . . . . . . . ... (Update)
Active bibliography (related documents): More All
3.5: Logical Omniscience: A Survey - Whitsey (2003) (Correct)
1.7: Modelling Resource Bounded Reasoners: An Example - Whitsey (Correct)
1.3: Reasoning about Knowledge and Belief: A Syntactical Treatment - Fasli (2002) (Correct)
Similar documents based on text: More All
0.3: A Complete and Decidable Logic for Resource-Bounded Agents - Alechina, Logan, Whitsey (2004) (Correct)
0.3: Awareness, Negation and Logical Omniscience - Zhisheng Huang And (Correct)
0.2: How to represent knowledge and belief? (Extended Abstract) - Duc (1996) (Correct)
BibTeX entry: (Update)
@misc{ whitsey-logical,
author = "Mark Whitsey",
title = "Logical Omniscience and Resourse-Bounded Agents",
url = "citeseer.ist.psu.edu/whitsey04logical.html" }
Citations (may not include all citations):343 Modal logic : an introduction (context) - Chellas - 1980
161 A logic of implicit and explicit belief (context) - Levesque - 1984
113 or: How we can do without modal logics (context) - Giunchiglia, Serafini et al. - 1994
94 A Deduction Model of Belief (context) - Konolige - 1986
81 Special Issue on I Linguaggi e le Macchine (context) - Giunchiglia, Epistemologica et al. - 1993
50 A model theoretic approach to the verification of situated r.. (context) - Rao, George - 1993
44 awareness and limited reasoning (context) - Fagin, Halpern - 1985
44 awareness and limited reasoning (context) - Fagin, Halpern - 1988
44 Languages with self-reference I: Foundations (context) - Perlis - 1985
43 First order theories of individual concepts and propositions - McCarthy - 1979
42 Knowledge in Flux: Modelling the Dynamics of Epistemic State.. (context) - Gardenfors - 1988
42 Knowledge and belief : an introduction to the logic of the t.. (context) - Hintikka - 1962
34 Impossible possible worlds vindicated (context) - Hintikka
28 A nonstandard approach to the logical omniscience problem - Halpern, Fagin et al. - 1990
28 Language with self reference iiknowledge (context) - Languages, reference et al. - 1988
24 On epistemic logic and logical omniscience (context) - Vardi - 1986
22 A note on syntactical treatments of modality (context) - Thomason - 1980
19 Multiagent reasoning with belief contexts II: Elacoration to.. - Cimatti, Serafini - 1994
19 Ideal and real belief about belief - Giunchiglia, Giunchiglia - 1996
18 Reasoning situated in time I: Basic concepts (context) - Elgot-Drapkin, Perlis - 1990
15 What awareness isn't: A sentential view of implicit and expl.. (context) - Konolige - 1986
11 The consistency of syntactical treatments of knowledge (context) - Rivieres, Levesque
10 A preliminary excursion into Step-Logics (context) - Drapkin, Perlis - 1986
9 Thinking takes time: a modal active-logic for reasoning in t.. - Nirkhe, Kraus et al. - 1994
9 Active logics: A unified formal approach to episodic reasoni.. (context) - Elgot-Drapkin, Kraus et al. - 1999
7 Syntactical treatments of propositional attitudes - Morreau, Kraus - 1998
7 A logic for characterizing multiple bounded agents - John, Sarit - 2000
7 Fundamentae Informaticae (context) - Buvac, Buvac et al. - 1995
6 Reasoning about Knowledge (context) - Moses, Fagin et al. - 1995
5 reason and time: the Step-Logic approach (context) - Elgot-Drapkin, Miller et al. - 1991
4 or contextual reasoning = locality + compatability (context) - Ghidini, Giunchiglia et al. - 2000
4 Ascribing beliefs to resource bounded agents - Alechina, Logan - 2002
4 Reasoning about knowledge and belief: A syntactic treatment - Fasli - 2003
3 Methuen and Co (context) - Cresswell, Languages - 1973
3 Iterated belief change in multi-agent systems (context) - Mayer, van der Hoek et al. - 2003
3 Intensions revisited (context) - Quine - 1979
3 The Concept of Truth in Formalised Languages (context) - Tarski - 1976
3 Notre Dame Journal of Symbolic Logic (context) - Kaplan, Montague et al. - 1960
2 he proper treatment of quantification in ordinary english (context) - Montague - 1973
2 School of Computer Science and IT (context) - Whitsey, survey et al. - 2003
1 erence between bridge rules and lifting axioms (context) - Bouquet, Serafini et al. - 2003
1 Nonomniscient belief as context-based reasoning (context) - Frixione, Giunchiglia et al. - 1992
1 A contextual approach to the logic of fiction (context) - Nossum - 2003
1 Contexts: a formalisation and some applications (context) - Guha - 1991
1 Beleif revision: A critique (context) - Halpern, Friedman - 1996
1 Istituto per la Ricerca Scientifica e Techologica (context) - Giunchiglia, Beneracetti et al. - 1997
1 A complete and decidable logic for resourse bounded reasoner.. (context) - Logan, Alechina et al.
1 Formalising belief reports: the approach and a case study (context) - Benerecitti, Giunchiglia et al. - 1998
1 Interpreting step logic as context logic (context) - Logan, Alechina et al.
1 Two formalisations of context: a comparison (context) - Bouquet, Serafini - 2001
Documents on the same site (http://www.cs.nott.ac.uk/~mtw/): More
Indexicals, Fictions, and Ficta - Corazza, Whitsey (2003) (Correct)
Logical Omniscience: A Survey - Whitsey (2003) (Correct)
A Complete and Decidable Logic for Resource-Bounded Agents - Alechina, Logan, Whitsey (2004) (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