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

Mario Alviano, Sotiris Batsakis, George Baryannis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Conference article

1 results

2021
Modal Logic S5 Satisfiability in Answer Set Programming
Alviano, M., Batsakis, S. & Baryannis, G., 1 Sep 2021, In: Theory and Practice of Logic Programming. 21, 5, p. 527-542 16 p.
Research output: Contribution to journal › Conference article › peer-review

Open Access
File
1 Citation (Scopus)