Subject: modal logic -- S5 -- Answer Set Programming -- Kripke semantics - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Subject modal logic -- S5 -- Answer Set Programming -- Kripke semantics

1. Modal Logic S5 Satisfiability in Answer Set Programming. Issue 5 (September 2021)

Authors:: ALVIANO, MARIO; BATSAKIS, SOTIRIS; BARYANNIS, GEORGE
Journal:: Theory and practice of logic programming
Issue:: Volume 21:Issue 5(2021)
Page Start:: 527
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗