Rapid and rich prototyping: proof of concepts for experience.

Elbert-Jan Hennipman Evert-Jan Oppelaar Gerrit C. van der Veer Bert Bongers

Published in: ECCE (2008)

Keyphrases

mathematical knowledge
theorem prover
data sets
high level
semantic network
theorem proving
database
neural network
artificial intelligence
social networks
knowledge base
database systems
software development
user experience
key concepts
linear logic