1746 search results - page 238 / 350 » A Constructive Semantics for ALC |
98
Voted
SPLST
2003
15 years 2 months ago
2003
We integrate user-defined functions with semantic equations into standard Prolog. In order to interface them with Prolog, we introduce a single operator. If a predicate invocation...
134
click to vote
IWFM
1998
15 years 2 months ago
1998
ing Structured Database Schemas into Abstract Machines Brian Matthews Rutherford Appleton Laboratory, Didcot, OXON, OX11 OQX, U.K. Elvira Locuratolo Istituto di Elaborazione dell&#...
123
click to vote
APDC
1997
15 years 2 months ago
1997
We introduce a new parallel programming paradigm, namely synchronous parallel critical sections. Such parallel critical sections must be seen in the context of switching between s...
116
Voted
NAACL
1994
15 years 2 months ago
1994
The Penn Treebank has recently implemented a new syntactic annotation scheme, designed to highlight aspects of predicate-argument structure. This paper discusses the implementatio...
113
click to vote
ANLP
1992
15 years 1 months ago
1992
We describe the lexical knowledge base system (LKB) which has been designed and implemented as part of the ACQUILEX project1 to allow the representation of multilinguM syntactic a...