4401 search results - page 215 / 881 » Computing with Default Logic |
134
click to vote
AGI
2008
15 years 5 months ago
2008
Inhabiting the complex and dynamic environments of modern computer games with autonomous agents capable of intelligent timely behaviour is a significant research challenge. We illu...
157
click to vote
TCS
2011
14 years 11 months ago
2011
We give a semantic account of the execution time (i.e. the number of cut elimination steps leading to the normal form) of an untyped MELL net. We first prove that: 1) a net is he...
123
click to vote
SEMCO
2008
IEEE
15 years 10 months ago
2008
IEEE
This demonstration shows how semantic schema matching technology is being incorporated into the BEA AquaLogic Data Services Platform. Specifically, it demonstrates how the manuall...
121
click to vote
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
133
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...