Login / Signup
Automated Reasoning and Learning for Automated Payroll Management.
Sebastijan Dumancic
Wannes Meert
Stijn Goethals
Tim Stuyckens
Jelle Huygen
Koen Denies
Published in:
AAAI (2021)
Keyphrases
</>
automated reasoning
learning algorithm
learning process
belief revision
theorem prover