Search Result | Save to File |
Your search for 47397 returns 40 document(s) |
Tabling in Contextual Abduction with Answer Subsumption. Hal 459-465 |
Author: Syukri Mullia Adil Perkasa, Ari Saptawijaya, Luis Moniz Pereira; | Call Number: SEM-372 | Type: Indeks Artikel prosiding/Sem |
Find Similar | Add To Favorites | Detail in New Window |
Tabling dan Answer Subsumption pada Contextual Abduction |
Author: Syukri Mulia Adil Perkasa; | Call Number: SK-1563 (Softcopy SK-1045 | Edition: Ari Saptawijaya | Type: Skripsi |
Find Similar | Add To Favorites | Detail in New Window |
Tabling Optimization for Contextual Abduction |
Author: Ridhwan Dewoprabowo; | Call Number: TR-CSUI/ 002-2020 | Type: Technical Report |
Find Similar | Add To Favorites | Detail in New Window |
Tabling with Interned Terms on Contextual Abduction |
Author: Muhammad Okky Ibrohim; | Call Number: TR-CSUI/ 002-2018 | Type: Technical Report |
Find Similar | Add To Favorites | Detail in New Window |
Tabling Gabungan pada Abduction dan Updating Program Logika |
Author: Ammar Fathin Sabili; | Call Number: SK-1548 (Softcopy SK-1030) Sourcoce code SK-623 | Edition: Ari Saptawijaya | Type: Skripsi |
Find Similar | Add To Favorites | Detail in New Window |
Pemodelan actual causality dengan contextual abduction dalam pemrograman logika |
Author: Degoldie Sonny; | Call Number: SK-1758 Softcopy SK-1240 Sourcode SK-703 | Edition: Ari Saptawijaya | Type: Skripsi |
Find Similar | Add To Favorites | Detail in New Window |
Intelligent Agents via Joint Tabling of Logic Program Abduction and Updating. Hal 4654-470 |
Author: Ammar Fathin Sabili, Ari Saptawijaya, Luis Moniz Pereira; | Call Number: SEM-372 | Type: Indeks Artikel prosiding/Sem |
Find Similar | Add To Favorites | Detail in New Window |
Evaluasi counterfactual menggunakan tabling gabungan pada abduction dan updating program logika serta aplikasinya pada bidang machine ethics |
Author: Adam Jordam; | Call Number: SK-1588 (Softcopy Sk-1070) | Edition: Ari Sapta Wijaya | Type: Skripsi |
Find Similar | Add To Favorites | Detail in New Window |
Answer set solving in practice |
Call Number: 006.3 Ans | Type: Buku |
Find Similar | Add To Favorites | Detail in New Window |
Perancangan Dan Implementasi Sistem Kontrol Navigasi Reaktif Subsumption (82-90) |
Author: Iwan Setiawan Wahyudi Darjat Rudy Prasetiyo; | Call Number: SEM-318 | Type: Indeks Artikel prosiding/Sem |
Find Similar | Add To Favorites | Detail in New Window |
Prev 1 2 3 4 Next |