ideas: Feedback services for intelligent tutoring systems

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

Warnings:

Exposed modules use unallocated top-level names: Ideas

Ideas (Interactive Domain-specific Exercise Assistants) is a joint research project between the Open University of the Netherlands and Utrecht University. The project's goal is to use software and compiler technology to build state-of-the-art components for intelligent tutoring systems (ITS) and learning environments. The ideas software package provides a generic framework for constructing the expert knowledge module (also known as a domain reasoner) for an ITS or learning environment. Domain knowledge is offered as a set of feedback services that are used by external tools such as the digital mathematical environment (DME), MathDox, and the Math-Bridge system. We have developed several domain reasoners based on this framework, including reasoners for mathematics, linear algebra, logic, learning Haskell (the Ask-Elle programming tutor) and evaluating Haskell expressions, and for practicing communication skills (the serious game Communicate!).

Properties

Versions	0.5.8, 0.6, 0.7, 1.0, 1.1, 1.2, 1.3, 1.3.1, 1.4, 1.5, 1.5, 1.6, 1.7, 1.8
Change log	CHANGELOG.txt
Dependencies	base (>=4.8 && <5), cgi (>=3001.3.0.0), containers, Diff, directory, filepath, HDBC, HDBC-sqlite3, parsec, QuickCheck (>=2.8), random, time, uniplate, wl-pprint [details]
License	Apache-2.0
Copyright	(c) 2016
Author	Bastiaan Heeren, Alex Gerdes, Johan Jeuring
Maintainer	bastiaan.heeren@ou.nl
Category	Education
Home page	http://ideas.cs.uu.nl/www/
Source repo	head: git clone https://github.com/ideas-edu/ideas.git
Uploaded	by BastiaanHeeren at 2016-05-30T10:11:44Z

Modules

[Index]

Ideas

Flags

Automatic Flags

Name	Description	Default
logging	enable support for logging interactions to a sqlite3 database	Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

ideas-1.5.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

AlexGerdes, BastiaanHeeren, JohanJeuring

For package maintainers and hackage trustees

edit package information