Follow
Ari Saptawijaya
Ari Saptawijaya
Faculty of Computer Science, Universitas Indonesia
Verified email at cs.ui.ac.id
Title
Cited by
Cited by
Year
Programming machine ethics
LM Pereira, A Saptawijaya
Springer, 2016
1152016
Modelling morality with prospective logic
LM Pereira, A Saptawijaya
International Journal of Reasoning-based Intelligent Systems 1 (3-4), 209-221, 2009
782009
Modelling morality with prospective logic
LM Pereira, A Saptawijaya
Portuguese conference on artificial intelligence, 99-111, 2007
722007
A logic for constraint-based security protocol analysis
R Corin, A Saptawijaya
2006 IEEE Symposium on Security and Privacy (S&P'06), 14 pp.-168, 2006
632006
Moral reasoning under uncertainty
TA Han, A Saptawijaya, L Moniz Pereira
Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012
532012
Improving resource-unaware SAT solvers
S Hölldobler, N Manthey, A Saptawijaya
Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010
422010
Counterfactuals, logic programming and agent morality
LM Pereira, A Saptawijaya
Applications of Formal Philosophy: The Road Less Travelled, 25-53, 2017
382017
Towards modeling morality computationally with logic programming
A Saptawijaya, LM Pereira
Practical Aspects of Declarative Languages: 16th International Symposium …, 2014
362014
Tabled abduction in logic programs
A Saptawijaya, LM Pereira
Theory and Practice of Logic Programming 13, 4-5, 2013
192013
The potential of logic programming as a computational tool to model morality
A Saptawijaya, LM Pereira
A Construction Manual for Robots' Ethical Systems: Requirements, Methods …, 2015
182015
Moral decision making with ACORDA
LM Pereira, A Saptawijaya
Short Paper LPAR 7, 2007
162007
Abduction and Beyond in Logic Programming with Application to Morality.
LM Pereira, A Saptawijaya
FLAP 3 (1), 37-72, 2016
152016
Bridging two realms of machine ethics
LM Pereira, A Saptawijaya, LM Pereira, A Saptawijaya
Programming machine ethics, 159-165, 2016
152016
Logic programming for modeling morality
A Saptawijaya, LM Pereira
Logic Journal of the IGPL 24 (4), 510-525, 2016
142016
Tabdual: a tabled abduction system for logic programs.
A Saptawijaya, LM Pereira
FLAP 2 (1), 69-124, 2015
132015
From logic programming to machine ethics
A Saptawijaya, LM Pereira
Handbuch maschinenethik, 209-227, 2019
122019
Ocean color remote sensing of atypical marine optical cases
D D'Alimonte, T Kajiyama, A Saptawijaya
IEEE Transactions on Geoscience and Remote Sensing 54 (11), 6574-6586, 2016
122016
Incremental tabling for query-driven propagation of logic program updates
A Saptawijaya, LM Pereira
Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013
122013
Towards practical tabled abduction usable in decision making
A Saptawijaya, LM Pereira
Intelligent Decision Technologies, 429-438, 2013
112013
Towards Improving the Resource Usage of SAT-solvers.
N Manthey, A Saptawijaya
POS@ SAT, 28-40, 2010
112010
The system can't perform the operation now. Try again later.
Articles 1–20