The ideas package

[Tags:apache, library]

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
Change log CHANGELOG.txt
Dependencies array, base (>=4.2 && <5), bytestring, containers, Diff, directory, exceptions, filepath, HDBC, HDBC-sqlite3, mtl (==2.1.*), multipart, network, network-uri (>=2.6), old-locale, old-time, parsec, QuickCheck (>=2.4.1 && <2.7), random, time, uniplate, wl-pprint, xhtml [details]
License Apache-2.0
Copyright (c) 2015
Author Bastiaan Heeren, Alex Gerdes, Johan Jeuring
Maintainer bastiaan.heeren@ou.nl
Stability provisional
Category Education
Home page http://ideas.cs.uu.nl/www/
Source repository head: svn checkout https://ideas.cs.uu.nl/svn/Feedback/trunk/
Uploaded Tue Oct 27 08:11:51 UTC 2015 by BastiaanHeeren
Distributions
Downloads 1390 total (19 in the last 30 days)
Votes
0 []
Status Docs uploaded by user [build log]
All reported builds failed as of 2015-11-13 [all 2 reports]

Modules

[Index]

Flags

NameDescriptionDefaultType
network-uriGet Network.URI from the network-uri packageEnabledAutomatic
loggingenable support for logging interactions to a sqlite3 databaseDisabledAutomatic

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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees