Paper Info
Title
The Fourth Answer Set Programming Competition: Preliminary Report.
Abstract
Answer Set Programming is a well-established paradigm of declarative programming in close relationship with other declarative formalisms such as SAT Modulo Theories, Constraint Handling Rules, PDDL and many others. Since its first informal editions, ASP systems are compared in the nowadays customary ASP Competition. The fourth ASP Competition, held in 2012/2013, is the sequel to previous editions and it was jointly organized by University of Calabria (Italy) and the Vienna University of Technology (Austria). Participants competed on a selected collection of benchmark problems, taken from a variety of research areas and real world applications. The Competition featured two tracks: the Model& Solve Track, held on an open problem encoding, on an open language basis, and open to any kind of system based on a declarative specification paradigm; and the System Track, held on the basis of fixed, public problem encodings, written in a standard ASP language.
Year
DOI
Venue
2013
10.1007/978-3-642-40564-8_5
Lecture Notes in Computer Science
Field
DocType
Volume
Programming language,Open problem,Modulo,Computer science,Algorithm,Declarative programming,Logic programming,Constraint Handling Rules,Rotation formalisms in three dimensions,Answer set programming,Planning Domain Definition Language,Distributed computing
Conference
8148
ISSN
Citations 
PageRank 
0302-9743
23
0.98
References 
Authors
40
18
Name
Order
Citations
PageRank
Mario Alviano138334.69
Francesco Calimeri247537.51
Günther Charwat3755.59
Minh Dao-Tran439520.39
Carmine Dodaro516227.49
Giovambattista Ianni6119260.92
Thomas Krennwallner746829.14
Martin Kronegger8534.64
Johannes Oetsch918214.23
Andreas Pfandler109510.98
Jörg Pührer1125419.37
Christoph Redl1213713.76
Francesco Ricca1371062.98
Patrik Schneider14555.36
Martin Schwengerer15493.37
Lara Katharina Spendier16261.43
Johannes Peter Wallner1720120.62
Guohui Xiao1848636.56