546 search results - page 10 / 110 » An Action Semantics for MML |
TODS
2002
14 years 11 months ago
2002
MTA
2011
14 years 6 months ago
2011
POPL
2010
ACM
15 years 9 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
FOIS
2008
15 years 1 months ago
2008
Effect axioms constitute the cornerstone of formal theories of action in AI. They drive standard reasoning tasks, especially prediction. These tasks need not be coupled with actual...
126
click to vote
SEMCO
2008
IEEE
15 years 6 months ago
2008
IEEE
The agent-based approach is an effective one for building middleware interconnecting distributed heterogeneous resources and providing semantic interoperability among them. On the...