3408 search results - page 38 / 682 » Logic, language, information and computation |
109
click to vote
COLING
2002
15 years 6 months ago
2002
The relative logical scope of multiple modifiers within NP is often semantically significant. This paper proposes a structurally based method for computing the relative scope of s...
156
click to vote
AIIDE
2008
15 years 8 months ago
2008
Game developers are faced with the difficult task of creating non-player characters with convincing behavior. This commonly involves an exhaustive specification of their actions i...
172
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
241
click to vote
KRDB
2003
15 years 7 months ago
2003
We report about some preliminary issues from the DFG project “Description Logics and Spatial Reasoning” (“DLS”, DFG Grant NE 279/8-1), one of whose goals is to develop a p...
167
click to vote
ERSHOV
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...