2181 search results - page 82 / 437 » Ontologies and Description Logics |
122
click to vote
CSL
2000
Springer
15 years 10 months ago
2000
Springer
We study definability of languages in arithmetic and the free monoid by bounded versions of fixed-point and transitive-closure logics. In particular we give logical characterisat...
167
click to vote
ICWL
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. There is little doubt that intelligent and adaptive educational technologies are capable of providing personalized learning experiences and improving learning success. Cu...
151
click to vote
AIED
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Many CSCL systems have embraced scripting and service oriented computing to achieve effective collaboration and system flexibility, respectively. While learning standard...
153
click to vote
DILS
2004
Springer
15 years 11 months ago
2004
Springer
Taxonomists classify biological specimens into groups (taxa) on the basis of similarities between their observed features ('characters'). The description of these 'c...
138
click to vote
ACII
2005
Springer
15 years 11 months ago
2005
Springer
There is a great variety of theoretical models of emotions and implementation technologies which can be used in the design of affective computers. Consequently, designers and resea...