ProofWatch: Watchlist Guidance for Large Theories in E.

Zarathustra Amadeus Goertzel Jan Jakubuv Stephan Schulz Josef Urban

Published in: ITP (2018)

Keyphrases

legal knowledge
theoretical framework
computational models
cognitive psychology
database
machine learning
knowledge base
multi agent