Statistics
Publications
7
Citations
168
H-Index
7
Active since
2006
Affiliations
Ari Saptawijaya is an author at University of Indonesia specializing in computer science, computing, and moral judgment.
Publications per year
2006–2016
7
7
A logic for constraint-based security protocol analysis
Ricardo Corin, Ari Saptawijaya · 2006 · 39 citations · Full text
Modelling morality with prospective logic
Luı́s Moniz Pereira, Ari Saptawijaya · 2007 · 21 citations
Tabled Abduction in Logic Programs.
Ari Saptawijaya, Luı́s Moniz Pereira · 2013 · 12 citations
1–5 of 7