15 search results - page 3 / 3 » Big-step Operational Semantics Revisited |
83
Voted
ESAW
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
The aim of this article is to revisit Dalal’s operator for belief revision. Dalal has proposed a technique for revising belief bases based on the minimization of a distance betw...
ICN
2009
Springer
15 years 6 months ago
2009
Springer
The established host-centric networking paradigm is challenged due to handicaps related with disconnected operation, mobility, and broken locator/identifier semantics. This paper...
ICOST
2007
Springer
15 years 5 months ago
2007
Springer
This paper defines a new, context-driven programming model for pervasive spaces. Existing models are prone to conflict, as it is hard to predict the outcome of interleaved actions ...
JAIR
2010
14 years 10 months ago
2010
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other...