Manusia selalu bermimpi untuk mengotomatiskan tugas fisik dan intelektual yang melelahkan, tetapi yang terakhir terbukti lebih sulit dipahami daripada yang diduga secara naif. Tujuh dekade studi sistematis tentang Kecerdasan Buatan telah menyaksikan siklus kesombongan dan keputusasaan. Realisasi Kecerdasan Umum yang sukses (dibuktikan dengan jenis fleksibilitas lintas domain yang dinikmati oleh…
Buku akses terbuka ini mencakup semua aspek pencarian berorientasi entitas—di mana "pencarian" dapat diartikan dalam arti luas akses informasi—dari sudut pandang terpadu, dan memberikan gambaran umum yang koheren dan komprehensif tentang keadaan terkini. Buku ini merupakan sintesis pertama penelitian di bidang yang luas dan berkembang pesat ini. Topik-topik terpilih dibahas secara mendalam,…
Buku akses terbuka ini merupakan prosiding dari Konferensi Internasional Pertama tentang Mesin Argumentasi yang Kuat, Jurnal Filsafat Analitik Internasional (RATIO, International Journal of Analytic Philosophy) 2024, yang berlangsung di Bielefeld, Jerman, selama 5-7 Juni 2024. 20 makalah lengkap dan 1 makalah pendek yang disertakan dalam prosiding ditinjau dan dipilih secara saksama dari 24 kir…
Volume ini, LNAI 13385, merupakan prosiding yang telah diseleksi dari Konferensi Bersama Internasional ke-11 tentang Penalaran Otomatis, International Joint Conference on Automated Reasoning (IJCAR) 2022, yang diselenggarakan di Haifa, Israel, pada bulan Agustus 2022. 32 makalah penelitian lengkap dan 9 makalah pendek yang disajikan bersama dengan dua ceramah yang diundang telah ditinjau dan d…
Buku akses terbuka ini merupakan hasil proses yang telah diseleksi dari Konferensi Internasional ke-18 tentang Pemrosesan String dan Pengambilan Informasi, ICOST 2022, yang diadakan di Paris, Prancis, pada bulan Juni 2022. 15 makalah lengkap dan 10 makalah pendek yang disajikan dalam volume ini telah ditinjau dan dipilih secara saksama dari 33 kiriman. Makalah-makalah tersebut mencakup topik-to…
Buku akses terbuka ini merupakan prosiding dari Konferensi Internasional ke-28 tentang Deduksi Otomatis, (Conference on Automated Deduction) CADE 28, yang diselenggarakan secara virtual pada bulan Juli 2021. 29 makalah lengkap dan 7 deskripsi sistem yang disajikan bersama dengan 2 makalah undangan ditinjau dan dipilih secara saksama dari 76 kiriman. CADE adalah forum utama untuk penyajian penel…
Buku akses terbuka ini merupakan prosiding pascakonferensi yang telah melalui proses penelaahan menyeluruh dari Lokakarya Internasional ke-6 tentang Struktur Graf untuk Representasi dan Penalaran Pengetahuan, GKR 2020, yang diselenggarakan secara virtual pada bulan September 2020, yang terkait dengan ECAI 2020, Konferensi Eropa ke-24 tentang Kecerdasan Buatan. Tujuh makalah lengkap yang direvis…
Buku akses terbuka ini merupakan prosiding wasit dari Konferensi Internasional ke-17 tentang Pemrosesan String dan Pengambilan Informasi, ICOST 2019, yang diadakan di New York City, NY, AS, pada Oktober 2019. 15 makalah lengkap dan 5 makalah pendek yang disajikan dalam volume ini ditinjau dan dipilih dengan cermat dari 24 pengajuan. Mereka membahas topik-topik seperti: desain teknologi e-health…
Volume akses terbuka ini merupakan hasil proses yang telah diseleksi dari konferensi dua tahunan ke-27 Masyarakat Jerman untuk Linguistik Komputasional dan Teknologi Bahasa, GSCL 2017, yang diselenggarakan di Berlin, Jerman, pada bulan September 2017, yang berfokus pada teknologi bahasa untuk era digital. Sebanyak 16 makalah lengkap dan 10 makalah pendek yang disertakan dalam proses tersebut di…
Algoritma metaheuristik dianggap sebagai alat optimasi generik yang dapat memecahkan masalah yang sangat rumit yang ditandai dengan memiliki ruang pencarian yang sangat besar. Metode metaheuristik mengurangi ukuran efektif ruang pencarian melalui penggunaan strategi pencarian yang efektif. Fitur Buku: • Memberikan pandangan terpadu tentang metode metaheuristik paling populer yang saat ini dig…