2308 search results - page 66 / 462 » Categorial Semantics For LFG |
FLAIRS
2000
15 years 1 months ago
2000
This paper describes a novel semantic framework for an agent architecture. Drawing on Shoham's work on AGENT0 (Shoham 1993), we replace Shoham's modal logic semantics wi...
101
click to vote
WWW
2005
ACM
16 years 16 days ago
2005
ACM
The Semantic Web consists of many RDF graphs nameable by URIs. This paper extends the syntax and semantics of RDF to cover such Named Graphs. This enables RDF statements that desc...
192
click to vote
ICFP
2009
ACM
16 years 15 days ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
176
click to vote
POPL
2009
ACM
16 years 15 days ago
2009
ACM
PHP is a popular language for server-side applications. In PHP, assignment to variables copies the assigned values, according to its so-called copy-on-assignment semantics. In con...
116
click to vote
MIR
2006
ACM
15 years 5 months ago
2006
ACM
Temporal consistency is ubiquitous in video data, where temporally adjacent video shots usually share similar visual and semantic content. This paper presents a thorough study of ...