The Equational Approach to CF2 Semantics.

Published in: COMMA (2012)

Keyphrases

collaborative filtering
formal semantics
theorem proving
real time
theorem prover
data sets
logic programming
semantic information
operational semantics
equational theories
databases
neural network
artificial intelligence
website
matrix factorization