13 search results - page 3 / 3 » An alternative semantics for quantified relevant logic |
127
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
The ability to extract meaningful fragments from an ontology is key for ontology re-use. We propose a definition of a module that guarantees to completely capture the meaning of a...
131
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
An ad hoc data format is any non-standard, semi-structured data format for which robust data processing tools are not available. In this paper, we present ANNE, a new kind of mark...
155
click to vote
AMSTERDAM
2009
14 years 11 months ago
2009
In this paper we present an alternative interpretation of statements of epistemic possibility, which does not induce a consistency test on a common ground, as in (Veltman 1996), bu...