| Programming machine ethics LM Pereira, A Saptawijaya Springer, 2016 | 127 | 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 | 64 | 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 |
| Logic programming for modeling morality A Saptawijaya, LM Pereira Logic Journal of the IGPL 24 (4), 510-525, 2016 | 15 | 2016 |
| Abduction and Beyond in Logic Programming with Application to Morality. LM Pereira, A Saptawijaya FLAP 3 (1), 37-72, 2016 | 15 | 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 |
| Agent Morality via Counterfactuals in Logic Programming. LM Pereira, A Saptawijaya Bridging@ cogsci, 39-53, 2017 | 11 | 2017 |
Luís Moniz PereiraProfessor of Computer Science, Universidade Nova de Lisboa (emeritus)Verified email at fct.unl.pt
