2500 search results - page 305 / 500 » Logical Semantics of Modularisation |
145
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents a method and a tool for designing and automatically creating an HTML web site for publishing Semantic Web content represented in RDF(S). The idea is to specify...
134
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...
184
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Information systems often require combining datasets available in different formats, and geographical information systems are no exception. While semantic technologies have been u...
198
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
170
click to vote
CLIMA
2007
15 years 8 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...