Automated Generation of User Guidance by Combining Computation and Deduction

Published in: ThEdu (2011)

Keyphrases

user requirements
fully automated
neural network
user input
user experience
user model
manual inspection
theorem proving
database
user profiles
computer aided
user behavior
user feedback
user interests
theorem prover
collaborative filtering
query processing
website
semi automated
user oriented
databases