close
1.

電子ブック
ＥＢ
1. Cognitive Systems
Ruqian Lu, J?rg Siekmann, J?rg H. Siekmann, Carsten Ullrich
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Natural Language Dialog with a Tutor System for Mathematical Proofs / Christoph Benzmuller ; Helmut Horacek ; Ivana Kruijff-Korbayova ; Manfred Pinkal ; Jorg Siekmann ; Magdalena Wolska
On the Effectiveness of Visualizations in a Theory of Computing Course / Rudolf Fleischer ; Gerhard Trippen
Some Cognitive Aspects of a Turing Test for Children / Ruqian Lu ; Hongge Liu ; Songmao Zhang ; Zhi Jin ; Zichu Wei
Challenges in Search and Usage of Multi-media Learning Objects / Erica Melis ; Ruimin Shen ; Carsten Ullrich ; Fan Yang ; Peng Han
An Intelligent Platform for Information Retrieval / Fang Li ; Xuanjing Huang
P-Terse: A Peer-to-Peer Based Text Retrieval and Search System / Weining Qian ; Feibo Chen ; Bei Du ; Aoying Zhou
Identifying Semantic Relations Between Named Entities from Chinese Texts / Tianfang Yao ; Hans Uszkoreit
Research on English-Chinese Bi-directional Cross-Language Information Retrieval / Yuejie Zhang ; Tao Zhang
Analyzing Image Texture from Blobs Perspective / Yi Yi Huang ; Cun Lu Xu ; Yan Qiu Chen
Access to Content / Dietrich Klakow
Content-Based Image and Video Indexing and Retrieval / Hong Lu ; Xiangyang Xue ; Yap-Peng Tan
Shape Recognition with Coarse-to-Fine Point Correspondence Under Image Deformations / Huixuan Tang ; Hui Wei
Towards Efficient Ranked Query Processing in Peer-to-Peer Networks / Keping Zhao ; Shuigeng Zhou
Author Index
Natural Language Dialog with a Tutor System for Mathematical Proofs / Christoph Benzmuller ; Helmut Horacek ; Ivana Kruijff-Korbayova ; Manfred Pinkal ; Jorg Siekmann ; Magdalena Wolska
On the Effectiveness of Visualizations in a Theory of Computing Course / Rudolf Fleischer ; Gerhard Trippen
Some Cognitive Aspects of a Turing Test for Children / Ruqian Lu ; Hongge Liu ; Songmao Zhang ; Zhi Jin ; Zichu Wei
2.

電子ブック
ＥＢ
2. Pedagogically Founded Courseware Generation for Web-Based Learning
Carsten Ullrich, J?rg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Preliminaries / Part I：
Introduction / 1：
Motivation / 1.1：
Contributions / 1.2：
Service-Oriented Course Generation / 1.2.1：
Modeling of Pedagogical Knowledge / 1.2.2：
Adaptivity in Generated Courses / 1.2.3：
Evaluation / 1.2.4：
Overview / 1.3：
Relevant Technologies / 2：
Basic Terminology / 2.1：
Semantic Web Technologies / 2.2：
Extensible Markup Language / 2.2.1：
Resource Description Framework / 2.2.2：
OWL Web Ontology Language / 2.2.3：
E-learning Standards / 2.3：
Learning Object Metadata / 2.3.1：
IMS Content Packaging / 2.3.2：
IMS Simple Sequencing / 2.3.3：
IMS Learning Design / 2.3.4：
Mathematics in the Web / 2.4：
OMDoc (Open Mathematical Documents) / 2.4.1：
The Learning Environment ActiveMath / 2.4.2：
Course Generation / 2.5：
Hierarchical Task Network Planning / 2.6：
Introduction to AI-Planning / 2.6.1：
Introduction to Hierarchical Task Network Planning / 2.6.2：
SHOP2 and JSHOP2 / 2.6.3：
JSHOP2 Formalism / 2.6.4：
Descriptive and Prescriptive Learning Theories / 3：
Behaviorism / 3.1：
Cognitivism / 3.2：
Constructivism / 3.3：
Instructional Design / 3.4：
Competency-Based Learning / 3.5：
Mathematical Competencies / 3.5.1：
Competency Levels / 3.5.2：
PAIGOS / Part II：
General Principles / 4：
An Ontology of Instructional Objects / 4.1：
Description of the Ontology / 4.1.1：
Why an Ontology? / 4.1.3：
Applications of the Ontology / 4.1.4：
A Mediator for Accessing Learning Object Repositories / 4.2：
Related Work / 4.2.1：
Overview of the Mediator Architecture / 4.2.2：
Querying the Mediator / 4.2.3：
Ontology Mapping and Query Rewriting / 4.2.4：
Repository Interface and Caching / 4.2.5：
Limitations of the Mediator as an Educational Service / 4.2.6：
Pedagogical Tasks, Methods and Strategies / 4.3：
Representing Course Generation Knowledge in an HTN Planner / 4.4：
Mapping Pedagogical Tasks onto HTN Tasks / 4.4.1：
Course Generation Planning Problems / 4.4.3：
Critical and Optional Tasks / 4.4.4：
Basic General Purpose Axioms and Operators / 4.5：
Testing for Equality / 4.5.1：
List Manipulation / 4.5.2：
Binding a Variable to All Terms of a Term List / 4.5.3：
Manipulating the World State / 4.5.4：
Basic Operators and Methods of the Course Generation Domain / 4.6：
Inserting References to Educational Resources / 4.6.1：
Starting and Ending Sections / 4.6.2：
Inserting References to Learning-Support Services / 4.6.3：
An Operator for Dynamic Text Generation / 4.6.4：
Dynamic Subtask Expansion / 4.6.5：
Accessing Information about Educational Resources / 4.6.6：
Axioms for Accessing the Learner Model / 4.6.7：
Processing Resources Depending on Learner Characteristics / 4.6.8：
Initializing and Manipulating Information about the Learning Goal / 4.6.9：
Converting a Plan into a Course / 4.7：
Generating Structure and Adaptivity: Dynamic Tasks / 4.8：
Generation of Narrative Bridges and Structure / 4.9：
Empirical Findings / 4.9.1：
Operator and Methods for Text Generation / 4.9.2：
Symbolic Representations of Dynamic Text Items / 4.9.3：
Generation of Structure Information / 4.9.4：
Summary / 4.10：
Course Generation in Practice: Formalized Scenarios / 5：
Moderate Constructivist Competency-Based Scenarios / 5.1：
Course Generation and Constructivism - a Contradiction? / 5.1.1：
Selecting Exercises / 5.1.2：
Selecting Examples / 5.1.3：
Scenario "Discover" / 5.1.4：
Scenario "Rehearse" / 5.1.5：
Scenario "Connect" / 5.1.6：
Scenario "Train Intensively" / 5.1.7：
Scenario "Train Competencies" / 5.1.8：
Scenario "Exam Simulation" / 5.1.9：
Course Generation Based on Instructional Design Principles / 5.2：
Merrill's "First Principles of Instruction" / 5.2.1：
Scenario "Guided Tour" / 5.2.2：
Implementation and Integration / 6：
Implementation / 6.1：
Integration of PAIGOS in ActiveMath / 6.2：
Course Generation in ActiveMath / 6.2.1：
Dynamically Generated Elements in a Table of Contents / 6.2.2：
Usage of Learning-Support Services in ActiveMath / 6.2.3：
Template-Based Generation of Narrative Bridges / 6.2.4：
PAIGOS as a Service in ActiveMath / 6.2.5：
Course Generation as a Web-Service / 6.3：
Interfaces / 6.3.1：
Technical Evaluations and Use Cases / 7：
Evaluation of the Ontology / 7.1.1：
Mediator Use Cases and Evaluations / 7.1.2：
Course Generation Use Cases and Evaluations / 7.1.3：
Performance of PAIGOS / 7.1.4：
Discussion / 7.1.5：
Formative and Summative Evaluation / 7.2：
Formative Evaluations / 7.2.1：
Summative Evaluation / 7.2.2：
Conclusions / 7.2.3：
Early Work / 8：
Generic Tutoring Environment / 8.2：
Dynamic Courseware Generator / 8.3：
ACE/WINDS / 8.4：
Former Course Generator of ActiveMath / 8.5：
APeLS/iClass / 8.6：
SeLeNe / 8.7：
Statistical Methods for Course Generation / 8.8：
Approaches Using Hierarchical Task Network Planning / 8.9：
Ontologies for Instructional Design / 8.10：
Future Work and Acknowledgments / 9：
Future Work / 9.1：
Complete List of User Comments
References
Index
Preliminaries / Part I：
Introduction / 1：
Motivation / 1.1：
3.

電子ブック
ＥＢ
3. Cognitive Systems
Ruqian Lu, Jörg Siekmann, Jörg H. Siekmann, Carsten Ullrich
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Natural Language Dialog with a Tutor System for Mathematical Proofs / Christoph Benzmuller ; Helmut Horacek ; Ivana Kruijff-Korbayova ; Manfred Pinkal ; Jorg Siekmann ; Magdalena Wolska
On the Effectiveness of Visualizations in a Theory of Computing Course / Rudolf Fleischer ; Gerhard Trippen
Some Cognitive Aspects of a Turing Test for Children / Ruqian Lu ; Hongge Liu ; Songmao Zhang ; Zhi Jin ; Zichu Wei
Challenges in Search and Usage of Multi-media Learning Objects / Erica Melis ; Ruimin Shen ; Carsten Ullrich ; Fan Yang ; Peng Han
An Intelligent Platform for Information Retrieval / Fang Li ; Xuanjing Huang
P-Terse: A Peer-to-Peer Based Text Retrieval and Search System / Weining Qian ; Feibo Chen ; Bei Du ; Aoying Zhou
Identifying Semantic Relations Between Named Entities from Chinese Texts / Tianfang Yao ; Hans Uszkoreit
Research on English-Chinese Bi-directional Cross-Language Information Retrieval / Yuejie Zhang ; Tao Zhang
Analyzing Image Texture from Blobs Perspective / Yi Yi Huang ; Cun Lu Xu ; Yan Qiu Chen
Access to Content / Dietrich Klakow
Content-Based Image and Video Indexing and Retrieval / Hong Lu ; Xiangyang Xue ; Yap-Peng Tan
Shape Recognition with Coarse-to-Fine Point Correspondence Under Image Deformations / Huixuan Tang ; Hui Wei
Towards Efficient Ranked Query Processing in Peer-to-Peer Networks / Keping Zhao ; Shuigeng Zhou
Author Index
Natural Language Dialog with a Tutor System for Mathematical Proofs / Christoph Benzmuller ; Helmut Horacek ; Ivana Kruijff-Korbayova ; Manfred Pinkal ; Jorg Siekmann ; Magdalena Wolska
On the Effectiveness of Visualizations in a Theory of Computing Course / Rudolf Fleischer ; Gerhard Trippen
Some Cognitive Aspects of a Turing Test for Children / Ruqian Lu ; Hongge Liu ; Songmao Zhang ; Zhi Jin ; Zichu Wei
4.

電子ブック
ＥＢ
4. Pedagogically Founded Courseware Generation for Web-Based Learning
Carsten Ullrich, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Preliminaries / Part I：
Introduction / 1：
Motivation / 1.1：
Contributions / 1.2：
Service-Oriented Course Generation / 1.2.1：
Modeling of Pedagogical Knowledge / 1.2.2：
Adaptivity in Generated Courses / 1.2.3：
Evaluation / 1.2.4：
Overview / 1.3：
Relevant Technologies / 2：
Basic Terminology / 2.1：
Semantic Web Technologies / 2.2：
Extensible Markup Language / 2.2.1：
Resource Description Framework / 2.2.2：
OWL Web Ontology Language / 2.2.3：
E-learning Standards / 2.3：
Learning Object Metadata / 2.3.1：
IMS Content Packaging / 2.3.2：
IMS Simple Sequencing / 2.3.3：
IMS Learning Design / 2.3.4：
Mathematics in the Web / 2.4：
OMDoc (Open Mathematical Documents) / 2.4.1：
The Learning Environment ActiveMath / 2.4.2：
Course Generation / 2.5：
Hierarchical Task Network Planning / 2.6：
Introduction to AI-Planning / 2.6.1：
Introduction to Hierarchical Task Network Planning / 2.6.2：
SHOP2 and JSHOP2 / 2.6.3：
JSHOP2 Formalism / 2.6.4：
Descriptive and Prescriptive Learning Theories / 3：
Behaviorism / 3.1：
Cognitivism / 3.2：
Constructivism / 3.3：
Instructional Design / 3.4：
Competency-Based Learning / 3.5：
Mathematical Competencies / 3.5.1：
Competency Levels / 3.5.2：
PAIGOS / Part II：
General Principles / 4：
An Ontology of Instructional Objects / 4.1：
Description of the Ontology / 4.1.1：
Why an Ontology? / 4.1.3：
Applications of the Ontology / 4.1.4：
A Mediator for Accessing Learning Object Repositories / 4.2：
Related Work / 4.2.1：
Overview of the Mediator Architecture / 4.2.2：
Querying the Mediator / 4.2.3：
Ontology Mapping and Query Rewriting / 4.2.4：
Repository Interface and Caching / 4.2.5：
Limitations of the Mediator as an Educational Service / 4.2.6：
Pedagogical Tasks, Methods and Strategies / 4.3：
Representing Course Generation Knowledge in an HTN Planner / 4.4：
Mapping Pedagogical Tasks onto HTN Tasks / 4.4.1：
Course Generation Planning Problems / 4.4.3：
Critical and Optional Tasks / 4.4.4：
Basic General Purpose Axioms and Operators / 4.5：
Testing for Equality / 4.5.1：
List Manipulation / 4.5.2：
Binding a Variable to All Terms of a Term List / 4.5.3：
Manipulating the World State / 4.5.4：
Basic Operators and Methods of the Course Generation Domain / 4.6：
Inserting References to Educational Resources / 4.6.1：
Starting and Ending Sections / 4.6.2：
Inserting References to Learning-Support Services / 4.6.3：
An Operator for Dynamic Text Generation / 4.6.4：
Dynamic Subtask Expansion / 4.6.5：
Accessing Information about Educational Resources / 4.6.6：
Axioms for Accessing the Learner Model / 4.6.7：
Processing Resources Depending on Learner Characteristics / 4.6.8：
Initializing and Manipulating Information about the Learning Goal / 4.6.9：
Converting a Plan into a Course / 4.7：
Generating Structure and Adaptivity: Dynamic Tasks / 4.8：
Generation of Narrative Bridges and Structure / 4.9：
Empirical Findings / 4.9.1：
Operator and Methods for Text Generation / 4.9.2：
Symbolic Representations of Dynamic Text Items / 4.9.3：
Generation of Structure Information / 4.9.4：
Summary / 4.10：
Course Generation in Practice: Formalized Scenarios / 5：
Moderate Constructivist Competency-Based Scenarios / 5.1：
Course Generation and Constructivism - a Contradiction? / 5.1.1：
Selecting Exercises / 5.1.2：
Selecting Examples / 5.1.3：
Scenario "Discover" / 5.1.4：
Scenario "Rehearse" / 5.1.5：
Scenario "Connect" / 5.1.6：
Scenario "Train Intensively" / 5.1.7：
Scenario "Train Competencies" / 5.1.8：
Scenario "Exam Simulation" / 5.1.9：
Course Generation Based on Instructional Design Principles / 5.2：
Merrill's "First Principles of Instruction" / 5.2.1：
Scenario "Guided Tour" / 5.2.2：
Implementation and Integration / 6：
Implementation / 6.1：
Integration of PAIGOS in ActiveMath / 6.2：
Course Generation in ActiveMath / 6.2.1：
Dynamically Generated Elements in a Table of Contents / 6.2.2：
Usage of Learning-Support Services in ActiveMath / 6.2.3：
Template-Based Generation of Narrative Bridges / 6.2.4：
PAIGOS as a Service in ActiveMath / 6.2.5：
Course Generation as a Web-Service / 6.3：
Interfaces / 6.3.1：
Technical Evaluations and Use Cases / 7：
Evaluation of the Ontology / 7.1.1：
Mediator Use Cases and Evaluations / 7.1.2：
Course Generation Use Cases and Evaluations / 7.1.3：
Performance of PAIGOS / 7.1.4：
Discussion / 7.1.5：
Formative and Summative Evaluation / 7.2：
Formative Evaluations / 7.2.1：
Summative Evaluation / 7.2.2：
Conclusions / 7.2.3：
Early Work / 8：
Generic Tutoring Environment / 8.2：
Dynamic Courseware Generator / 8.3：
ACE/WINDS / 8.4：
Former Course Generator of ActiveMath / 8.5：
APeLS/iClass / 8.6：
SeLeNe / 8.7：
Statistical Methods for Course Generation / 8.8：
Approaches Using Hierarchical Task Network Planning / 8.9：
Ontologies for Instructional Design / 8.10：
Future Work and Acknowledgments / 9：
Future Work / 9.1：
Complete List of User Comments
References
Index
Preliminaries / Part I：
Introduction / 1：
Motivation / 1.1：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼