1356 search results - page 12 / 272 » A variable-free dynamic semantics |
AMAST
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
ASWC
2006
Springer
14 years 1 months ago
2006
Springer
Watson is a gateway to the Semantic Web: it collects, analyzes and gives access to ontologies and semantic data available online. Its objective is to support the development of ne...
EON
2007
13 years 11 months ago
2007
Abstract. Watson is a gateway to the Semantic Web: it collects, analyzes and gives access to ontologies and semantic data available online with the objective of supporting their dy...
CHI
2003
ACM
14 years 10 months ago
2003
ACM
Computer users deal with large amounts of personal media often face problems in managing and exploring it. This paper presents Semantic Regions, rectangular regions that enable us...
ISEMANTICS
2010
13 years 11 months ago
2010
Abstract. SIOC provides the Semantic Web with a vocabulary for representing the state of online communities at a given time. However, a number of web application put a strong empha...