1670 search results - page 130 / 334 » On Skolemization in constructive theories |
166
click to vote
DIGRA
2005
Springer
2005
Springer
A Sociotechnical Conjecture about the Context and Development of Multiplayer Online Game Experiences
15 years 12 months ago
The advent of multiplayer online games brings new actors into the development scene and redefines traditional roles and interactions. Anchored on studies of the role of context in...
138
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed ...
177
click to vote
ISSAC
1997
Springer
15 years 10 months ago
1997
Springer
Resultants characterize the existence of roots of systems of multivariate nonlinear polynomial equations, while their matrices reduce the computation of all common zeros to a prob...
175
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
The Baldwin Effect is a very plausible, but unproven, biological theory concerning the power of learning to accelerate evolution. Simple computational models in the 1980’s gave...
152
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-bas...