Human-Centered Automated Proof Search.

Wilfried Sieg Farzaneh Derakhshan

Published in: J. Autom. Reason. (2021)

Keyphrases

human centered
proof search
ambient intelligence
linear logic
theorem prover
multimedia databases
inference rules
theorem proving
human robot interaction
search procedure
genetic algorithm
proof procedure
np hard
neural network
logical framework
high level
sequent calculus
machine learning