135 citations · 189 across the 8 of their papers we have counts for
1 paper · 1 filter
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…