Marieke Peeters's repositories
LaTeX_Thesis_Template
A LaTeX template for PhD theses
NWO_LaTeX_Template
LaTeX template for NWO's format for Veni/Vidi/Vici proposals
Confluence_Constructor
Confluence Constructor is a java implementation of Vincent van Oostrom’s constructive proof of modularity of confluence in term rewriting systems. It constructs the common reduct for any two diverging sequences of steps in any orthogonal or WCR & SN term rewriting system and modular combinations of these.
INDIGO
INDIGO serves as a common vocabulary for (automated) scenario-based training (SBT). It specifies the core concepts of SBT and their relationships, and is applicable across training domains and applications. INDIGO contains information about the training domain, events taking place in the simulated environment, the behavior of the participating characters, and teaching strategies for effective learning. In addition, INDIGO provides a theoretically sound, generic, and consistent knowledge base for an automated reasoner. A frame-based approach to ontology engineering was used to model the relevant knowledge. The ontology was implemented in Protege Frames 3.5.
PEGA
PEGA (Personalised Educational Game Architecture) describes a multi-agent system that is able to provide adaptivity in a personalized educational game for scenario-based training (implemented in 2APL by R. de Jong and C.C.M. van Rooij). This download includes the 2apl program, developed at Utrecht University (for more information about 2APL, contact Mehdi Dastani).
Scenario_Generator
Scenario Generator constructs scenario constraints for a personalized educational agent-based game (implemented in Java and Protege Frames by G.R. Ferdinandus).