scientific article; zbMATH DE number 7047282

zbMath1407.68077MaRDI QIDQ4631190

Rémi Brochenin, Marco Maratea

Publication date: 24 April 2019

Full work available at URL: http://ceur-ws.org/Vol-1433/tc_48.pdf

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

zbMATH Keywords

answer set programmingcautious reasoningabstract solvers

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Abstract Solvers for Computing Cautious Consequences of ASP programs