Finite Model Computation via Answer Set Programming.

Martin Gebser Orkunt Sabuncu Torsten Schaub

Published in: IJCAI (2011)

Keyphrases

answer set programming
logic programming
answer sets
database
machine learning
artificial intelligence
high level