Ario Santoso

From International Center for Computational Logic

Ario Santoso

Former member
Ario Santoso

Newest Publications

View full publication list

Diego Calvanese, İsmail İlkan Ceylan, Marco Montali, Ario Santoso
Verification of Context-Sensitive Knowledge and Action Bases
In Eduardo Fermé and João Leite, eds., Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014), volume 8761 of Lecture Notes in Computer Science, 514--528, 2014. Springer
Details Download

View full publication list