Multi-shot ASP solving with clingo.

Martin Gebser Roland Kaminski Benjamin Kaufmann Torsten Schaub

Published in: CoRR (2017)

Keyphrases

video sequences
answer set programming
computer vision
solving problems
real time
website
high level
spatio temporal
evolutionary algorithm
web applications
linear program