Design and implementation of a logical framework for course configuration in e-learning

Proceedings of the IASTED International Conference on Computers and Advanced Technology in Education

Volumn , Issue , 2003, Pages 597-602

  Sterbini, Andrea ^a   Temperini, Marco ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Course tailoring; e learning; Logic specification; Prolog

Indexed keywords

COMPUTER AIDED INSTRUCTION; FORMAL LOGIC; KNOWLEDGE ACQUISITION; KNOWLEDGE REPRESENTATION; PROLOG (PROGRAMMING LANGUAGE); SEMANTICS; STUDENTS; TEACHING;

COURSE TAILORING; E-LEARNING; LOGIC SPECIFICATION;

DISTANCE EDUCATION;

EID: 1542516773     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Graph Viz software tool: www.graphviz.org
2. IMS Global Learning Consortium Inc. http://www.imsproject.com
3. J. H. Gallier Logic for Computer Science Harper & Row, New York, 1986
4. B. J. Kramer. New Possibilities for Distance Learning. Computer, November 1997.
5. M. Resmers. Internet Architectures for Learning Computer, September 1998.
6. IEEE LEARNING TECHNOLOGY STANDARDS COMMITTEE (LTSC) IEEE P1484.12 Learning Objects Metadata Group http://ltsc.ieee.org/wg12/2000.
7. S. Fisher, R. Steinmetz Automatic creation of exercises in adaptive hypermedia learning systems Proc. eleventh ACM on Hypertext and hypermedia, p.49-55, San Antonio, Texas, USA, May 30-June 03, 2000,
8. S. Fisher Course and Exercise Sequencing Using Metadata in Adaptive Hypermedia Learning Systems ACM Journal of Educational Resources in Computing, Vol. 1, No. 1, 2001.
9. S. La Rocca Un sistema per la creazione di corsi di istruzione adattabili allo studente via internet Master dissertation in Computer Science Engineering, Rome, 2002
10. F. Bagnoli, F. Franci, A. Sterbini WebTeach: Web Tools for Teachers and Students Proc. Frontiers in Education 02, Boston, USA, 2002.