Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Find Similar Add to Favorite

Call Number SEM-372
Collection Type Indeks Artikel prosiding/Sem
Title Tabling in Contextual Abduction with Answer Subsumption. Hal 459-465
Author Syukri Mullia Adil Perkasa, Ari Saptawijaya, Luis Moniz Pereira;
Publisher ICACSIS 2017 International Conference on Advanced Computer Science and Information System.
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
SEM-372 TERSEDIA
Tidak ada review pada koleksi ini: 47397
Abstract- Abduction is a from logical inference that seeks out best explanations for a given observation. Abduction has al ready been well studied in the field of computational logic, and logic programming in particular. In contextual abduction, explanations obtained within one context may also be relevant in different contexts. In such contextual abduction, explanations thus can be reused with little cost. When abduction is realized in logic programming, one can reuse previously obtained explanations from one contexts to another by benefiting from a logic programming feature called tabling. In this paper, we revisit tabling in contextual abduction and improve this technique subsumption. The employment of answer subsumption in this minimal explanations for an observation. It also helps avoid tabling to many and large explanations for a given observation, which may fail contextual abduction in practice as it requires too many resources before being able to return a solution. We provide a prototype, TABDUAL, of this improved technique as a proof of concept. Our experiments, booth in artificial and real words cases, show that's TABDUAL correctly returns minimal explanations, while the cost of their computation is greatly reduced.
Favorite
Radioptimization-goal based rendering,Hal 147-154
Author: John K.Kawai; James S.Painter; Michael F.Cohen; | Publisher:
[Remove]
Use Case Driven Object Modeling with UML/A Practical Approach
Author: Rosenberg, Doug; | Publisher: Boston; San Fransisco; Addison-Wesley.Co; 1999
[Remove]
Accounting principles 7th ed.
Author: Weygandt, Jerry L; | Publisher:
[Remove]
Experimental methodology 10th ed.
Author: Christensen, Larry B.; | Publisher: Boston: Pearson, 2007
[Remove]
Protocols using anonymous connections: mobile applications, (LNCS-Lecture Notes in Computer Science 1361) Hal 13-23
Author: Michael G. Reed; Paul F. Syverson; David M. Goldschlag; | Publisher: Springer, 1997
[Remove]
The CAD rating guide: a tool for the evaluations of computer aided design systems/W. Bradley Holtz
Author: Holtz, W. Bradley; | Publisher: New Mexico On Word Press 1991
[Remove]
Rancang Bangun E-Library Berbasis Customer Relationship Management (CRM) Pada Sekolah Menengah Atas
Author: Yunita Fitriyani , Nur Aeni Hidayah , Ditdit N.Utama; | Publisher: Prosiding nasional aplikasi teknologi informasi 2010 Yogyakarta 19 Juni 2010 (SNATI)
[Remove]
Model optimasi untuk masalah penentuan jumlah produksi optimal beberapa jenis produk dalam beberapa periode, Hal. H.26-H.20
Author: Parwadi; | Publisher: SNIKTI V 2005 : Seminar Nasional Ilmu Komputer dan Teknologi Informasi, 9-10 Agustus 2005 Fak. Teknologi Iformasi Univ Kristen Satya Wacana Salatiga Jawa Tengah Indonesia
[Remove]