440 search results - page 37 / 88 » A DOP Model for Semantic Interpretation |
NDJFL
2002
14 years 11 months ago
2002
This paper discusses the relation between the minimal positive relevant logic B+ and intersection and union type theories. There is a marvellous coincidence between these very diff...
SEFM
2007
IEEE
15 years 6 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
EJC
2003
15 years 1 months ago
2003
The goal of this paper is to build a bridge from a certain intuitive conception of natural language communication, called the SLIM theory of language, to a technical approach, cal...
CADE
2007
Springer
15 years 6 months ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
NAACL
1994
15 years 1 months ago
1994
We present an integrated approach to speech and natural language processing which uses a single parser to create training for a statistical speech recognition component and for in...