Design and results of the Fifth Answer Set Programming Competition (Q899444)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Design and results of the Fifth Answer Set Programming Competition |
scientific article |
Statements
Design and results of the Fifth Answer Set Programming Competition (English)
0 references
28 December 2015
0 references
answer set programming
0 references
solver competition
0 references
computational logic
0 references