Ari Saptawijaya - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2020

Actual Causality in Contextual AbductionDegoldie Sonny, Ari Saptawijaya, Raja Oktovin Parhasian Damanik. ICLP 2020: [doi]

2017

Implementation of change data capture in ETL process for data warehouse using HDFS and apache sparkDentiy, I. Putu Medagia Atmaja, Ari Saptawijaya, Siti Aminah. iwbis 2017: 49-55 [doi]

Agent Morality via Counterfactuals in Logic ProgrammingLuís Moniz Pereira, Ari Saptawijaya. cogsci 2017: 39-53 [doi]

2016

Ocean Color Remote Sensing of Atypical Marine Optical CasesDavide D'Alimonte, Tamito Kajiyama, Ari Saptawijaya. tgrs, 54(11):6574-6586, 2016. [doi]

Programming Machine EthicsLuís Moniz Pereira, Ari Saptawijaya. Volume 26 of Studies in Applied Philosophy, Epistemology and Rational Ethics, Springer, 2016. [doi]

Abduction and Beyond in Logic Programming with Application to MoralityLuís Moniz Pereira, Ari Saptawijaya. flap, 3(1):37-72, 2016. [doi]

Logic programming for modeling moralityAri Saptawijaya, Luís Moniz Pereira. igpl, 24(4):510-525, 2016. [doi]

2015

The Potential of Logic Programming as a Computational Tool to Model MoralityAri Saptawijaya, Luís Moniz Pereira. In Robert Trappl, editor, A Construction Manual for Robots' Ethical Systems - Requirements, Methods, Implementations. Cognitive Technologies, pages 169-210, Springer, 2015. [doi]

Tabdual: a Tabled Abduction System for Logic ProgramsAri Saptawijaya, Luís Moniz Pereira. flap, 2(1):69-124, 2015. [doi]

Logic Programming Applied to Machine EthicsAri Saptawijaya, Luís Moniz Pereira. epia 2015: 414-422 [doi]

2014

Towards Modeling Morality Computationally with Logic ProgrammingAri Saptawijaya, Luís Moniz Pereira. PADL 2014: 104-119 [doi]

2013

Towards Computational Morality with Logic ProgrammingAri Saptawijaya. tplp, 13(4-5-Online-Supplement), 2013. [doi]

Tabled Abduction in Logic ProgramsAri Saptawijaya, Luís Moniz Pereira. tplp, 13(4-5-Online-Supplement), 2013. [doi]

Program Updating by Incremental and Answer Subsumption TablingAri Saptawijaya, Luís Moniz Pereira. lpnmr 2013: 479-484 [doi]

Incremental Tabling for Query-Driven Propagation of Logic Program UpdatesAri Saptawijaya, Luís Moniz Pereira. lpar 2013: 694-709 [doi]

Towards Practical Tabled Abduction in Logic ProgramsAri Saptawijaya, Luís Moniz Pereira. epia 2013: 223-234 [doi]

2012

Moral Reasoning under UncertaintyHan The Anh, Ari Saptawijaya, Luís Moniz Pereira. lpar 2012: 212-227 [doi]

2010

Improving Resource-Unaware SAT SolversSteffen Hölldobler, Norbert Manthey, Ari Saptawijaya. lpar 2010: 519-534 [doi]

Towards Improving the Resource Usage of SAT-solversNorbert Manthey, Ari Saptawijaya. sat 2012: 28-40 [doi]

2009

Modelling morality with prospective logicLuís Moniz Pereira, Ari Saptawijaya. ijris, 1(3/4):209-221, 2009. [doi]

2007

Modelling Morality with Prospective LogicLuís Moniz Pereira, Ari Saptawijaya. epia 2007: 99-111 [doi]

2006

A Logic for Constraint-based Security Protocol AnalysisRicardo Corin, Sandro Etalle, Ari Saptawijaya. sp 2006: 155-168 [doi]

2005

PS-LTL for Constraint-Based Security Protocol AnalysisRicardo Corin, Ari Saptawijaya, Sandro Etalle. ICLP 2005: 439-440 [doi]

Sign in or sign up to see more results.

runs on WebDSL