4902 search results - page 247 / 981 » Structures, Semantics and Statistics |
137
click to vote
APLAS
2005
ACM
15 years 11 months ago
2005
ACM
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
159
click to vote
LICS
1997
IEEE
15 years 9 months ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
178
click to vote
AAAI
2007
15 years 7 months ago
2007
Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on complex logical representation...
147
click to vote
KRDB
1994
15 years 6 months ago
1994
We propose an architecture for large-scale knowledge base systems based on database technologies and the three levels of semantic construct - frames, objects and relations. The in...
234
click to vote
SEMWEB
2010
Springer
15 years 8 days ago
2010
Springer
One of the key deficiencies of the Semantic Web is its lack of cognitive plausibility. We argue that by accounting for people's reasoning mechanisms and cognitive representati...