Login / Signup
Jelle Huygen
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Theorem Prover
Belief Revision
Automated Reasoning
Top Venues
AAAI
</>
Publications
</>
Sebastijan Dumancic
,
Wannes Meert
,
Stijn Goethals
,
Tim Stuyckens
,
Jelle Huygen
,
Koen Denies
Automated Reasoning and Learning for Automated Payroll Management.
AAAI
(2021)