Ari Saptawijaya

Ari Saptawijaya

Universitas Indonesia - Depok / Indonesia
Engineering & Technology / Computer Science
AD Scientific Index ID: 294160
University of Indonesia
person_outline Ari Saptawijaya's MOST POPULAR ARTICLES
1-) Programming machine ethics Springer, 2016
2-) Modelling morality with prospective logic International Journal of Reasoning-based Intelligent Systems 1 (3-4), 209-221, 2009
3-) Modelling morality with prospective logic Portuguese conference on artificial intelligence, 99-111, 2007
4-) A logic for constraint-based security protocol analysis 2006 IEEE Symposium on Security and Privacy (S&P'06), 14 pp.-168, 2006
5-) Moral reasoning under uncertainty Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012