Sasa Buvac  Home/Search
Context Related
| stanford.edu/buvac...ogicofcontext.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/buvac/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we extend the Propositional Logic of Context, (Buvac & Mason 1993; Buvac, Buvac, & Mason 1995), to the quantificational (predicate calculus) case. This extension is important in the declarative representation of knowledge for two reasons. Firstly, since contexts are objects in the semantics which can be denoted by terms in the language and which can be quantified over, the extension enables us to express arbitrary first-order properties of contexts. Secondly, since the... (Update)
Cited by: More
Compiling Source Descriptions for Ecient and Flexible.. - Jose Luis Ambite (Correct)
First-Orderized ResearchCyc: Expressivity and.. - Ramachandran.. (Correct)
Contexts for the Semantic Web - Guha, McCool, Fikes (2004) (Correct)
Similar documents (at the sentence level):
9.3%: Resolving Lexical Ambiguity using a Formal Theory of Context - Buvac (1996) (Correct)
5.9%: : Logics - Buvac (1999) (Correct)
Active bibliography (related documents): More All
0.8: Contexts as Relativized Definitions: A Formalization Via Fixed.. - Amati, Pirri (1997) (Correct)
0.5: Contextual Information Integration - Buvac (1998) (Correct)
0.4: Formalizing Context (Expanded Notes) - McCarthy, Buvac (1997) (Correct)
Similar documents based on text: More All
0.5: A Declarative Formalization of Knowledge Translation - Buvac, Fikes (1995) (Correct)
0.4: Combining Planning Contexts - Buvac, McCarthy (1996) (Correct)
0.4: Contextual Reasoning is NP-complete - Massacci (1996) (Correct)
Related documents from co-citation: More All
10: Notes on formalizing context - McCarthy - 1993
9: Contexts: A formalization and some applications (context) - Guha - 1991
6: Integrating information sources using context logic - Farquhar, Dappert et al. - 1995
BibTeX entry: (Update)
Sasa Buvac. Quantificational logic of context. In Proceedings of the Thirteenth National Conference on Artificial Intelligence, 1996. http://citeseer.ist.psu.edu/245732.html More
@inproceedings{ buvac96quantificational,
author = "Sasa Buvac",
title = "Quantificational Logic of Context",
booktitle = "{AAAI}/{IAAI}, Vol. 1",
pages = "600-606",
year = "1996",
url = "citeseer.ist.psu.edu/245732.html" }
Citations (may not include all citations):240 A guide to completeness and complexity for modal logics of k.. (context) - Halpern, Moses - 1992
176 Notes on formalizing context - McCarthy - 1993
63 Contexts: A Formalization and Some Applications (context) - Guha - 1991
49 Generality in artificial intelligence - McCarthy - 1987
49 Formalizing Context (context) - McCarthy, Buvac - 1994
45 Propositional logic of context - Buvac, Mason - 1993
42 Varieties of context (context) - Shoham - 1991
34 Contextual reasoning - Giunchiglia - 1993
23 Integrating information sources using context logic - Farquhar, Dappert et al. - 1995
17 Metamathematics of contexts - Buvac, Buvac et al. - 1995
12 Representing multiple theories - Nayak - 1994
12 A declarative formalization of knowledge translation - Buvac, Fikes - 1995
10 A formalization of viewpoints - Attardi, Simi - 1995
5 Combining planning contexts - Buvac, McCarthy - 1996
2 On formalizing contexts (context) - Lifschitz - 1986
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-formal.stanford.edu/buvac/): More
The Semantics of Propositional Contexts - Sasa Buvac (1994) (Correct)
Metamathematics Of Contexts - Buvac, Buvac, Mason (Correct)
: Logics - Buvac (1999) (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