10568 search results - page 761 / 2114 » Computer Intelligence and Formalization |
211
click to vote
DLOG
2007
15 years 9 months ago
2007
We develop a formal framework for modular ontologies by analysing four notions of conservative extensions and their applications in refining, re-using, merging, and segmenting ont...
171
click to vote
COLT
2008
Springer
15 years 9 months ago
2008
Springer
Inspired by longstanding lines of research in sociology and related fields, and by more recent largepopulation human subject experiments on the Internet and the Web, we initiate a...
226
click to vote
AIML
2008
15 years 9 months ago
2008
Most temporal logics, particularly interval temporal logics, are not expressive enough to capture meanings of natural language constructions, and they are not convenient to represe...
229
click to vote
DAGSTUHL
2001
15 years 8 months ago
2001
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
186
click to vote
COLING
2000
15 years 8 months ago
2000
This paper introduces a description language for syntactically annotated corpora which allows for encoding both the syntactic annotation to a corpus and the queries to a syntactic...