1059 search results - page 129 / 212 » Unification-Based Semantic Interpretation |
133
click to vote
CJ
2004
15 years 4 months ago
2004
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...
163
click to vote
LOGCOM
2002
15 years 4 months ago
2002
We present a logical approach to plan recognition that builds on Kautz's theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level pl...
154
click to vote
AI
2008
Springer
15 years 3 months ago
2008
Springer
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
259
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
A fundamental problem in information integration is that of designing the relationships, called schema mappings, between two schemas. The specification of a semantically correct sc...
253
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...