Semantics and complexity of recursive aggregates in answer set programming
From MaRDI portal
Publication:543600
DOI10.1016/j.artint.2010.04.002zbMath1216.68263MaRDI QIDQ543600
Nicola Leone, Wolfgang Faber, Gerald Pfeifer
Publication date: 17 June 2011
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: http://eprints.hud.ac.uk/id/eprint/18492/1/aggr_final.pdf
68Q25: Analysis of algorithms and problem complexity
68T27: Logic in artificial intelligence
68N17: Logic programming
Uses Software