Publication:3100242
From MaRDI portal
zbMath1226.68021MaRDI QIDQ3100242
Pascal Nicolas, Claire Lefèvre
Publication date: 23 November 2011
Full work available at URL: https://www.mat.unical.it/ASPOCP08/
ASP solver ASPeRiX; grounding phase; integration of rule instantiation in the search process; phases of answer set programming
68N17: Logic programming
Related Items
Uses Software