SUP

Association:

TAG at the University of Texas at Austin

Description:

Uses the grounder Gringo v. 2.0.3 and the native answer set solver SUP v. 0.4

Participants:

• Yuliya Lierler

• Vladimir Lifschitz

• Fangkai Yang

System settings:

Most benchmarks were solved using the grounder Gringo v. 2.0.3 with the default parameter setting and the native answer set solver SUP v. 0.4 with the default parameter setting. Only for Grammar-Based Information Extraction we used the grounder Bingo. This did not help since no competition instances of this benchmark could be solved.