Third Answer Set Programming Competition - 2011

News and updates

• December 19th. An Integrated Development Environment for developing ASP programs is now available, see Tools and Utilities section.

• December 18th. The 'shifter' tool is available in the Tools and Utilities section.

• December 11th. Parsers for ASP-RfC and ASP-Core format (System competition only) available in the Tools and Utilities section.

• December 7th, 2010. Modified file and language format specifications. Please have a look at the change log.

• December 6th, 2010. Added a few clarifications to Participation rules.

• December 1st, 2010. The participant submission procedure is now available.

• Released a few encoding examples written in ASP-Core and ASP-RfC.

You might want to subscribe this page for getting e-mail notifications about news (needs opening an user account).

Detailed Information

• Competition Categories

  • Model & Solve Competition

  • System Competition

• Scoring and Participation Rules

  • File and language format specifications (v. 1.01)

    • File and language format specifications (v. 1.00)

  • Benchmark problem classification

• Benchmark Submission procedure

• Participant Submission procedure

• News and Updates

• Tools and Utilities

• Former competitions:

  • First ASP Competition

  • Second ASP Competition

Important Dates

• Problem selection stage:
  • December 25th, 2010 - Deadline for problem submission
  • January 3th, 2011 - Publication of temporary list of selected benchmarks
  • January 4-10th, 2011 - Submission of accepted benchmarks in finalized version
  • January 10th, 2011 - Publication of the final list of selected problems
• Competition stage:
  • February 4th, 2011 - Deadline for Systems submission
  • February 5-25th, 2011 - Competition stage
  • May 16th 2011 - Announcement of results and awards at LPNMR 2011 - Vancouver, BC, Canada.

Contacts

• Organizing Committee

• Contact the Organizing Committee here.