5451 search results - page 224 / 1091 » Typed Operational Semantics |
114
click to vote
COGSCI
2006
15 years 4 months ago
2006
Comprehenders often need to go beyond conventional word senses to obtain an appropriate interpretation of an expression. We report an experiment examining the processing of standa...
139
click to vote
KI
2006
Springer
15 years 4 months ago
2006
Springer
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
137
click to vote
ACL
2012
13 years 6 months ago
2012
Comprehending action preconditions and effects is an essential step in modeling the dynamics of the world. In this paper, we express the semantics of precondition relations extrac...
104
Voted
BIRTHDAY
2004
Springer
15 years 9 months ago
2004
Springer
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
117
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped...