Ari Saptawijaya
AuthID: R-001-TRY
1
TITLE: Tabling in contextual abduction with answer subsumption
AUTHORS: Perkasa, SMA; Saptawijaya, A; Pereira, LM;
PUBLISHED: 2018, SOURCE: 9th International Conference on Advanced Computer Science and Information Systems, ICACSIS 2017 in 2017 International Conference on Advanced Computer Science and Information Systems, ICACSIS 2017, VOLUME: 2018-January
AUTHORS: Perkasa, SMA; Saptawijaya, A; Pereira, LM;
PUBLISHED: 2018, SOURCE: 9th International Conference on Advanced Computer Science and Information Systems, ICACSIS 2017 in 2017 International Conference on Advanced Computer Science and Information Systems, ICACSIS 2017, VOLUME: 2018-January
INDEXED IN: 
Scopus
Scopus2
TITLE: Intelligent agents via joint tabling of logic program abduction and updating
AUTHORS: Sabili, AF; Saptawijaya, A; Pereira, LM;
PUBLISHED: 2018, SOURCE: 9th International Conference on Advanced Computer Science and Information Systems, ICACSIS 2017 in 2017 International Conference on Advanced Computer Science and Information Systems, ICACSIS 2017, VOLUME: 2018-January
AUTHORS: Sabili, AF; Saptawijaya, A; Pereira, LM;
PUBLISHED: 2018, SOURCE: 9th International Conference on Advanced Computer Science and Information Systems, ICACSIS 2017 in 2017 International Conference on Advanced Computer Science and Information Systems, ICACSIS 2017, VOLUME: 2018-January
INDEXED IN: Scopus
Scopus3
TITLE: Agent morality via counterfactuals in logic programming
AUTHORS: Pereira, LM; Saptawijaya, A;
PUBLISHED: 2017, SOURCE: 2017 Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning?, Bridging 2017 in CEUR Workshop Proceedings, VOLUME: 1994
AUTHORS: Pereira, LM; Saptawijaya, A;
PUBLISHED: 2017, SOURCE: 2017 Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning?, Bridging 2017 in CEUR Workshop Proceedings, VOLUME: 1994
INDEXED IN: Scopus
Scopus4
TITLE: Agent Morality via Counterfactuals in Logic Programming PDF
AUTHORS: Luís Moniz Pereira; Ari Saptawijaya;
PUBLISHED: 2017, SOURCE: Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning? co-located with 39th Annual Meeting of the Cognitive Science Society (CogSci 2017), London, UK, July 26, 2017., VOLUME: 1994
AUTHORS: Luís Moniz Pereira; Ari Saptawijaya;
PUBLISHED: 2017, SOURCE: Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning? co-located with 39th Annual Meeting of the Cognitive Science Society (CogSci 2017), London, UK, July 26, 2017., VOLUME: 1994
INDEXED IN: 
DBLP
DBLP5
TITLE: Programming Machine Ethics
AUTHORS: Luís Moniz Pereira; Ari Saptawijaya;
PUBLISHED: 2016, SOURCE: Studies in Applied Philosophy, Epistemology and Rational Ethics, VOLUME: 26
AUTHORS: Luís Moniz Pereira; Ari Saptawijaya;
PUBLISHED: 2016, SOURCE: Studies in Applied Philosophy, Epistemology and Rational Ethics, VOLUME: 26
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef6
TITLE: Logic programming for modeling morality
AUTHORS: Ari Saptawijaya; Luis Moniz Pereira;
PUBLISHED: 2016, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 24, ISSUE: 4
AUTHORS: Ari Saptawijaya; Luis Moniz Pereira;
PUBLISHED: 2016, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 24, ISSUE: 4
7
TITLE: Ocean Color Remote Sensing of Atypical Marine Optical Cases Full Text
AUTHORS: Davide D'Alimonte ; Tamito Kajiyama; Ari Saptawijaya;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON GEOSCIENCE AND REMOTE SENSING, VOLUME: 54, ISSUE: 11
AUTHORS: Davide D'Alimonte ; Tamito Kajiyama; Ari Saptawijaya;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON GEOSCIENCE AND REMOTE SENSING, VOLUME: 54, ISSUE: 11
INDEXED IN: 
WOS
WOS8
TITLE: Counterfactuals in Critical Thinking with Application to Morality
AUTHORS: Luis Moniz Pereira; Ari Saptawijaya;
PUBLISHED: 2016, SOURCE: International Conference on Model-Based Reasoning in Science and Technology. Models and Inferences - Logical, Epistemological, and Cognitive Issues (MBR015) in MODEL-BASED REASONING IN SCIENCE AND TECHNOLOGY: LOGICAL, EPISTEMOLOGICAL, AND COGNITIVE ISSUES, VOLUME: 27
AUTHORS: Luis Moniz Pereira; Ari Saptawijaya;
PUBLISHED: 2016, SOURCE: International Conference on Model-Based Reasoning in Science and Technology. Models and Inferences - Logical, Epistemological, and Cognitive Issues (MBR015) in MODEL-BASED REASONING IN SCIENCE AND TECHNOLOGY: LOGICAL, EPISTEMOLOGICAL, AND COGNITIVE ISSUES, VOLUME: 27
INDEXED IN: Scopus WOS
Scopus WOS9
TITLE: Representing morality in logic programming
AUTHORS: Pereira, LM; Saptawijaya, A;
PUBLISHED: 2016, SOURCE: Studies in Applied Philosophy, Epistemology and Rational Ethics, VOLUME: 26
AUTHORS: Pereira, LM; Saptawijaya, A;
PUBLISHED: 2016, SOURCE: Studies in Applied Philosophy, Epistemology and Rational Ethics, VOLUME: 26
INDEXED IN: Scopus
Scopus10
TITLE: Significant moral facets amenable to logic programming
AUTHORS: Pereira, LM; Saptawijaya, A;
PUBLISHED: 2016, SOURCE: Studies in Applied Philosophy, Epistemology and Rational Ethics, VOLUME: 26
AUTHORS: Pereira, LM; Saptawijaya, A;
PUBLISHED: 2016, SOURCE: Studies in Applied Philosophy, Epistemology and Rational Ethics, VOLUME: 26
INDEXED IN: Scopus
Scopus