Platypus: A Platform for Distributed Answer Set Solving.

Jean Gressmann Tomi Janhunen Robert E. Mercer Torsten Schaub Sven Thiele Richard Tichy

Published in: LPNMR (2005)

Keyphrases

answer sets
logic programs
logic programming
answer set programming
distributed systems
distributed architecture
distributed environment
answer set semantics
normal logic programs
relational databases
combinatorial optimization
sat solvers
answer set programs