1746 search results - page 29 / 350 » A Constructive Semantics for ALC |
119
click to vote
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
128
click to vote
LEC
2002
IEEE
15 years 6 months ago
2002
IEEE
We report in this short document the results of a Regional European project carried out on Spanish, Catalan, Occitan and French whose aim is to design a lexical knowledge base whe...
141
click to vote
ICDE
2002
IEEE
15 years 7 months ago
2002
IEEE
Unity is an architecture for integrating relational databases that performs three processes: metadata capture, semantic integration, and query formulation and execution. The found...
63
Voted
COLING
1996
15 years 3 months ago
1996
This paper focusses on mental state adjectives and offers a unified analysis in the theory of Generative Lexicon (Pustejovsky, 1991, 1995). We show that, instead of enumerating th...
ESSLLI
1999
Springer
15 years 6 months ago
1999
Springer
This paper argues that exhaustification is empirically and theoretically important as a tool in the semantic description of various constructions in natural language. Discussion f...