1027 search results - page 63 / 206 » Representing and Reasoning with Operational Semantics |
110
Voted
DLOG
2007
15 years 3 months ago
2007
In the context of the Semantic Web or semantic peer to peer systems, many ontologies may exist and be developed independently. Ontology alignments help integrating, mediating or re...
125
Voted
CLIMA
2010
15 years 2 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
116
Voted
COOPIS
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. In [11], we proposed an algebra with four algebraic operators, whose composition can be used to generate valid compound terms in a given faceted taxonomy in an efficient ...
119
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
To learn to behave in highly complex domains, agents must represent and learn compact models of the world dynamics. In this paper, we present an algorithm for learning probabilist...
121
Voted
TLCA
2007
Springer
15 years 7 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...