apps

• ricochets robots, IULP'15
• see also our page on applications

clasp

• clasp series 3, LPNMR'15
• clasp series 2, ICLP'12
• domain heuristics, AAAI'13
• multi-objective optimization, POS'11
• unsat-core-based optimization, ICLP'12

clingo

• clingo series 4, ICLP'14

gringo

• gringo series 3, LPNMR'11
• recursive aggegates, GTTV'15

aspeed

• aspeed series 1, ICLP'12

aspic

• aspic prototype, IULP'15

asprin

• asprin series 1, ASPOCP'14
• asprin series 1, LPNMR'15

claspfolio

• claspfolio series 1, LPNMR'11

metasp

• metasp series 1, ICLP'11

rosoclingo

• rosoclingo series 1, LPNMR'15