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

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

Filter
Conference article

Search results