288 search results - page 13 / 58 » The Denotational Semantics of slotted-Circus |
ACL
1992
13 years 9 months ago
1992
Aspects of semantic interpretation, such as quantifier scoping and reference resolution, are often realised computationally by non-monotonic operations involving loss of informati...
ACL
2009
13 years 6 months ago
2009
Mapping and classification of chemical compound names are important aspects of the tasks of BioNLP. This paper introduces the architecture of a system for the syntactic and semant...
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
When a Semantic Web application encounters a new URI in an RDF statement, how should it determine what resource that URI is intended to denote, and learn more about it? Since asser...
ACSD
1998
IEEE
14 years 28 days ago
1998
IEEE
One of the central objectives of the LOTOS restandardisation activity is to de ne an enhanced LOTOS language which supports real-time speci cation. The timed extension is based up...
ICFP
1998
ACM
14 years 26 days ago
1998
ACM
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion...