publication . Other literature type . Part of book or chapter of book . 1987

Logic Programs as a Specification and Description Tool in the Design Process of an Intelligent Tutoring System

Möbus, Claus;
English
  • Published: 01 Jan 1987
  • Publisher: Unpublished
  • Country: Germany
Abstract
We propose the use of logic programs when designing intelligent tutoring systems. With their help we specified the small-step semantics of the learning curriculum, designed the graphical user interface, derived instructions and modelled students' knowledge.
Subjects
ACM Computing Classification System: ComputingMilieux_COMPUTERSANDEDUCATION
free text keywords: Computer science, internet, Psychology
Download fromView all 2 versions
ResearchGate
Other literature type . 1987
Provider: Datacite
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue
publication . Other literature type . Part of book or chapter of book . 1987

Logic Programs as a Specification and Description Tool in the Design Process of an Intelligent Tutoring System

Möbus, Claus;