Ari Saptawijaya

According to our database, Ari Saptawijaya authored at least 24 papers between 2005 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Tabling Optimization for Contextual Abduction.

Ridhwan Dewoprabowo, Ari Saptawijaya

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

Actual Causality in Contextual Abduction.

Degoldie Sonny, Ari Saptawijaya, Raja Oktovin Parhasian Damanik

Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020

2017

Implementation of change data capture in ETL process for data warehouse using HDFS and apache spark.

Dentiy, I. Putu Medagia Atmaja, Ari Saptawijaya, Siti Aminah

Proceedings of the International Workshop on Big Data and Information Security, 2017

Agent Morality via Counterfactuals in Logic Programming.

Luís Moniz Pereira, Ari Saptawijaya

Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning, 2017

2016

Programming Machine Ethics

Luís Moniz Pereira, Ari Saptawijaya

Studies in Applied Philosophy, Epistemology and Rational Ethics 26, Springer, ISBN: 978-3-319-29354-7, 2016

Ocean Color Remote Sensing of Atypical Marine Optical Cases.

Davide D'Alimonte, Tamito Kajiyama, Ari Saptawijaya

IEEE Trans. Geosci. Remote. Sens., 2016

Logic programming for modeling morality.

Ari Saptawijaya, Luís Moniz Pereira

Log. J. IGPL, 2016

Abduction and Beyond in Logic Programming with Application to Morality.

Luís Moniz Pereira, Ari Saptawijaya

FLAP, 2016

2015

The Potential of Logic Programming as a Computational Tool to Model Morality.

Ari Saptawijaya, Luís Moniz Pereira

Proceedings of the A Construction Manual for Robots' Ethical Systems, 2015

Tabdual: a Tabled Abduction System for Logic Programs.

Ari Saptawijaya, Luís Moniz Pereira

FLAP, 2015

Logic Programming Applied to Machine Ethics.

Ari Saptawijaya, Luís Moniz Pereira

Proceedings of the Progress in Artificial Intelligence, 2015

2014

Joint Tabling of Logic Program Abductions and Updates.

Ari Saptawijaya, Luís Moniz Pereira

CoRR, 2014

Towards Modeling Morality Computationally with Logic Programming.

Ari Saptawijaya, Luís Moniz Pereira

Proceedings of the Practical Aspects of Declarative Languages, 2014

2013

Tabled Abduction in Logic Programs.

Ari Saptawijaya, Luís Moniz Pereira

Theory Pract. Log. Program., 2013

Towards Computational Morality with Logic Programming.

Ari Saptawijaya

Theory Pract. Log. Program., 2013

Program Updating by Incremental and Answer Subsumption Tabling.

Ari Saptawijaya, Luís Moniz Pereira

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Incremental Tabling for Query-Driven Propagation of Logic Program Updates.

Ari Saptawijaya, Luís Moniz Pereira

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Towards Practical Tabled Abduction in Logic Programs.

Ari Saptawijaya, Luís Moniz Pereira

Proceedings of the Progress in Artificial Intelligence, 2013

2012

Moral Reasoning under Uncertainty.

Han The Anh, Ari Saptawijaya, Luís Moniz Pereira

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

2010

Towards Improving the Resource Usage of SAT-solvers.

Norbert Manthey, Ari Saptawijaya

Proceedings of the POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010, 2010

Improving Resource-Unaware SAT Solvers.

Steffen Hölldobler, Norbert Manthey, Ari Saptawijaya

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009

Modelling morality with prospective logic.

Luís Moniz Pereira, Ari Saptawijaya

Int. J. Reason. based Intell. Syst., 2009

2006

A Logic for Constraint-based Security Protocol Analysis.

Ricardo Corin, Sandro Etalle, Ari Saptawijaya

Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 2006

2005

PS-LTL for Constraint-Based Security Protocol Analysis.

Ricardo Corin, Ari Saptawijaya, Sandro Etalle

Proceedings of the Logic Programming, 21st International Conference, 2005