2696 search results - page 291 / 540 » Semantic Abstraction and Anaphora |
147
click to vote
RR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. It is well-knwon that crisp RDF is not suitable to represent vague information. Fuzzy RDF variants are emerging to overcome to this limitations. In this work we provide, ...
139
click to vote
TPHOL
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
158
click to vote
ASIAN
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...
173
click to vote
CEEMAS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Agent Communication Languages (ACLs) play a fundamental role in open multiagent systems where message exchange is the main if not the only way for agents to coordinate th...
168
click to vote
GTTSE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Domain Specific Languages (DSLs) are small languages designed for use in a specific domain. DSLs typically evolve quite radically throughout their lifetime, but current...