Verification of Context-Sensitive Knowledge and Action Bases.

Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso

Browse the full JELIA paper archive.