Möbus, Claus (1987) Logic Programs as a Specification and Description Tool in the Design Process of an Intelligent Tutoring System. In: Abridged Proceedings of the HCI International. HCI International, West Lafayette, Indiana 47907, USA, p. 119.

- Published Version

Volltext (365Kb)
Official URL: http://www.hci.international/index.php?module=conf...


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.

Item Type: Book Section
Uncontrolled Keywords: logic programs, Formal Specification, specification of elearning, Intelligent Tutoring Systems, small-step semantics, learning curriculum, Graphical User Interface, instructions, student model
Subjects: Generalities, computers, information > Computer science, internet
Philosophy and psychology > Psychology
Divisions: School of Computing Science, Business Administration, Economics and Law > Department of Computing Science
Date Deposited: 02 Oct 2015 08:39
Last Modified: 02 Oct 2015 08:39
URI: https://oops.uni-oldenburg.de/id/eprint/2458
URN: urn:nbn:de:gbv:715-oops-25395
DOI: 10.13140/RG.2.1.4430.7045

Actions (login required)

View Item View Item

Document Downloads

More statistics for this item...