Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds

Autor:	Mario Alviano, Sotiris Batsakis, George Baryannis
Rok vydání:	2022
Zdroj:	Logic Programming and Nonmonotonic Reasoning ISBN: 9783031157066
DOI:	10.1007/978-3-031-15707-3_2
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::cbdb11ef10d361a01152b803c757abc6 https://doi.org/10.1007/978-3-031-15707-3_2 Zobrazit plný text záznamu