135 citations · 329 across the 25 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.AI2019★ 135 cited
ASP-Core-2 Input Language Format
Francesco Calimeri, Wolfgang Faber, Martin Gebser +7
Standardization of solver input languages has been a main driver for the growth of several areas within knowledge representation and reasoning, fostering the exploitation in actual…
cs.AI2019★ 31 cited
The Seventh Answer Set Programming Competition: Design and Results
Martin Gebser, Marco Maratea, Francesco Ricca
Answer Set Programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning. Biennial ASP competitions are organized i…