Login / Signup

First-Order Automatic Literal Model Generation.

Martin BrombergerFlorent KrasnopolSibylle MöhleChristoph Weidenbach
Published in: IJCAR (1) (2024)
Keyphrases
  • higher order
  • semi automatic
  • data driven
  • first order logic
  • computer vision
  • special case