Tom Costello, Anna Patterson  Home/Search
Context
Related
| stanford.edu/annap/quant.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: stanford.edu/annap/ww...abstracts (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We can reason about theories, as well as in them. Many natural phenomena can be captured by theories, often by introducing a modality, true just of the theory. Rather than treat these phenomena as the sentences true in this modality, we can treat the entire theory or modality as an object. This point of view was proposed by McCarthy, who proposed calling these reified modalities contexts. Contexts, viewed as theories or modalities, have structural properties, and associated natural... (Update)
Similar documents (at the sentence level):
35.2%: Quantifiers and Operations on Modalities and Contexts - Costello, Patterson (1997) (Correct)
Active bibliography (related documents): More All
0.5: Contextual Information Integration - Buvac (1998) (Correct)
0.5: Deciding Agent Logics - From KARO to WSnS - Hirsch (2001) (Correct)
0.3: Formalizing Context (Expanded Notes) - McCarthy, Buvac (1997) (Correct)
Similar documents based on text: More All
0.1: The Anna-I User's Guide and Installation Manual - Goyal, Ko, Luckham, al. (1992) (Correct)
0.1: A Philosophical Conception of Propositional Modal Logic - Zalta (Correct)
0.1: The Anna AST User's Guide and Reference Manual - Rosenblum (1995) (Correct)
BibTeX entry: (Update)
@incollection{ costello98quantifiers,
author = "Tom Costello and Anna Patterson",
title = "Quantifiers and Operations on Modalities and Contexts",
booktitle = "{KR}'98: Principles of Knowledge Representation and Reasoning",
publisher = "Morgan Kaufmann",
address = "San Francisco, California",
editor = "Anthony G. Cohn and Lenhart Schubert and Stuart C. Shapiro",
pages = "270--281",
year = "1998",
url = "citeseer.ist.psu.edu/246681.html" }
Citations (may not include all citations):274 Situations and Attitudes (context) - Barwise - 1983
176 Notes on formalizing context - McCarthy - 1993
140 Cyc: A large-scale investment in knowledge infrastructure - Lenat - 1995
65 Modal Logic and Classical Logic (context) - Benthem - 1983
59 A Resolution Calculus for Modal Logics - Ohlbach - 1988
42 Varieties of context (context) - Shoham - 1991
41 Universal grammar (context) - Montague - 1970
37 Steps toward formalizing context - Akman - 1996
34 Contextual reasoning - Giunchiglia - 1993
23 Integrating information sources using context logic - Farquhar, Dappert et al. - 1995
22 Quantificational logic of context - Buvac - 1996
20 Vicious Circles (context) - Barwise - 1996
19 Normal Multimodal Logics (context) - Catach - 1988
17 Metamathematics of contexts - Buvac, Buvac et al. - 1995
9 Structured contexts with fibred semantics - Gabbay - 1997
9 Fibred semantics and the weaving of logics: Part I: Modal an.. (context) - Gabbay - 1996
6 The use of situation theory in context modeling - Akman - 1997
6 Syntactical treatments of modality (context) - Montague - 1963
5 The linear time -- branching time spectrum II; the semantics.. (context) - Glabbeek - 1993
3 Context logic (context) - Ohlbach - 1989
2 Safety for bisimulation in monadic second-order logic - Hollenberg - 1996
2 Reasoning About Knowledge: A Survery (context) - Halpern - 1995
1 Beppe had a dream - Attardi - 1995
1 Fundamenta Informaticae (context) - Attardi, Simi
1 Changing contexts and shifting assertions (context) - Center, Study et al. - 1997
Documents on the same site (http://www-formal.stanford.edu/annap/www/abstracts.html): More
Exponentials as Projections from Paraconsistent Logics - Patterson, Costello (Correct)
A Logical Treatment of Constructive Duality - Patterson (Correct)
Bisimulation and Propositional Intuitionistic Logic - Anna Patterson (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