Ari Saptawijaya

Publication Activity (10 Years)

Years Active: 2005-2020
Publications (10 Years): 7

Top Topics

Reasoning Under Uncertainty

Nonmonotonic Reasoning

Top Venues

Theory Pract. Log. Program.

Publications

Degoldie Sonny, Ari Saptawijaya, Raja Oktovin Parhasian Damanik
Actual Causality in Contextual Abduction. ICLP Workshops (2020)
Ridhwan Dewoprabowo, Ari Saptawijaya
Tabling Optimization for Contextual Abduction. ICLP Technical Communications (2020)
Luís Moniz Pereira, Ari Saptawijaya
Agent Morality via Counterfactuals in Logic Programming. Bridging@CogSci (2017)
Dentiy, I. Putu Medagia Atmaja, Ari Saptawijaya, Siti Aminah
Implementation of change data capture in ETL process for data warehouse using HDFS and apache spark. IWBIS (2017)
Luís Moniz Pereira, Ari Saptawijaya
Abduction and Beyond in Logic Programming with Application to Morality. FLAP 3 (1) (2016)
Ari Saptawijaya, Luís Moniz Pereira
Logic programming for modeling morality. Log. J. IGPL 24 (4) (2016)
Davide D'Alimonte, Tamito Kajiyama, Ari Saptawijaya
Ocean Color Remote Sensing of Atypical Marine Optical Cases. IEEE Trans. Geosci. Remote. Sens. 54 (11) (2016)
Ari Saptawijaya, Luís Moniz Pereira
Tabdual: a Tabled Abduction System for Logic Programs. FLAP 2 (1) (2015)
Ari Saptawijaya, Luís Moniz Pereira
Logic Programming Applied to Machine Ethics. EPIA (2015)
Ari Saptawijaya, Luís Moniz Pereira
Towards Modeling Morality Computationally with Logic Programming. PADL (2014)
Ari Saptawijaya, Luís Moniz Pereira
Joint Tabling of Logic Program Abductions and Updates. CoRR (2014)
Ari Saptawijaya, Luís Moniz Pereira
Incremental Tabling for Query-Driven Propagation of Logic Program Updates. LPAR (2013)
Ari Saptawijaya
Towards Computational Morality with Logic Programming. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Ari Saptawijaya, Luís Moniz Pereira
Towards Practical Tabled Abduction in Logic Programs. EPIA (2013)
Ari Saptawijaya, Luís Moniz Pereira
Program Updating by Incremental and Answer Subsumption Tabling. LPNMR (2013)
Ari Saptawijaya, Luís Moniz Pereira
Tabled Abduction in Logic Programs. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Han The Anh, Ari Saptawijaya, Luís Moniz Pereira
Moral Reasoning under Uncertainty. LPAR (2012)
Norbert Manthey, Ari Saptawijaya
Towards Improving the Resource Usage of SAT-solvers. POS@SAT (2010)
Steffen Hölldobler, Norbert Manthey, Ari Saptawijaya
Improving Resource-Unaware SAT Solvers. LPAR (Yogyakarta) (2010)
Luís Moniz Pereira, Ari Saptawijaya
Modelling morality with prospective logic. Int. J. Reason. based Intell. Syst. 1 (3/4) (2009)
Luís Moniz Pereira, Ari Saptawijaya
Modelling Morality with Prospective Logic. EPIA Workshops (2007)
Ricardo Corin, Sandro Etalle, Ari Saptawijaya
A Logic for Constraint-based Security Protocol Analysis. IEEE Symposium on Security and Privacy (2006)
Ricardo Corin, Ari Saptawijaya, Sandro Etalle
PS-LTL for Constraint-Based Security Protocol Analysis. ICLP (2005)