Algorithm selection for paracoherent answer set computation
From MaRDI portal
Publication:2296732
DOI10.1007/978-3-030-19570-0_31MaRDI QIDQ2296732
Giovanni Amendola, Luca Pulina, Wolfgang Faber, Francesco Ricca, Carmine Dodaro
Publication date: 18 February 2020
Full work available at URL: https://doi.org/10.1007/978-3-030-19570-0_31
68T27: Logic in artificial intelligence