Modal logic S5 in Answer Set Programming with lazy creation of worlds

Alviano_et_al_2022_manuscript.pdfhttp://purl.tuc.gr/dl/dias/D8B46D5C-25DF-466F-B876-52332C33690AModal logic S5 in Answer Set Programming with lazy creation of worldsfree2024-12-17application/pdf403.0 kB