1746 search results - page 252 / 350 » A Constructive Semantics for ALC |
117
Voted
IMPERIAL
1993
15 years 4 months ago
1993
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
105
Voted
DEXAW
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper presents an extensible architecture that can be used to support the integration of biological data sets. Biological research frequently requires this kind of synthesis....
115
click to vote
EELC
2006
15 years 4 months ago
2006
Abstract. According to the functional approach to language evolution (inspired by cognitive linguistics and construction grammar), grammar arises to deal with issues in communicati...
86
Voted
KR
2000
Springer
15 years 4 months ago
2000
Springer
We consider the two-fold problem of representing collective beliefs and aggregating these beliefs. We propose a novel representation for collective beliefs that uses modular, tran...
110
Voted
VLDB
1991
ACM
15 years 4 months ago
1991
ACM
Most database interfaces provide poor guidance on ad hoc query formulation, burdening users to learn, and to recall precisely the query language and the database. Kaleidoscope avo...