546 search results - page 61 / 110 » An Action Semantics for MML |
200
click to vote
ISTA
2008
15 years 7 months ago
2008
Abstract. Integration is one of the pivotal concepts with respect to analyzing, designing and evaluating information systems. Integrating software components as well as integrating...
157
click to vote
AAAI
2006
15 years 7 months ago
2006
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that wo...
157
click to vote
AAAI
1996
15 years 7 months ago
1996
Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain ev...
167
click to vote
ENTCS
2006
15 years 6 months ago
2006
We refine our algebraic axiomatization in [8,9] of epistemic actions and epistemic update (notions defined in [5,6] using Kripke-style semantics), to incorporate a mechanism for d...
187
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...