Santoso, Ario

2 publications

IJCAI 2015 Verification of Generalized Inconsistency-Aware Knowledge and Action Bases Diego Calvanese, Marco Montali, Ario Santoso

IJCAI 2013 Verification of Inconsistency-Aware Knowledge and Action Bases Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov