XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus

Larry Wos Dolph Ulrich Branden Fitelson

Published in: CoRR (2002)

Keyphrases

first order logic
horn clauses
machine learning
information systems
database
neural network
data mining
case study
video sequences
artificial neural networks
evolutionary algorithm
special case
shortest path