Matches in SemOpenAlex for { <https://semopenalex.org/work/W156739037> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W156739037 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. This proposal represents the most recent advancement of a work, carried on in the last years, in which we are investigating the use of both agents and web services for building and validating curricula. We also outline future research directions." @default.
- W156739037 created "2016-06-24" @default.
- W156739037 creator A5011559626 @default.
- W156739037 creator A5037918126 @default.
- W156739037 creator A5046487737 @default.
- W156739037 creator A5050621300 @default.
- W156739037 date "2007-01-01" @default.
- W156739037 modified "2023-09-27" @default.
- W156739037 title "Declarative representation of curricula models: an LTL- and UML-based approach" @default.
- W156739037 cites W1482451508 @default.
- W156739037 cites W1539432158 @default.
- W156739037 cites W1554638852 @default.
- W156739037 cites W1558610068 @default.
- W156739037 cites W1560468450 @default.
- W156739037 cites W1606189677 @default.
- W156739037 cites W1805646219 @default.
- W156739037 cites W2021674493 @default.
- W156739037 cites W2065001763 @default.
- W156739037 cites W2104877841 @default.
- W156739037 cites W2120724209 @default.
- W156739037 cites W2151284191 @default.
- W156739037 cites W2171427669 @default.
- W156739037 cites W2310174645 @default.
- W156739037 cites W2340735175 @default.
- W156739037 cites W2474480736 @default.
- W156739037 cites W2910736593 @default.
- W156739037 hasPublicationYear "2007" @default.
- W156739037 type Work @default.
- W156739037 sameAs 156739037 @default.
- W156739037 citedByCount "0" @default.
- W156739037 crossrefType "proceedings-article" @default.
- W156739037 hasAuthorship W156739037A5011559626 @default.
- W156739037 hasAuthorship W156739037A5037918126 @default.
- W156739037 hasAuthorship W156739037A5046487737 @default.
- W156739037 hasAuthorship W156739037A5050621300 @default.
- W156739037 hasConcept C115903868 @default.
- W156739037 hasConcept C145644426 @default.
- W156739037 hasConcept C146939238 @default.
- W156739037 hasConcept C154945302 @default.
- W156739037 hasConcept C17744445 @default.
- W156739037 hasConcept C199360897 @default.
- W156739037 hasConcept C199539241 @default.
- W156739037 hasConcept C2776359362 @default.
- W156739037 hasConcept C2777904410 @default.
- W156739037 hasConcept C41008148 @default.
- W156739037 hasConcept C41298492 @default.
- W156739037 hasConcept C94625758 @default.
- W156739037 hasConceptScore W156739037C115903868 @default.
- W156739037 hasConceptScore W156739037C145644426 @default.
- W156739037 hasConceptScore W156739037C146939238 @default.
- W156739037 hasConceptScore W156739037C154945302 @default.
- W156739037 hasConceptScore W156739037C17744445 @default.
- W156739037 hasConceptScore W156739037C199360897 @default.
- W156739037 hasConceptScore W156739037C199539241 @default.
- W156739037 hasConceptScore W156739037C2776359362 @default.
- W156739037 hasConceptScore W156739037C2777904410 @default.
- W156739037 hasConceptScore W156739037C41008148 @default.
- W156739037 hasConceptScore W156739037C41298492 @default.
- W156739037 hasConceptScore W156739037C94625758 @default.
- W156739037 hasLocation W1567390371 @default.
- W156739037 hasLocation W1567390372 @default.
- W156739037 hasOpenAccess W156739037 @default.
- W156739037 hasPrimaryLocation W1567390371 @default.
- W156739037 hasRelatedWork W1775132212 @default.
- W156739037 hasRelatedWork W2037303672 @default.
- W156739037 hasRelatedWork W2129225052 @default.
- W156739037 hasRelatedWork W2368976463 @default.
- W156739037 hasRelatedWork W2377944081 @default.
- W156739037 hasRelatedWork W2381137142 @default.
- W156739037 hasRelatedWork W2384466694 @default.
- W156739037 hasRelatedWork W2391415470 @default.
- W156739037 hasRelatedWork W2750269901 @default.
- W156739037 hasRelatedWork W3010637538 @default.
- W156739037 isParatext "false" @default.
- W156739037 isRetracted "false" @default.
- W156739037 magId "156739037" @default.
- W156739037 workType "article" @default.