| 2020 | ICLP | Actual Causality in Contextual Abduction. | Degoldie Sonny, Ari Saptawijaya, Raja Oktovin Parhasian Damanik |
| 2017 | CogSci | Agent Morality via Counterfactuals in Logic Programming. | Lus Moniz Pereira, Ari Saptawijaya |
| 2015 | EPIA | Logic Programming Applied to Machine Ethics. | Ari Saptawijaya, Lus Moniz Pereira |
| 2014 | PADL | Towards Modeling Morality Computationally with Logic Programming. | Ari Saptawijaya, Lus Moniz Pereira |
| 2013 | EPIA | Towards Practical Tabled Abduction in Logic Programs. | Ari Saptawijaya, Lus Moniz Pereira |
| 2013 | LPAR | Incremental Tabling for Query-Driven Propagation of Logic Program Updates. | Ari Saptawijaya, Lus Moniz Pereira |
| 2013 | LPNMR | Program Updating by Incremental and Answer Subsumption Tabling. | Ari Saptawijaya, Lus Moniz Pereira |
| 2012 | LPAR | Moral Reasoning under Uncertainty. | Han The Anh, Ari Saptawijaya, Lus Moniz Pereira |
| 2010 | LPAR | Improving Resource-Unaware SAT Solvers. | Steffen Hlldobler, Norbert Manthey, Ari Saptawijaya |
| 2010 | SAT | Towards Improving the Resource Usage of SAT-solvers. | Norbert Manthey, Ari Saptawijaya |
| 2007 | EPIA | Modelling Morality with Prospective Logic. | Lus Moniz Pereira, Ari Saptawijaya |
| 2006 | SP | A Logic for Constraint-based Security Protocol Analysis. | Ricardo Corin, Sandro Etalle, Ari Saptawijaya |
| 2005 | ICLP | PS-LTL for Constraint-Based Security Protocol Analysis. | Ricardo Corin, Ari Saptawijaya, Sandro Etalle |