scientific article; zbMATH DE number 6747884

zbMath1366.68016MaRDI QIDQ5282970

Rémi Brochenin, Yuliya Lierler, Marco Maratea

Publication date: 18 July 2017

Full work available at URL: http://ebooks.iospress.nl/volumearticle/36934

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

On abstract modular inference systems and solvers, Disjunctive answer set solvers via templates, Abstract Solvers for Computing Cautious Consequences of ASP programs, Stepwise debugging of answer-set programs