\mathsf Uhura : An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural Language.
Tobias KainHans TompitsPublished in: JELIA (2019)
Keyphrases
- authoring tool
- answer set programs
- controlled natural language
- answer set programming
- answer sets
- logic programs
- semantic representation
- learning objects
- stable models
- natural language
- intelligent tutoring systems
- video games
- learning resources
- learning design
- logic programming
- formal language
- update operators
- answer questions
- event calculus
- machine learning
- scorm compliant
- e learning
- knowledge representation
- ims qti
- learning algorithm