Sciweavers

643 search results - page 17 / 129
» A Description Logic System for Learning in Complex Domains
Sort
View
SG
2007
Springer
14 years 2 months ago
Correlating Text and Images: Concept and Evaluation
This paper presents the concept and an evaluation of a novel approach to support students to understand complex spatial relations and to learn unknown terms of a domain-specific t...
Timo Götzelmann, Pere-Pau Vázquez, Knu...
FROCOS
2009
Springer
14 years 2 months ago
DL-Lite with Temporalised Concepts, Rigid Axioms and Roles
We investigate the temporal extension of the description logic DL-Lite(RN ) bool with the until operator on concepts, rigid (time-independent) and local (time-dependent) roles, and...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...
ECML
1987
Springer
13 years 11 months ago
Induction in Noisy Domains
This paper examines the induction of classification rules from examples using real-world data. Real-world data is almost always characterized by two features, which are important ...
Peter Clark, Tim Niblett
FROCOS
2007
Springer
13 years 11 months ago
From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain
In the last two decades we have witnessed an impressive advance in the efficiency of propositional satisfiability techniques (SAT), which has brought large and previously-intractab...
Roberto Sebastiani
ICALT
2006
IEEE
14 years 1 months ago
Effective Analysis and Design of Computer-Supported Learning System
The analysis phase constitutes an essential step in the development of information systems. Nevertheless, learning materials design activities currently have reduced the analysis ...
David Díez Cebollero, Camino Fernánd...