2696 search results - page 297 / 540 » Semantic Abstraction and Anaphora |
137
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Information retrieval can contribute towards the construction of ontologies and the effective usage of ontologies. We use collocation-based keyword extraction to suggest ...
177
click to vote
DALT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper aims at defining the semantics of Agent Communication Languages (ACLs) in terms of changes in the social relationships between agents, represented in terms of...
183
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
195
click to vote
DALT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
163
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we show how to extend a constructive type theory with a principle that captures the spirit of Markov’s principle from constructive recursive mathematics. ...