Sciweavers

1816 search results - page 61 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
CLEF
2008
Springer
15 years 6 months ago
RAVE: A Fast Logic-Based Answer Validator
RAVE (Real-time Answer Validation Engine) is a logic-based answer validator/selector designed for real-time question answering. Instead of proving a hypothesis for each answer, RAV...
Ingo Glöckner
NAACL
2003
15 years 6 months ago
Automatic Extraction of Semantic Networks from Text using Leximancer
Leximancer is a software system for performing conceptual analysis of text data in a largely language independent manner. The system is modelled on Content Analysis and provides u...
Andrew E. Smith
AAMAS
2007
Springer
15 years 4 months ago
A formal framework for connective stability of highly decentralized cooperative negotiations
Abstract. Multiagent cooperative negotiation is a promising technique for modeling and controlling complex systems. Effective and flexible cooperative negotiations are especially...
Francesco Amigoni, Nicola Gatti
ITS
2010
Springer
200views Multimedia» more  ITS 2010»
15 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
ICFCA
2004
Springer
15 years 10 months ago
Towards a Conceptual Theory of Indistinguishable Objects
Based on the conceptual representation of objects in space and time as introduced in Temporal Concept Analysis first steps are done into the direction of a conceptual theory of ...
Karl Erich Wolff