1059 search results - page 138 / 212 » Unification-Based Semantic Interpretation |
113
click to vote
VMCAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
130
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
128
click to vote
AUSAI
2003
Springer
15 years 9 months ago
2003
Springer
Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions [...
124
click to vote
CEEMAS
2003
Springer
15 years 9 months ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...
135
click to vote
MM
1999
ACM
15 years 8 months ago
1999
ACM
A smart interactive video object generation (SIVOG) system is proposed in this work. SIVOG provides a semantic layer to interact with the user. It interprets user’s input and ch...