2106 search results - page 92 / 422 » Operational Semantics for DyLPs |
188
click to vote
SBBD
2004
15 years 7 months ago
2004
Learning Content Management Systems (LCMS) store and manage e-learning content and play an important role in the development of Distance Learning technology. ROSA (Repository of O...
160
click to vote
SKG
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...
134
click to vote
FOIS
2006
15 years 7 months ago
2006
The focus of this paper are actions in which agents employ instruments in order to achieve desired outcomes. I explore the ontological structure of such actions and the semantic fe...
160
click to vote
IWFM
2003
15 years 7 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
138
click to vote
JANCL
2008
15 years 6 months ago
2008
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...