The Multi-Engine ASP Solver me-asp.

Marco Maratea Luca Pulina Francesco Ricca

Published in: JELIA (2012)

Keyphrases

answer set programming
web applications
information retrieval
satisfiability modulo theories
information systems
special case
logic programs
databases
three dimensional
hidden markov models
answer sets
answer set programs