Login / Signup
First-Order Automatic Literal Model Generation.
Martin Bromberger
Florent Krasnopol
Sibylle Möhle
Christoph Weidenbach
Published in:
IJCAR (1) (2024)
Keyphrases
</>
higher order
semi automatic
data driven
first order logic
computer vision
special case