Sciweavers

546 search results - page 10 / 110
» An Action Semantics for MML
Sort
View
93
Voted
TODS
2002
52views more  TODS 2002»
15 years 1 months ago
Understanding the global semantics of referential actions using logic rules
Wolfgang May, Bertram Ludäscher
107
Voted
POPL
2010
ACM
15 years 11 months ago
Monads in Action
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
Andrzej Filinski
FOIS
2008
15 years 3 months ago
On the Syntax and Semantics of Effect Axioms
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...
Haythem O. Ismail
144
Voted
SEMCO
2008
IEEE
15 years 8 months ago
Semantic Agent Programming Language (S-APL): A Middleware Platform for the Semantic Web
The agent-based approach is an effective one for building middleware interconnecting distributed heterogeneous resources and providing semantic interoperability among them. On the...
Artem Katasonov, Vagan Y. Terziyan