Login / Signup

Tools and Methodologies for Verifying Answer Set Programs.

Zach Hansen
Published in: ICLP Technical Communications / Doctoral Consortium (2022)
Keyphrases
  • answer set programs
  • answer set programming
  • database
  • answer sets
  • machine learning
  • artificial intelligence
  • query processing
  • knowledge representation
  • logic programs
  • mathematical models
  • event calculus