1318 search results - page 59 / 264 » The formal semantics of the timeER model |
110
click to vote
AAAI
2007
15 years 4 months ago
2007
This paper formalizes a well-known psychological model of emotions in an agent specification language. This is done by introducing a logical language and its semantics that are u...
101
click to vote
KR
1998
Springer
15 years 6 months ago
1998
Springer
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...
102
click to vote
SEMWEB
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
149
click to vote
DOOD
1997
Springer
15 years 6 months ago
1997
Springer
With the increasing importance of the World Wide Web as an information source, there is a growing interest for integration of Web and database technology. Several Web query languag...
106
click to vote
KES
2004
Springer
15 years 7 months ago
2004
Springer
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...