Explaining inconsistency in answer set programs and extensions

From MaRDI portal
Publication:2401933