Automated Generation of Exam Sheets for Automated Deduction.

Petra Hozzová Laura Kovács Jakob Rath

Published in: CICM (2021)

Keyphrases

automated deduction
theorem proving
theorem prover
logic programming
artificial intelligence
inference rules
semi automated
fully automated
genetic algorithm
data sets
semi automatic
first order logic
machine learning
generation method