Sciweavers

10568 search results - page 1 / 2114
» Computer Intelligence and Formalization
Sort
View
FAABS
2000
Springer
13 years 8 months ago
On Formal Modeling of Agent Computations
Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyos...
IPPS
1999
IEEE
13 years 8 months ago
A Formal Definition of the Phenomenon of Collective Intelligence and its IQ Measure
This paper formalizes the concept of Collective Intelligence (C-I). Application of the Random PROLOG Processor (RPP) has allowed us to model the phenomenon of C-I in social structu...
Tadeusz Szuba
ECAI
2004
Springer
13 years 9 months ago
A Formal Tutoring Process Model for Intelligent Tutoring Systems
The combination Computer Based Training systems with Artificial Intelligence and Cognitive Science has led to the development of Intelligent Tutoring Systems nearly 30 years ago. ...
Alke Martens, Adelinde Uhrmacher