scientific article
From MaRDI portal
Publication:3100242
zbMath1226.68021MaRDI QIDQ3100242
Pascal Nicolas, Claire Lefèvre
Publication date: 23 November 2011
Full work available at URL: https://www.mat.unical.it/ASPOCP08/
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ASP solver ASPeRiXgrounding phaseintegration of rule instantiation in the search processphases of answer set programming
Related Items (1)
Uses Software
This page was built for publication:
