Logic programming: a tool for development of educational systems.
Richard AllenLaurent TrillingPublished in: WCCE (1995)
Keyphrases
- logic programming
- educational systems
- logic programs
- nonmonotonic reasoning
- deductive databases
- answer set programming
- knowledge representation
- logic programming language
- knowledge base
- reasoning about actions
- stable models
- programming language
- answer sets
- educational technology
- inductive logic programming
- disjunctive logic programming
- computational logic
- databases
- default logic
- software engineering
- query language
- constraint logic programming
- machine learning
- intelligent tutoring systems
- mobile learning
- relational databases
- decision making