Automated proof search system for logic of correlated knowledge.

Haroldas Giedra Romas Alonderis

Published in: CoRR (2019)

Keyphrases

proof search
knowledge base
theorem proving
linear logic
theorem prover
knowledge representation
neural network
sequent calculus
expert systems
proof planning