1027 search results - page 90 / 206 » Representing and Reasoning with Operational Semantics |
EACL
1993
ACL Anthology
15 years 2 months ago
1993
ACL Anthology
The interpretation of coercion constructions (to begin a book) has been recently considered as resulting from the operation of type changing. For instance, a phrase of type o (obj...
103
Voted
LPNMR
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...
113
click to vote
LICS
1993
IEEE
15 years 4 months ago
1993
IEEE
This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type infer...
147
click to vote
ICWS
2004
IEEE
15 years 2 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
135
Voted
HOTOS
2003
IEEE
15 years 6 months ago
2003
IEEE
—Traditional hierarchical namespaces are not sufficient for representing and managing the rich semantics of today’s storage systems. In this paper, we discuss the principles o...