2576 search results - page 110 / 516 » The Complexity of Zero Knowledge |
154
click to vote
AI
2008
Springer
15 years 3 months ago
2008
Springer
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
141
click to vote
EDM
2009
15 years 2 months ago
2009
This paper presents several methods to automatically detecting students' mental models in MetaTutor, an intelligent tutoring system that teaches students self-regulatory proce...
151
Voted
WEBI
2007
Springer
15 years 10 months ago
2007
Springer
There is a critical need to design and develop tools tract away the fundamental complexity of XML-based Web services specifications and toolkits, and provide an elegant, intuitive...
125
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
Qualitative Reasoning (QR) formalisms provide ontological primitives for capturing conceptual knowledge. Recently QR-based diagrammatic tools are being developed to support learne...
129
click to vote
RULEML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. When developing situation awareness applications we begin by constructing an OWL ontology to capture a language of discourse for the domain of interest. Such an ontology,...