Programming machine ethics LM Pereira, A Saptawijaya Springer, 2016 | 125 | 2016 |
Modelling morality with prospective logic LM Pereira, A Saptawijaya International Journal of Reasoning-based Intelligent Systems 1 (3-4), 209-221, 2009 | 79 | 2009 |
Modelling morality with prospective logic LM Pereira, A Saptawijaya Portuguese conference on artificial intelligence, 99-111, 2007 | 75 | 2007 |
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 | 63 | 2006 |
Moral reasoning under uncertainty TA Han, A Saptawijaya, L Moniz Pereira Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012 | 54 | 2012 |
Improving resource-unaware SAT solvers S Hölldobler, N Manthey, A Saptawijaya Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010 | 43 | 2010 |
Counterfactuals, logic programming and agent morality LM Pereira, A Saptawijaya Applications of Formal Philosophy: The Road Less Travelled, 25-53, 2017 | 39 | 2017 |
Towards modeling morality computationally with logic programming A Saptawijaya, LM Pereira Practical Aspects of Declarative Languages: 16th International Symposium …, 2014 | 36 | 2014 |
Tabled abduction in logic programs A Saptawijaya, LM Pereira Theory and Practice of Logic Programming 13, 4-5, 2013 | 19 | 2013 |
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 | 18 | 2015 |
Bridging two realms of machine ethics LM Pereira, A Saptawijaya, LM Pereira, A Saptawijaya Programming machine ethics, 159-165, 2016 | 16 | 2016 |
Moral decision making with ACORDA LM Pereira, A Saptawijaya Short Paper LPAR 7, 2007 | 16 | 2007 |
Abduction and Beyond in Logic Programming with Application to Morality. LM Pereira, A Saptawijaya FLAP 3 (1), 37-72, 2016 | 15 | 2016 |
Logic programming for modeling morality A Saptawijaya, LM Pereira Logic Journal of the IGPL 24 (4), 510-525, 2016 | 14 | 2016 |
Tabdual: a tabled abduction system for logic programs. A Saptawijaya, LM Pereira FLAP 2 (1), 69-124, 2015 | 13 | 2015 |
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 | 12 | 2016 |
Incremental tabling for query-driven propagation of logic program updates A Saptawijaya, LM Pereira Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013 | 12 | 2013 |
Towards Improving the Resource Usage of SAT-solvers. N Manthey, A Saptawijaya POS@ SAT, 28-40, 2010 | 12 | 2010 |
From logic programming to machine ethics A Saptawijaya, LM Pereira Handbuch maschinenethik, 209-227, 2019 | 11 | 2019 |
Implementation of change data capture in ETL process for data warehouse using HDFS and apache spark IPM Atmaja, A Saptawijaya, S Aminah 2017 International Workshop on Big Data and Information Security (IWBIS), 49-55, 2017 | 11 | 2017 |