6355 search results - page 910 / 1271 » From Logic to Games |
196
click to vote
CIKM
2005
Springer
16 years 11 days ago
2005
Springer
Schema matching is the problem of finding correspondences (mapping rules, e.g. logical formulae) between heterogeneous schemas e.g. in the data exchange domain, or for distribute...
182
click to vote
DALT
2005
Springer
16 years 11 days ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
204
click to vote
DALT
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...
174
click to vote
ESWS
2005
Springer
16 years 11 days ago
2005
Springer
There is an ongoing discussion whether reasoning in the Semantic Web should be monotonic or not. It seems however that the problem concerns not only the reasoning over knowledge bu...
164
click to vote
FOSSACS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...