Ari Saptawijaya
AuthID: R-001-TRY
21
TÃTULO: Logic Programming Applied to Machine Ethics Full Text
AUTORES: Ari Saptawijaya; Luis Moniz Pereira;
PUBLICAÇÃO: 2015, FONTE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
AUTORES: Ari Saptawijaya; Luis Moniz Pereira;
PUBLICAÇÃO: 2015, FONTE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
22
TÃTULO: Bridging two realms of machine ethics
AUTORES: Pereira, LM; Saptawijaya, A;
PUBLICAÇÃO: 2015, FONTE: Rethinking Machine Ethics in the Age of Ubiquitous Technology
AUTORES: Pereira, LM; Saptawijaya, A;
PUBLICAÇÃO: 2015, FONTE: Rethinking Machine Ethics in the Age of Ubiquitous Technology
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef23
TÃTULO: The Potential of Logic Programming as a Computational Tool to Model Morality
AUTORES: Ari Saptawijaya; Luís Moniz Pereira;
PUBLICAÇÃO: 2015, FONTE: A Construction Manual for Robots' Ethical Systems - Requirements, Methods, Implementations
AUTORES: Ari Saptawijaya; Luís Moniz Pereira;
PUBLICAÇÃO: 2015, FONTE: A Construction Manual for Robots' Ethical Systems - Requirements, Methods, Implementations
INDEXADO EM: 
DBLP
DBLP24
TÃTULO: Tabdual: a Tabled Abduction System for Logic Programs PDF
AUTORES: Ari Saptawijaya; Luís Moniz Pereira;
PUBLICAÇÃO: 2015, FONTE: FLAP, VOLUME: 2, NÚMERO: 1
AUTORES: Ari Saptawijaya; Luís Moniz Pereira;
PUBLICAÇÃO: 2015, FONTE: FLAP, VOLUME: 2, NÚMERO: 1
INDEXADO EM: DBLP
DBLP25
TÃTULO: Towards modeling morality computationally with logic programming
AUTORES: Saptawijaya, A; Pereira, LM ;
PUBLICAÇÃO: 2014, FONTE: 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8324 LNCS
AUTORES: Saptawijaya, A; Pereira, LM ;
PUBLICAÇÃO: 2014, FONTE: 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8324 LNCS
26
TÃTULO: Joint Tabling of Logic Program Abductions and Updates PDF
AUTORES: Ari Saptawijaya; Luís Moniz Pereira;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1405.2058
AUTORES: Ari Saptawijaya; Luís Moniz Pereira;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1405.2058
INDEXADO EM: DBLP 
arXiv
DBLP arXiv27
TÃTULO: Program updating by incremental and answer subsumption tabling
AUTORES: Saptawijaya, A; Pereira, LM ;
PUBLICAÇÃO: 2013, FONTE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8148 LNAI
AUTORES: Saptawijaya, A; Pereira, LM ;
PUBLICAÇÃO: 2013, FONTE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8148 LNAI
28
TÃTULO: Incremental tabling for query-driven propagation of logic program updates
AUTORES: Saptawijaya, A; Pereira, LM ;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8312 LNCS
AUTORES: Saptawijaya, A; Pereira, LM ;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8312 LNCS
29
TÃTULO: Tabled Abduction in Logic Programs PDF
AUTORES: Ari Saptawijaya; Luís Moniz Pereira ;
PUBLICAÇÃO: 2013, FONTE: TPLP, VOLUME: 13, NÚMERO: 4-5-Online-Supplement
AUTORES: Ari Saptawijaya; Luís Moniz Pereira ;
PUBLICAÇÃO: 2013, FONTE: TPLP, VOLUME: 13, NÚMERO: 4-5-Online-Supplement
INDEXADO EM: DBLP
DBLP30
TÃTULO: Seawater-type based neural networks for Ocean Color data inversion
AUTORES: Saptawijaya, A; D'Alimonte, D; Kajiyama, T;
PUBLICAÇÃO: 2013, FONTE: 34th Asian Conference on Remote Sensing 2013, ACRS 2013 in 34th Asian Conference on Remote Sensing 2013, ACRS 2013, VOLUME: 2
AUTORES: Saptawijaya, A; D'Alimonte, D; Kajiyama, T;
PUBLICAÇÃO: 2013, FONTE: 34th Asian Conference on Remote Sensing 2013, ACRS 2013 in 34th Asian Conference on Remote Sensing 2013, ACRS 2013, VOLUME: 2
INDEXADO EM: Scopus
Scopus