Sciweavers

3808 search results - page 153 / 762
» Artificial Intelligence: A Modern Approach
Sort
View
AIED
2009
Springer
16 years 1 months ago
Structuring Learning/Instructional Strategies through a State-based Modeling
This study, through the ontological engineering approach, aims at building a conceptual basis that encourages instructional designers in better understanding of learning/instructio...
Yusuke Hayashi, Jacqueline Bourdeau, Riichiro Mizo...
AIED
2009
Springer
16 years 1 months ago
Highlighting Learning Across a Degree with an Independent Open Learner Model
This paper introduces UK-SpecIAL, a simple independent open learner model to raise learner awareness of their progress towards learning outcomes across components of their degree. ...
Susan Bull, Peter Gardner
KI
2009
Springer
16 years 1 months ago
Meta-level Information Extraction
Abstract. This paper presents a novel approach for meta-level information extraction (IE). The common IE process model is extended by utilizing transfer knowledge and meta-features...
Peter Klügl, Martin Atzmueller, Frank Puppe
SARA
2009
Springer
16 years 1 months ago
A New Formula Rewriting by Reasoning on a Graphical Representation of SAT Instances
In this paper, we propose a new approach for solving the SAT problem. This approach consists in representing SAT instances thanks to an undirected graph issued from a polynomial t...
Philippe Jégou, Lionel Paris
TABLEAUX
2009
Springer
16 years 1 months ago
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved thr...
Mark Kaminski, Sigurd Schneider, Gert Smolka