474 search results - page 45 / 95 » Spatial Agents Implemented in a Logical Expressible Language |
COSIT
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper analyses the semantics of natural language expressions that are associated with the intuitive notion of ‘place’. We note that the nature of such terms is h...
ICFP
2012
ACM
11 years 11 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
RR
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The Semantic Web is commonly perceived as a web of partially interlinked machine readable data. This data is inherently distributed and resembles the structure of the web...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we describe a channel-based exogenous coordination language, called Reo, and discuss its application to multi-agent systems. Reo supports a specific notion of compo...
ICMI
2005
Springer
14 years 2 months ago
2005
Springer
Synthetic characters are an effective modality to convey messages to the user, provide visual feedback about the system internal understanding of...