Complete Cyclic Proof Systems for Inductive Entailments.

Radu Iosif Cristina Serban

Published in: CoRR (2017)

Keyphrases

real time
data mining
machine learning
information systems
expert systems
management system
retrieval systems
neural network
genetic algorithm
logic programs
computer systems
knowledge based systems