Sciweavers

639 search results - page 2 / 128
» Engineering intelligent systems on the knowledge formalizati...
Sort
View
ITS
2010
Springer
200views Multimedia» more  ITS 2010»
13 years 6 months ago
Developing an Intelligent Tutoring System Using Natural Language for Knowledge Representation
Authoring the domain knowledge of an intelligent tutoring system (ITS) is a well-known problem, and an often-mentioned approach is to use authors who are domain experts. Unfortunat...
Sung-Young Jung, Kurt VanLehn
ISEMANTICS
2010
13 years 6 months ago
STEX+: a system for flexible formalization of linked data
We present the STEX system, a semantic extension of LATEX, that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc docu...
Andrea Kohlhase, Michael Kohlhase, Christoph Lange...
ECAI
2004
Springer
13 years 10 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
ECAI
2010
Springer
13 years 6 months ago
Semi-Automatic Revision of Formalized Knowledge
As the amount of available ontologies and their size grow, ontology reuse gains in importance. However, the online available formalized knowledge in many cases need a revision whic...
Nadejda Nikitina
ECAI
2008
Springer
13 years 6 months ago
QuestSemantics - Intelligent Search and Retrieval of Business Knowledge
Keyword-based search engines, though hugely popular, are limited when trying to answer very specific queries. The processing of search results is performed by users, rather than th...
Ian Blacoe, Ignazio Palmisano, Valentina A. M. Tam...