∃-ASP.

Fabien Garreau Laurent Garcia Claire Lefèvre Igor Stéphan

Published in: JOWO@IJCAI (2015)

Keyphrases

answer set programming
web applications
database systems
answer set programs
video sequences
evolutionary algorithm
hidden markov models
case based reasoning
data management
logic programs