Design of an intelligent tutoring system for teaching and learning Hoare Logic

被引：0
|
作者：
Goshi, K [1 ]
Wray, P [1 ]
Sun, Y [1 ]
Owens, M [1 ]
机构：
[1] Queens Univ Belfast, Sch Comp Sci, Belfast BT7 1NN, Antrim, North Ireland
来源：
ARTIFICIAL INTELLIGENCE IN EDUCATION: OPEN LEARNING ENVIRONMENTS: NEW COMPUTATIONAL TECHNOLOGIES TO SUPPORT LEARNING, EXPLORATION AND COLLABORATION | 1999年 / 50卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：696 / 698
页数：3
相关论文
共 50 条
  • [1] An intelligent tutoring system for teaching and learning Hoare logic
    Goshi, K
    Wray, P
    Sun, Y
    [J]. ICCIMA 2001: FOURTH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND MULTIMEDIA APPLICATIONS, PROCEEDINGS, 2001, : 293 - 297
  • [2] Design of Intelligent Tutoring System for Mastery Learning
    Purbohadi, Dwijoko
    Nugroho, Lukito
    Santosa, Insap
    Kumara, Amitya
    [J]. ADVANCED SCIENCE LETTERS, 2014, 20 (01) : 213 - 217
  • [3] Application of paraconsistent logic in an intelligent tutoring system
    Encheva, Sylvia
    Tumin, Sharil
    Solesvik, Maryna Z.
    [J]. COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING, 2007, 4674 : 377 - +
  • [4] Application of default logic in an intelligent tutoring system
    Encheva, Sylvia
    Turmin, Sharil
    [J]. NETWORK-BASED INFORMATION SYSTEMS, PROCEEDINGS, 2007, 4658 : 486 - +
  • [5] Assistance and Feedback Mechanism in an Intelligent Tutoring System for Teaching Conversion of Natural Language into Logic
    Perikos I.
    Grivokostopoulou F.
    Hatzilygeroudis I.
    [J]. International Journal of Artificial Intelligence in Education, 2017, 27 (3) : 475 - 514
  • [6] An intelligent tutoring system for teaching formal languages
    Devedzic, V
    Debenham, J
    [J]. INTELLIGENT TUTORING SYSTEMS, 1998, 1452 : 514 - 523
  • [7] Intelligent Tutoring System Adaptive Learning
    Thankachan, Karun
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INVENTIVE COMPUTING AND INFORMATICS (ICICI 2017), 2017, : 705 - 710
  • [8] A WEB-BASED INTELLIGENT TUTORING SYSTEM ON TEACHING AND LEARNING ELECTRICAL PROJECT
    Gomes, Antonio Araujo
    Miranda, Rui
    do Vale, Zita Almeida
    Faria, Luiz Rocha
    [J]. 3RD INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2010), 2010,
  • [9] Evaluating the Design Features of an Intelligent Tutoring System for Advanced Mathematics Learning
    Fang, Ying
    He, Bo
    Liu, Zhi
    Liu, Sannyuya
    Yan, Zhonghua
    Sun, Jianwen
    [J]. ARTIFICIAL INTELLIGENCE IN EDUCATION, PT I, AIED 2024, 2024, 14829 : 338 - 350
  • [10] Developing a Design System into an Intelligent Tutoring System
    Cheok, B. T.
    Nee, A. Y. C.
    [J]. INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, 1997, 13 (05) : 341 - 346
12345