Dov M. Gabbay and Rolf T. Nossum Department of Computing Imperial College of...  Home/Search
Context Related
| poleia.lip6.fr/~brezil/Pages...paper.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: poleia.lip6.fr/~brezil/Pa...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Fibred Semantics is used as a formal basis for contextual reasoning with arbitrary structure in the terms that describe context. Formal semantics is given for the informal reading of ist(OE; /) as "/ is true in the context described by OE". (Update)
Context of citations to this paper: More
...2 OE, and a 5 like assumption that multiple modalities may always be reduced to a single modality. 12 Similar systems to this (Gabbay and Nossum 1997) based on fibring one logic over another (Gabbay 1996) have been proposed. Nossum 1997) gives some decidability results. Akman...
...conquer type. Of course, there are several other (formal) theories of context in KRR, for example structured contexts with bred semantics [22], and the type theoretic foundation for context [51] However, we decided to focus on LoC and LMS MCS for two reasons: rst, they provide...
Cited by: More
Default Logic and Purity of Reasoning - Amati, Aiello, Pirri (Correct)
Multicontext Logic for Semigroups of Contexts - Nossum, Serafini (2002) (Correct)
Theories and Uses of Context in Knowledge.. - Bouquet, Ghidini, .. (2001) (Correct)
Active bibliography (related documents): More All
0.2: Why Combine Logics? - Blackburn, de Rijke (1990) (Correct)
0.2: Zooming In, Zooming Out - Blackburn, de Rijke (1995) (Correct)
0.2: Steps Toward Formalizing Context - Akman, Surav (1996) (Correct)
Similar documents based on text: More All
0.4: Formal Aspects of Context - Pierre Bonzon Marcos (Correct)
0.3: Fibred Semantics for Feature-Based Grammar Logic - König, Gabbay (1994) (Correct)
0.2: Making Inconsistency Respectable: Part 2 - Meta-level handling.. - Dov Gabbay (1993) (Correct)
Related documents from co-citation: More All
8: Notes on formalizing context - McCarthy - 1993
6: Varieties of context (context) - Shoham - 1991
6: Contexts: A formalization and some applications (context) - Guha - 1991
BibTeX entry: (Update)
Gabbay, Dov, and Rolf Nossum. 1997. Structured Contexts with Fibred Semantics. http://citeseer.ist.psu.edu/dov97structured.html More
@inproceedings{ gabbay97structured,
author = "Dov Gabbay and Rolf T. Nossum",
title = "Structured Contexts with Fibred Semantics",
booktitle = "Working Papers of the {AAAI} Fall Symposium on Context in Knowledge Representation and Natural Language",
publisher = "American Association for Artificial Intelligence",
address = "Menlo Park, California",
editor = "Sasa Buva\v{c} and {\L}ucia Iwa\'nska",
pages = "48--57",
year = "1997",
url = "citeseer.ist.psu.edu/dov97structured.html" }
Citations (may not include all citations):134 Labelled Deductive Systems (context) - Gabbay - 1996
63 Contexts: A Formalization and Some Applications (context) - Guha - 1991
49 Generality in artificial intelligence - McCarthy - 1987
22 Quantificational logic of context - Buvac - 1996
16 Fundamenta Informaticae (context) - Buvac, Buvac et al. - 1995
9 Technical Note STAN-CS-TN (context) - McCarthy, Buvac et al. - 1994
4 Fibered semantics (context) - Gabbay - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-poleia.lip6.fr/~brezil/Pages2/Publications/CONTEXT-97/index.html): More
Context Modeling for Language and Speech Generation - van Deemter, Odijk (1997) (Correct)
Exploiting Context to Identify Lexical Atoms - A Statistical View.. - Zhai (1997) (Correct)
Multilevel Context Representation Using Semantic Metanetwork - Terziyan, Puuronen (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