The Role of Entropy in Guiding a Connection Prover.

Zsolt Zombori Josef Urban Miroslav Olsák

Published in: CoRR (2021)

Keyphrases

information theory
real time
automated theorem proving
real world
information systems
theorem proving
multi agent
theorem prover
expert systems
relative entropy
medical images
mutual information
multiresolution
computational complexity
similarity measure
case study
databases