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
932016
Modelling morality with prospective logic
LM Pereira, A Saptawijaya
International Journal of Reasoning-based Intelligent Systems 1 (3-4), 209-221, 2009
712009
Modelling morality with prospective logic
LM Pereira, A Saptawijaya
Portuguese Conference on Artificial Intelligence, 99-111, 2007
612007
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, LM 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
372010
Counterfactuals, logic programming and agent morality
LM Pereira, A Saptawijaya
Applications of formal philosophy, 25-53, 2017
342017
Towards modeling morality computationally with logic programming
A Saptawijaya, LM Pereira
International Symposium on Practical Aspects of Declarative Languages, 104-119, 2014
322014
Tabled abduction in logic programs
A Saptawijaya, LM Pereira
Theory and Practice of Logic Programming 13, 4-5, 2013
172013
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
162015
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
122016
Bridging two realms of machine ethics
LM Pereira, A Saptawijaya
Programming machine ethics, 159-165, 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
Tabdual: a tabled abduction system for logic programs.
A Saptawijaya, LM Pereira
FLAP 2 (1), 69-124, 2015
112015
From logic programming to machine ethics
A Saptawijaya, LM Pereira
Handbuch Maschinenethik, 209-227, 2019
102019
Towards practical tabled abduction usable in decision making
A Saptawijaya, LM Pereira
Intelligent Decision Technologies, 429-438, 2013
102013
Abductive logic programming with tabled abduction
LM Pereira, A Saptawijaya
Procs. 7th Intl. Conf. on Software Engineering Advances (ICSEA), 548-556, 2012
102012
Towards Improving the Resource Usage of SAT-solvers.
N Manthey, A Saptawijaya
POS@ SAT, 28-40, 2010
102010
Joint tabling of logic program abductions and updates (Technical Communication of ICLP 2014)
A Saptawijaya, LM Pereira
Theory and Practice of Logic Programming, Online Supplement 14 (4-5), 2014
92014
The system can't perform the operation now. Try again later.
Articles 1–20