1027 search results - page 12 / 206 » Representing and Reasoning with Operational Semantics |
GIS
2007
ACM
14 years 8 months ago
2007
ACM
We propose a new multi-scale terrain model, based on a hierarchical representation for the morphology of a terrain. The basis of our morphological model is a dual Morse decomposit...
SEMWEB
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
ICMCS
2010
IEEE
13 years 8 months ago
2010
IEEE
Mood annotation of music is challenging as it concerns not only audio content but also extra-musical information. It is a representative research topic about how to traverse the w...
ICLP
1991
Springer
13 years 11 months ago
1991
Springer
Well Founded Semantics is adequate to capture nonmonotonic reasoning if we interpret the Well Founded model of a program P as a (possibly incomplete) view of the world. Thus the W...
ECAI
2010
Springer
13 years 7 months ago
2010
Springer
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...