Publication:4906882
From MaRDI portal
zbMath1259.68183MaRDI QIDQ4906882
Nicola Leone, Wolfgang Faber, Mario Alviano, Giovambattista Ianni, Francesco Calimeri
Publication date: 28 February 2013
expressiveness; answer set programming; recursive structures; uninterpreted function symbols; ASP programs with functions; decidability of class membership; decidability of coherence checking; finite bottom-up evaluations; finite representations of stable models; finite top-down evaluations; programs with decidable reasoning
68T27: Logic in artificial intelligence
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68N17: Logic programming
Uses Software