Sciweavers

3808 search results - page 153 / 762
» Artificial Intelligence: A Modern Approach
Sort
View
164
Voted
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...
159
Voted
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
147
Voted
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
221
Voted
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