21
TITLE: Logic Programming Applied to Machine Ethics  Full Text
AUTHORS: Ari Saptawijaya; Luis Moniz Pereira;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
INDEXED IN: Scopus WOS DBLP CrossRef
22
TITLE: Bridging two realms of machine ethics
AUTHORS: Pereira, LM; Saptawijaya, A;
PUBLISHED: 2015, SOURCE: Rethinking Machine Ethics in the Age of Ubiquitous Technology
INDEXED IN: Scopus CrossRef
23
TITLE: The Potential of Logic Programming as a Computational Tool to Model Morality
AUTHORS: Ari Saptawijaya; Luís Moniz Pereira;
PUBLISHED: 2015, SOURCE: A Construction Manual for Robots' Ethical Systems - Requirements, Methods, Implementations
INDEXED IN: DBLP
24
TITLE: Tabdual: a Tabled Abduction System for Logic Programs PDF
AUTHORS: Ari Saptawijaya; Luís Moniz Pereira;
PUBLISHED: 2015, SOURCE: FLAP, VOLUME: 2, ISSUE: 1
INDEXED IN: DBLP
25
TITLE: Towards modeling morality computationally with logic programming
AUTHORS: Saptawijaya, A; Pereira, LM ;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
26
TITLE: Joint Tabling of Logic Program Abductions and Updates PDF
AUTHORS: Ari Saptawijaya; Luís Moniz Pereira;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1405.2058
INDEXED IN: DBLP arXiv
27
TITLE: Program updating by incremental and answer subsumption tabling
AUTHORS: Saptawijaya, A; Pereira, LM ;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
28
TITLE: Incremental tabling for query-driven propagation of logic program updates
AUTHORS: Saptawijaya, A; Pereira, LM ;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
29
TITLE: Tabled Abduction in Logic Programs PDF
AUTHORS: Ari Saptawijaya; Luís Moniz Pereira ;
PUBLISHED: 2013, SOURCE: TPLP, VOLUME: 13, ISSUE: 4-5-Online-Supplement
INDEXED IN: DBLP
30
TITLE: Seawater-type based neural networks for Ocean Color data inversion
AUTHORS: Saptawijaya, A; D'Alimonte, D; Kajiyama, T;
PUBLISHED: 2013, SOURCE: 34th Asian Conference on Remote Sensing 2013, ACRS 2013 in 34th Asian Conference on Remote Sensing 2013, ACRS 2013, VOLUME: 2
INDEXED IN: Scopus
Page 3 of 4. Total results: 34.