Ari Saptawijaya

28 papers B 4C 1Misc 2Journal 10Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Domain Generalization and Domain Adaptation Approaches for Face Anti-Spoofing: A Survey.
IEEE Access
Hanry Ham, Ari Saptawijaya, Aniati Murni Arymurthy
2025 J jnl
Explainable clustering: Methods, challenges, and future opportunities.
J. Intell. Syst.
Ridhwan Dewoprabowo, Lim Yohanes Stefanus, Ari Saptawijaya
2021 — ed.
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021.
ICLP Workshops
Joaquín Arias, Fabio Aurelio D'Asaro, Abeer Dyoub, Gopal Gupta, Markus Hecher, Emily Leblanc, Rafael Peñaloza, Elmer Salazar, Ari Saptawijaya, Felix Weitkämper, Jessica Zangari
2020 — conf
Actual Causality in Contextual Abduction.
ICLP Workshops
Degoldie Sonny, Ari Saptawijaya, Raja Oktovin Parhasian Damanik
2020 — conf
Tabling Optimization for Contextual Abduction.
ICLP Technical Communications
Ridhwan Dewoprabowo, Ari Saptawijaya
2017 — conf
Agent Morality via Counterfactuals in Logic Programming.
Bridging@CogSci
Luís Moniz Pereira, Ari Saptawijaya
2017 — conf
Implementation of change data capture in ETL process for data warehouse using HDFS and apache spark.
IWBIS
Dentiy, I. Putu Medagia Atmaja, Ari Saptawijaya, Siti Aminah
2016 J jnl
Abduction and Beyond in Logic Programming with Application to Morality.
FLAP
Luís Moniz Pereira, Ari Saptawijaya
2016 J jnl
Logic programming for modeling morality.
Log. J. IGPL
Ari Saptawijaya, Luís Moniz Pereira
2016 J jnl
Ocean Color Remote Sensing of Atypical Marine Optical Cases.
IEEE Trans. Geosci. Remote. Sens.
Davide D'Alimonte, Tamito Kajiyama, Ari Saptawijaya
2016 — book
Programming Machine Ethics
Luís Moniz Pereira, Ari Saptawijaya
2015 Misc conf
Logic Programming Applied to Machine Ethics.
EPIA
Ari Saptawijaya, Luís Moniz Pereira
2015 J jnl
Tabdual: a Tabled Abduction System for Logic Programs.
FLAP
Ari Saptawijaya, Luís Moniz Pereira
2015 — ch.
The Potential of Logic Programming as a Computational Tool to Model Morality.
A Construction Manual for Robots' Ethical Systems
Ari Saptawijaya, Luís Moniz Pereira
2014 J jnl
Joint Tabling of Logic Program Abductions and Updates.
CoRR
Ari Saptawijaya, Luís Moniz Pereira
2014 C conf
Towards Modeling Morality Computationally with Logic Programming.
PADL
Ari Saptawijaya, Luís Moniz Pereira
2013 B conf
Incremental Tabling for Query-Driven Propagation of Logic Program Updates.
LPAR
Ari Saptawijaya, Luís Moniz Pereira
2013 B conf
Program Updating by Incremental and Answer Subsumption Tabling.
LPNMR
Ari Saptawijaya, Luís Moniz Pereira
2013 J jnl
Tabled Abduction in Logic Programs.
Theory Pract. Log. Program.
Ari Saptawijaya, Luís Moniz Pereira
2013 J jnl
Towards Computational Morality with Logic Programming.
Theory Pract. Log. Program.
Ari Saptawijaya
2013 Misc conf
Towards Practical Tabled Abduction in Logic Programs.
EPIA
Ari Saptawijaya, Luís Moniz Pereira
2012 B conf
Moral Reasoning under Uncertainty.
LPAR
Han The Anh, Ari Saptawijaya, Luís Moniz Pereira
2010 — conf
Improving Resource-Unaware SAT Solvers.
LPAR (Yogyakarta)
Steffen Hölldobler, Norbert Manthey, Ari Saptawijaya
2010 — conf
Towards Improving the Resource Usage of SAT-solvers.
POS@SAT
Norbert Manthey, Ari Saptawijaya
2009 J jnl
Modelling morality with prospective logic.
Int. J. Reason. based Intell. Syst.
Luís Moniz Pereira, Ari Saptawijaya
2007 — conf
Modelling Morality with Prospective Logic.
EPIA Workshops
Luís Moniz Pereira, Ari Saptawijaya
2006 — conf
A Logic for Constraint-based Security Protocol Analysis.
S&P
Ricardo Corin, Sandro Etalle, Ari Saptawijaya
2005 B conf
PS-LTL for Constraint-Based Security Protocol Analysis.
ICLP
Ricardo Corin, Ari Saptawijaya, Sandro Etalle