A Platform for Teaching Logic Programming Using Virtual Worlds.
Spyros VosinakisPanayiotis KoutsabasisGeorge AnastassakisPublished in: ICALT (2014)
Keyphrases
- logic programming
- virtual world
- logic programs
- virtual environment
- nonmonotonic reasoning
- knowledge base
- programming language
- knowledge representation
- deductive databases
- answer set programming
- logic programming language
- mixed reality
- immersive environments
- default logic
- computational logic
- stable models
- probabilistic reasoning
- e learning
- answer sets
- learning environment
- physical world
- inductive logic programming
- learning process
- virtual objects
- constraint logic programming
- pseudo boolean constraints
- procedural semantics
- information seeking
- game based learning
- reasoning about actions
- normal logic programs
- database systems
- database
- face to face interactions