Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

Curricula Modeling and Checking

Contributo in Atti di convegno
Data di Pubblicazione:
2007
Abstract:
In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical language, grounded into Linear Time Logic, to design curricula models which include knowledge of proficiency levels. Based on this representation, we show how model checking techniques can be used to verify that the user’s learning goal is supplied by a curriculum, that a curriculum is compliant to a curricula model, and that competence gaps are avoided.
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
elearning; logic; modeling; verification
Elenco autori:
M. BALDONI; C. BAROGLIO; E. MARENGO
Autori di Ateneo:
BALDONI Matteo
BAROGLIO Cristina
MARENGO Elisa
Link alla scheda completa:
https://iris.unito.it/handle/2318/28922
Titolo del libro:
Proc. of AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Pubblicato in:
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Journal
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Series
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0