5671 search results - page 345 / 1135 » A Semantic Approach to Interpolation |
189
click to vote
TLCA
2005
Springer
16 years 9 days ago
2005
Springer
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...
168
click to vote
APN
2001
Springer
15 years 11 months ago
2001
Springer
We show that the so-called ‘Petri nets are monoids’ approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by...
139
click to vote
ACL
2008
15 years 8 months ago
2008
This paper proposes a framework for representing the meaning of phrases and sentences in vector space. Central to our approach is vector composition which we operationalize in ter...
193
Voted
FLAIRS
2006
15 years 8 months ago
2006
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
171
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
In this paper we propose a random set framework for learning linguistic models for prediction problems. We show how we can model prediction problems based on learning linguistic p...