Explanation by Automated Reasoning Using the Isabelle Infrastructure Framework.

Florian Kammüller

Published in: CoRR (2021)

Keyphrases

automated reasoning
theorem prover
theorem proving
knowledge representation
probabilistic reasoning
neural network
data mining
reasoning systems