P. Bouquet, L. Serafini  Home/Search
Context
Related
| dit.unitn.it/~bouq...003Comparison.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: dit.unitn.it/~bo...perspublengl (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context (PLC) and Local Models Semantics/MultiContext Systems (LMS/MCS). The result was that LMS/MCS is at least as general as PLC, as it can be embedded into a particular class of MCS, called MPLC. In this paper we go beyond that result, and prove that, under some important restrictions (including the hypothesis that each context ... (Update)
Similar documents (at the sentence level):
8.4%: An Intelligent Agent Architecture For . . . - Soller (2003) (Correct)
7.4%: Comparing Formal Theories of Context in AI - Bouquet, Serafini (2004) (Correct)
Active bibliography (related documents): More All
0.3: Theories and Uses of Context in Knowledge.. - Bouquet, Ghidini, .. (2001) (Correct)
0.2: Supporting Context-Aware Computing in Ad Hoc Mobile Environments - Huang (2002) (Correct)
0.2: Dynamic Shape Typing - Vergeest, Song, al. (2002) (Correct)
Similar documents based on text: More All
0.3: Two Formalizations of Context: A Comparison - Bouquet, Serafini (2001) (Correct)
0.3: A SAT-based algorithm for context matching - Bouquet, Magnini, Serafini.. (2003) (Correct)
0.3: Contextual Reasoning Distilled - Benerecetti, Bouquet, Ghidini (2000) (Correct)
BibTeX entry: (Update)
@misc{ bouquet-difference,
author = "P. Bouquet and L. Serafini",
title = "On the Difference between Bridge Rules and Lifting Axioms",
url = "citeseer.ist.psu.edu/bouquet03difference.html" }
Citations (may not include all citations):176 Notes on Formalizing Context - McCarthy - 1993
167 Natural Deduction - A proof theoretical study (context) - Prawitz - 1965
81 special issue on I Linguaggi e le Macchine (context) - Giunchiglia, Epistemologia - 1993
54 or Contextual Reasoning = Locality + Compatibility (context) - Ghidini, Giunchiglia et al. - 2001
45 Propositional logic of context - Buvac, Mason - 1993
21 Technical Report ACT-CYC (context) - Guha, Formalization et al. - 1991
17 Undecidable theories (context) - Tarski, Mostowski et al. - 1968
12 Multilanguage hierarchical logics or: how we can do without .. - Giunchiglia, Serafini - 1994
11 Part I: The proof theory (context) - Criscuolo, Giunchiglia et al. - 2000
10 Reasoning about theory adequacy: A new solution to the quali.. - Bouquet, Giunchiglia - 1995
7 Fundamentae Informaticae (context) - Buvac, Buvac et al. - 1995
4 Two formalizations of context: a comparison (context) - Bouquet, Serafini - 2001
2 volume 2116 of Lecture Notes in Artificial Intelligence (context) - Akman, Bouquet et al. - 2001
Documents on the same site (http://dit.unitn.it/~bouquet/pers-publ-engl.html): More
A SAT-based algorithm for context matching - Bouquet, Magnini, Serafini.. (2003) (Correct)
Theories and Uses of Context in Knowledge.. - Bouquet, Ghidini, .. (2003) (Correct)
Knowledge Nodes: the Building Blocks of a Distributed.. - Bonifacio, Bouquet, Cuel (2002) (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