1 Citation (Scopus)
Conference contribution

Search results

  • 2022

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

    Alviano, M., Batsakis, S. & Baryannis, G., 29 Aug 2022, Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genoa, Italy, September 5–8, 2022, Proceedings. Gottlob, G., Inclezan, D. & Maratea, M. (eds.). Cham: Springer, Cham, Vol. 13416. p. 16-28 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13416 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review