8911 search results - page 1513 / 1783 » Intelligent Systems for Tourism |
193
click to vote
TABLEAUX
2005
Springer
16 years 23 days ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
172
click to vote
AISC
2004
Springer
16 years 21 days ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
165
click to vote
ECAI
2004
Springer
16 years 21 days ago
2004
Springer
d abstract)1 Niek Bergboer Eric Postma Jaap van den Herik Institute for Knowledge and Agent Technology, Universiteit Maastricht, P.O. Box 616, 6200 MD Maastricht It is well known t...
220
click to vote
ECAI
2004
Springer
16 years 21 days ago
2004
Springer
Abstract. The emergence of complex network structures of relationships between autonomous agents occurs in a wide range of distributed systems. Many researchers have proposed model...
163
click to vote
ITS
2004
Springer
16 years 20 days ago
2004
Springer
The ability to use help-resources efficiently is an important skill in any learning environment, whether the student is in a traditional classroom or is using an Intelligent Tutor...