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.
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.6, 1.7, 1.7, 1.8 |
---|---|
Change log | CHANGELOG.txt |
Dependencies | base (>=4.8 && <5), blaze-builder (>=0.4), bytestring, case-insensitive, containers, Diff, directory, filepath, HDBC, HDBC-sqlite3, http-types, network, parsec, QuickCheck (>=2.8), random, semigroups (>=0.18 && <0.19), streaming-commons (<0.2), time, uniplate, wai, wl-pprint [details] |
License | Apache-2.0 |
Copyright | (c) 2018 |
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 2018-05-25T06:53:04Z |
Modules
[Index]
- Ideas
- Common
- Ideas.Common.Classes
- Ideas.Common.Constraint
- Ideas.Common.Context
- Ideas.Common.Derivation
- Ideas.Common.DerivationTree
- Ideas.Common.Environment
- Ideas.Common.Exercise
- Ideas.Common.ExerciseTests
- Ideas.Common.Id
- Ideas.Common.Library
- Ideas.Common.Predicate
- Ideas.Common.Rewriting
- Ideas.Common.Rule
- Ideas.Common.Strategy
- Ideas.Common.Strategy.Abstract
- Ideas.Common.Strategy.Choice
- Ideas.Common.Strategy.Combinators
- Ideas.Common.Strategy.Configuration
- Ideas.Common.Strategy.CyclicTree
- Ideas.Common.Strategy.Derived
- Ideas.Common.Strategy.Legacy
- Ideas.Common.Strategy.Location
- Ideas.Common.Strategy.Prefix
- Ideas.Common.Strategy.Process
- Ideas.Common.Strategy.Sequence
- Ideas.Common.Strategy.StrategyTree
- Ideas.Common.Strategy.Symbol
- Ideas.Common.Strategy.Traversal
- Traversal
- Ideas.Common.View
- Encoding
- Ideas.Encoding.DecoderJSON
- Ideas.Encoding.DecoderXML
- Ideas.Encoding.Encoder
- Ideas.Encoding.EncoderHTML
- Ideas.Encoding.EncoderJSON
- Ideas.Encoding.EncoderXML
- Ideas.Encoding.Evaluator
- Ideas.Encoding.LinkManager
- Ideas.Encoding.Logging
- Ideas.Encoding.ModeJSON
- Ideas.Encoding.ModeXML
- Ideas.Encoding.OpenMathSupport
- Ideas.Encoding.Options
- Ideas.Encoding.Request
- Ideas.Encoding.RulePresenter
- Ideas.Encoding.RulesInfo
- Ideas.Encoding.StrategyInfo
- Main
- Service
- Text
- Ideas.Text.HTML
- Ideas.Text.JSON
- Ideas.Text.Latex
- Ideas.Text.MathML
- OpenMath
- Dictionary
- Ideas.Text.OpenMath.Dictionary.Arith1
- Ideas.Text.OpenMath.Dictionary.Calculus1
- Ideas.Text.OpenMath.Dictionary.Fns1
- Ideas.Text.OpenMath.Dictionary.Linalg2
- Ideas.Text.OpenMath.Dictionary.List1
- Ideas.Text.OpenMath.Dictionary.Logic1
- Ideas.Text.OpenMath.Dictionary.Nums1
- Ideas.Text.OpenMath.Dictionary.Quant1
- Ideas.Text.OpenMath.Dictionary.Relation1
- Ideas.Text.OpenMath.Dictionary.Transc1
- Ideas.Text.OpenMath.FMP
- Ideas.Text.OpenMath.Object
- Ideas.Text.OpenMath.Symbol
- Ideas.Text.OpenMath.Tests
- Dictionary
- Ideas.Text.UTF8
- Ideas.Text.XML
- Utils
- Common
Flags
Automatic Flags
Name | Description | Default |
---|---|---|
logging | enable support for logging interactions to a sqlite3 database | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- ideas-1.7.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees