Abstract Cyclic Proofs.

Bahareh Afshari Dominik Wehr

Published in: WoLLIC (2022)

Keyphrases

higher level
information retrieval
high level
bayesian networks
theorem prover
theorem proving
data sets
neural network
database systems
similarity measure
multiscale
expert systems
probabilistic model