R-Calculus: A Logical Inference System for Scientific Discovery.

Published in: TAMC (2012)

Keyphrases

scientific discovery
human reasoning
artificial intelligence
knowledge discovery
database
logical operations
logical reasoning
real time
neural network
learning algorithm
knowledge base
proof procedure
algebraic structure
lambda calculus