Sciweavers

639 search results - page 20 / 128
» Engineering intelligent systems on the knowledge formalizati...
Sort
View
ITS
2004
Springer
204views Multimedia» more  ITS 2004»
14 years 2 months ago
FlexiTrainer: A Visual Authoring Framework for Case-Based Intelligent Tutoring Systems
The need for rapid and cost-effective development Intelligent Tutoring Systems with flexible pedagogical approaches has led to a demand for authoring tools. The authoring systems ...
Sowmya Ramachandran, Emilio Remolina, Daniel Fu
AWIC
2003
Springer
14 years 1 months ago
Formalization of Web Design Patterns Using Ontologies
Design patterns have been enthusiastically embraced in the software engineering community as well as in the web community since they capture knowledge about how and when to apply a...
Susana Montero, Paloma Díaz, Ignacio Aedo
AAAI
2007
13 years 11 months ago
Learning by Reading: A Prototype System, Performance Baseline and Lessons Learned
A traditional goal of Artificial Intelligence research has been a system that can read unrestricted natural language texts on a given topic, build a model of that topic and reason...
Ken Barker, Bhalchandra Agashe, Shaw Yi Chaw, Jame...
ATAL
2005
Springer
14 years 2 months ago
A computationally grounded logic of knowledge, belief and certainty
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
Kaile Su, Abdul Sattar, Guido Governatori, Qinglia...
ECSA
2010
Springer
13 years 8 months ago
Formal approach to security metrics.: what does "more secure" mean for you?
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
Leanid Krautsevich, Fabio Martinelli, Artsiom Yaut...