1 |
into Lightweight Ontologies
|
|
|
|
In: http://eprints.biblio.unitn.it/1835/1/025.pdf (2010)
|
|
BASE
|
|
Show details
|
|
2 |
General Terms
|
|
|
|
In: http://eprints.biblio.unitn.it/1507/1/061.pdf (2008)
|
|
BASE
|
|
Show details
|
|
3 |
Lightweight Ontologies
|
|
|
|
In: http://eprints.biblio.unitn.it/archive/00001289/01/071.pdf (2007)
|
|
BASE
|
|
Show details
|
|
4 |
SEMANTIC COOPERATION AND KNOWLEDGE REUSE BY USING AUTONOMOUS ONTOLOGIES
|
|
|
|
In: http://eprints.biblio.unitn.it/1210/1/026.pdf (2007)
|
|
BASE
|
|
Show details
|
|
5 |
ScienceTreks: an Autonomous Digital Library System
|
|
|
|
In: http://eprints.biblio.unitn.it/archive/00001279/01/066.pdf (2007)
|
|
BASE
|
|
Show details
|
|
6 |
The Tropos Software Development Methodology: Processes, Models And Diagrams
|
|
|
|
In: http://dit.unitn.it/~tropos/papers_files/giu1.pdf (2002)
|
|
BASE
|
|
Show details
|
|
7 |
The tropos software development methodology: Processes
|
|
|
|
In: http://www.enel.ucalgary.ca/People/far/Lectures/SENG697/PDF/references/P04.pdf (2001)
|
|
BASE
|
|
Show details
|
|
8 |
The Tropos Software Development Methodology: Processes, Models And Diagrams
|
|
|
|
In: http://sra.itc.it/tr/GMP01.ps.gz (2001)
|
|
BASE
|
|
Show details
|
|
9 |
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility
|
|
|
|
In: ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9701-07.ps.gz (1997)
|
|
Abstract:
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise the two main intuitions underlying contextual reasoning: (i) reasoning is mainly local and uses only part of what is potentially available (e.g. what is known, the available inference procedures), this part is what we call context (of reasoning); however (ii) the context may change and there is compatibility among the reasoning performed in different contexts. We validate our semantics by formalizing two important forms of contextual reasoning: reasoning with viewpoints and reasoning about belief. 1 Introduction Contexts are an important topic in many research areas, for example in the semantics of natural language (see, e.g., [Kaplan, 1978]), and in computational linguistics (see, e.g., [Fauconnier, 1985]). Lately, contexts have been independently proposed in [Giunchiglia, 1993] and [McCarthy, 1987] .
|
|
URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.8852
|
|
BASE
|
|
Hide details
|
|
11 |
Regular Polysemy in WordNet and Pattern based Approach
|
|
|
|
In: http://www.thinkmind.org/download.php?articleid%3Dintsys_v6_n34_2013_4
|
|
BASE
|
|
Show details
|
|
|
|