2012/06/14 by Francesco Calimeri, Giovambattista Ianni, Francesco Ricca
Computer Science · Mathematics · #Answer set programming #Artificial intelligence #Benchmark (surveying) #Competition (biology) #Computer science #Discrete mathematics #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Modulo #Multi-Agent Systems and Negotiation #Programming language #Rotation formalisms in three dimensions #Set (abstract data type) #Theoretical computer science #Variety (cybernetics) #cs.AI
paper · pdf · doi:10.1017/s1471068412000105
published as Theory and Practice of Logic Programming 14 (2014) 117-135 · 37 pages, 12 figures, 1 table - To appear in Theory and Practice of Logic Programming (TPLP)
arxiv created 2012/06/14 · openalex publication_date 2012/09/06 · arxiv updated 2020/02/19 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/05
Abstract Answer Set Programming (ASP) is a well-established paradigm of declarative programming in close relationship with other declarative formalisms such as SAT Modulo Theories, Constraint Handling Rules, FO(.), PDDL and many others. Since its first informal editions, ASP systems have been compared in the now well-established ASP Competition. The Third (Open) ASP Competition, as the sequel to the ASP Competitions Series held at the University of Potsdam in Germany (2006–2007) and at the University of Leuven in Belgium in 2009, took place at the University of Calabria (Italy) in the first half of 2011. Participants competed on a pre-selected collection of benchmark problems, taken from a variety of domains as well as real world applications. The Competition ran on two tracks: the Model and Solve (M&S) Track, based on an open problem encoding, and open language, and open to any kind of system based on a declarative specification paradigm; and the System Track, run on the basis of fixed, public problem encodings, written in a standard ASP language. This paper discusses the format of the competition and the rationale behind it, then reports the results for both tracks. Comparison with the second ASP competition and state-of-the-art solutions for some of the benchmark domains is eventually discussed.