Living Books, Automated Deduction and Other Strange Things.

Peter Baumgartner Ulrich Furbach

Published in: Mechanizing Mathematical Reasoning (2005)

Keyphrases

automated deduction
theorem proving
theorem prover
inference rules
deductive databases
logic programming
smart home
neural network
machine learning
decision trees
similarity measure
semi supervised
data warehouse
context aware
operating system
personal experience