Effectiveness in RPL, with Applications to Continuous Logic

Farzad Didehvar Kaveh Ghasemloo Massoud Pourmahdian

Published in: CoRR (2010)

Keyphrases

neural network
real time
data sets
data mining
case study
logic programming
discrete space
proof theory