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