KRRT: Knowledge Representation and Reasoning Tutor System.
José-Antonio AlonsoGonzalo A. Aranda-CorralFrancisco J. Martín-MateosPublished in: EUROCAST (2007)
Keyphrases
- knowledge representation and reasoning
- artificial intelligence
- knowledge representation
- intelligent tutoring systems
- reasoning systems
- description logics
- logic programming
- predicate logic
- automated reasoning
- incomplete information
- tutoring system
- structured knowledge
- defeasible logic
- ai planning
- database systems
- knowledge base
- semantic modeling
- disjunctive logic programming
- database
- first order logic
- programming language