Login / Signup

First-order ASP programs as CHR programs.

Igor Stéphan
Published in: SAC (2021)
Keyphrases
  • answer set programs
  • machine learning
  • case study
  • higher order
  • answer set programming
  • databases
  • neural network
  • knowledge base
  • web services
  • web applications
  • automatic programming
  • provably correct