4690 search results - page 134 / 938 » An operational semantics for Scheme |
169
click to vote
AAAI
2007
15 years 8 months ago
2007
This paper presents a new approach for merging prioritized knowledge bases in possibilistic logic. Our approach is semantically defined by a model-based merging operator in propo...
165
click to vote
AGI
2008
15 years 8 months ago
2008
: Consistent with the ultimate goals of AGI, we can expect that deductive consequences of large and grammatically varied text bases would not be generated by sequential application...
159
click to vote
PROCOMET
1998
15 years 7 months ago
1998
We develop a theory of bisimulations in the join-calculus. We introduce a refined operational model that makes interactions with the environment explicit, and discuss the impact o...
148
click to vote
FUIN
2008
15 years 6 months ago
2008
Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem of developing an axiomatization that is sound and comple...
165
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
A user stores his personal files in a cloud, and retrieves them wherever and whenever he wants. For the sake of protecting the user data privacy and the user queries privacy, a use...