Explanation by Automated Reasoning Using the Isabelle Infrastructure Framework.

Florian Kammüller

Published in: HCI (43) (2022)

Keyphrases

automated reasoning
theorem prover
knowledge representation
data mining
theorem proving
reasoning tasks
reasoning systems
search algorithm
expert systems
artificial neural networks
probabilistic model
logic programming
automated verification