Chiara Ghidini, et al.  Home/Search
Context Related
| eprints.biblio.unitn.it/archi...082.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/re...=&out=printable (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The goal of this paper is to propose a model-theoretic formalization of abstraction, where abstraction is modeled as two representations, the ground and the abstract representation, modeling the same phenomenon at di#erent levels of detail. Using the framework of Local Models Semantics, the ground and abstract representations are modeled as two sets of (local) first order models, while the relations holding between them are captured by an appropriate "compatibility relation". The tuning... (Update)
Cited by: More
D2.2.1 Specification of a common framework for.. - Bouquet, Ehrig.. (Correct)
Active bibliography (related documents): More All
0.6: Centro Per La Ricerca - Scientifica Tecnologica Povo (Correct)
0.3: A General Purpose Reasoner for Abstraction - Giunchiglia, al. (1993) (Correct)
0.2: Theories of Abstraction - Giunchiglia, Villafiorita, Walsh (1997) (Correct)
Similar documents based on text:
0.5: Element Level Semantic Matching - Giunchiglia, Yatskevich (2004) (Correct)
0.4: Theories and Uses of Context in Knowledge.. - Bouquet, Ghidini, .. (2003) (Correct)
Related documents from co-citation: More All
2: A robust logical and computational characterisation of peer-to-peer database sys.. - Franconi, Kuper et al. - 2003
BibTeX entry: (Update)
Chiara Ghidini and Fausto Giunchiglia. A semantics for abstraction. In Proc. ECAI, 2004. http://citeseer.ist.psu.edu/ghidini03semantics.html More
@misc{ ghidini04semantics,
author = "C. Ghidini and F. Giunchiglia",
title = "A semantics for abstraction",
text = "Chiara Ghidini and Fausto Giunchiglia. A semantics for abstraction. In
Proc. ECAI, 2004.",
year = "2004",
url = "citeseer.ist.psu.edu/ghidini03semantics.html" }
Citations (may not include all citations):288 Planning in a Hierarchy of Abstraction Spaces (context) - Sacerdoti - 1973
54 or contextual reasoning = locality + compatibility (context) - Ghidini, Giunchiglia et al. - 2001
48 Distributed First Order Logics - Ghidini, Serafini - 1998
22 Also IRST-Technical Report (context) - Giunchiglia, Walsh et al. - 1992
12 A semantic theory of abstractions - Nayak, Levy - 1995
12 Tree subsumption: Reasoning with outlines (context) - Giunchiglia, Walsh - 1992
10 Semantic matching (context) - Giunchiglia, Shvaiko - 2003
8 Abstract theorem proving: Mapping back - Giunchiglia, Walsh - 1990
5 The inevitability of inconsistent abstract spaces - Giunchiglia, Walsh - 1993
Documents on the same site (http://www.dit.unitn.it/research/publications/techRepDit?anno=DIT&year=&out=printable): More
Knowledge Nodes: The Reification of Organizational.. - Cuel, Bonifacio.. (2003) (Correct)
Web Site Quality Evaluation: Lightweight Or Heavyweight Models? - Mich, al. (2003) (Correct)
A Semantic-Based Information Management System to Support.. - Ucelli, al. (2003) (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