3552 search results - page 175 / 711 » Proof theory in the abstract |
134
click to vote
CIG
2005
IEEE
16 years 2 days ago
2005
IEEE
Abstract- This paper proposes a similarity-based approach for opponent modelling in multi-agent games. The classification accuracy is increased by adding derived attributes from i...
203
click to vote
ADBIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boo...
158
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
163
click to vote
AGI
2008
15 years 8 months ago
2008
Abstract. This paper presents a model of intelligence based on principles introduced by Piaget and the interactivist framework. It focuses on embodiment and sensory-motor aspects o...
141
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We investigate two associative products over the ring of symmetric functions related to the intransitive and Cartesian products of permutation groups. As an application, ...