Sign in

Solving QMLTP Problems by Translation to Higher-order Logic.

Alexander SteenGeoff SutcliffeTobias GleißnerChristoph Benzmüller
Published in: CoRR (2022)
Keyphrases
  • solving problems
  • higher order logic
  • machine translation
  • logic programs
  • np complete