Publications of Ario Santoso
From International Center for Computational Logic
Publications of Ario Santoso
Proceedings Articles
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
