HyperPro: an intelligent hypermedia system for learning logic programming.

Teresa Roselli Antonietta Di Donfrancesco Stefania Loverro

Published in: AVI (1996)

Keyphrases

logic programming
logic programs
deductive databases
answer sets
logic programming language
explanation based generalization
knowledge base
reinforcement learning
general purpose
programming language
answer set programming
nonmonotonic reasoning
stable models
linear logic
disjunctive logic programming