Variable Compactness in 1-Order Logic.

Published in: Log. J. IGPL (1999)

Keyphrases

machine learning
knowledge base
website
case study
three dimensional
image sequences
lower bound
special case
logic programs
logic programming