Pedagogical Second-order Propositional Calculi.
Loïc ColsonDavid MichelPublished in: J. Log. Comput. (2008)
Keyphrases
- e learning
- learning environment
- propositional logic
- higher order
- learning process
- learning objects
- collaborative learning
- sequent calculi
- multi valued
- default logic
- learning activities
- hessian matrix
- knowledge compilation
- learning design
- strips planning
- horn clauses
- hybrid learning
- qualitative spatial and temporal reasoning
- learning theory
- learning analytics
- high order
- serious games
- relational databases
- knowledge base