Skip to main navigation Skip to search Skip to main content

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

Fingerprint

Dive into the research topics of 'Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science