Sciweavers

2135 search results - page 182 / 427
» An Operational Semantics for JavaScript
Sort
View
AAAI
2011
14 years 2 months ago
The Epistemic Logic Behind the Game Description Language
A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game description language GDL...
Ji Ruan, Michael Thielscher
ECSQARU
2001
Springer
15 years 6 months ago
On Anytime Coherence-Based Reasoning
Abstract. A great deal of research has been devoted to nontrivial reasoning in inconsistent knowledge bases. Coherence-based approaches proceed by a consolidation operation which s...
Frédéric Koriche
CSCW
2000
ACM
15 years 6 months ago
Copies convergence in a distributed real-time collaborative environment
In real−time collaborative systems, replicated objects, shared by users, are subject to concurrency constraints. In order to satisfy these, various algorithms, qualified as op...
Nicolas Vidot, Michèle Cart, Jean Ferri&eac...
SOCO
2009
Springer
15 years 8 months ago
A Framework for Testing Model Composition Engines
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
Freddy Munoz, Benoit Baudry
LOPSTR
2007
Springer
15 years 8 months ago
Denotation by Transformation
Abstract. It has often been observed that a point-free style of programvides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semant...
Bernd Braßel, Jan Christiansen