Jankov-style formulas and refutation systems.

Published in: Reports Math. Log. (2013)

Keyphrases

distributed systems
learning systems
knowledge based systems
data sets
multiscale
probabilistic model
computer systems
theorem proving
computing systems