Engineering an Incremental ASP Solver.

Martin Gebser Roland Kaminski Benjamin Kaufmann Max Ostrowski Torsten Schaub Sven Thiele

Published in: ICLP (2008)

Keyphrases

answer set programming
incremental learning
engineering design
computer science
web applications
mechanical engineering
engineering problems
artificial intelligence
real world
information systems
data structure
multi agent systems
np complete
computer aided design
incremental algorithms