A Natural Proof System for Herbrand's Theorem.

Published in: LFCS (2018)

Keyphrases

logic programs
intuitionistic logic
database
real world
artificial intelligence
first order logic
artificial systems
databases
data mining
machine learning
multiscale
modal logic
horn clauses