Ario Santoso

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Ario Santoso

Ehemaliges Mitglied
Ario Santoso

Neueste Publikationen

Komplette Publikationsliste anzeigen

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
Komplette Publikationsliste anzeigen