Predicate Logic as a Modelling Language: The IDP System.
Broes De CatBart BogaertsMaurice BruynoogheMarc DeneckerPublished in: CoRR (2014)
Keyphrases
- predicate logic
- modelling language
- formal semantics
- knowledge representation and reasoning
- learning scenarios
- learning design
- semantic network
- lower level
- computational linguistics
- temporal logic
- defeasible logic
- software engineering
- ims ld
- order sorted
- learning processes
- adaptive learning
- online learning
- case study
- information retrieval
- databases