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
1022016
Modelling morality with prospective logic
LM Pereira, A Saptawijaya
International Journal of Reasoning-based Intelligent Systems 1 (3-4), 209-221, 2009
732009
Modelling morality with prospective logic
LM Pereira, A Saptawijaya
Portuguese Conference on Artificial Intelligence, 99-111, 2007
632007
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
612006
Moral reasoning under uncertainty
A Saptawijaya, L Moniz Pereira
International Conference on Logic for Programming Artificial Intelligence …, 2012
492012
Improving resource-unaware SAT solvers
S Hölldobler, N Manthey, A Saptawijaya
International Conference on Logic for Programming Artificial Intelligence …, 2010
392010
Counterfactuals, logic programming and agent morality
LM Pereira, A Saptawijaya
Applications of formal philosophy, 25-53, 2017
372017
Towards modeling morality computationally with logic programming
A Saptawijaya, LM Pereira
International Symposium on Practical Aspects of Declarative Languages, 104-119, 2014
332014
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, 169-210, 2015
172015
Moral decision making with ACORDA
LM Pereira, A Saptawijaya
Short Paper LPAR 7, 2007
162007
Bridging two realms of machine ethics
LM Pereira, A Saptawijaya
Programming machine ethics, 159-165, 2016
142016
Abduction and Beyond in Logic Programming with Application to Morality.
LM Pereira, A Saptawijaya
FLAP 3 (1), 37-72, 2016
132016
Tabdual: a tabled abduction system for logic programs.
A Saptawijaya, LM Pereira
FLAP 2 (1), 69-124, 2015
132015
Logic programming for modeling morality
A Saptawijaya, LM Pereira
Logic Journal of the IGPL 24 (4), 510-525, 2016
122016
Incremental tabling for query-driven propagation of logic program updates
A Saptawijaya, LM Pereira
International Conference on Logic for Programming Artificial Intelligence …, 2013
122013
From logic programming to machine ethics
A Saptawijaya, LM Pereira
Handbuch maschinenethik, 209-227, 2019
112019
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
Abductive logic programming with tabled abduction
LM Pereira, A Saptawijaya
Procs. 7th Intl. Conf. on Software Engineering Advances (ICSEA), 548-556, 2012
102012
The system can't perform the operation now. Try again later.
Articles 1–20