Sciweavers

440 search results - page 27 / 88
» A DOP Model for Semantic Interpretation
Sort
View
WWW
2011
ACM
14 years 6 months ago
Towards semantic knowledge propagation from text corpus to web images
In this paper, we study the problem of transfer learning from text to images in the context of network data in which link based bridges are available to transfer the knowledge bet...
Guojun Qi, Charu C. Aggarwal, Thomas Huang
CSR
2008
Springer
15 years 1 months ago
A Semantic Proof of Polytime Soundness of Light Affine Logic
We define a denotational semantics for Light Affine Logic (LAL) which has the property that denotations of functions are polynomial time computable by construction of the model. Th...
Ugo Dal Lago, Martin Hofmann
115
Voted
ATAL
2004
Springer
15 years 3 months ago
Verification of Multiagent Systems via Unbounded Model Checking
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
Magdalena Kacprzak, Alessio Lomuscio, Wojciech Pen...
104
Voted
ATAL
2008
Springer
15 years 1 months ago
Internal models and private multi-agent belief revision
We generalize AGM belief revision theory to the multi-agent case. To do so, we first generalize the semantics of the singleagent case, based on the notion of interpretation, to th...
Guillaume Aucher
81
Voted
WISE
2003
Springer
15 years 5 months ago
The Many Faces of Mapping and Translation for Semantic Web Services
Semantic web services hold the promise of greatly increasing interoperability among software agents and web services by enabling content-based (as opposed to format-based) automat...
Mark H. Burstein