Query proof structure caching for incremental evaluation of tabled PROLOG programs /

Query proof structure caching for incremental evaluation of tabled PROLOG programs /

Saved in:

书目详细资料
主要作者:	Ali, Taher Muhammad
格式:	Thesis 图书
语言:	English
出版:	2013.
主题:	Artificial intelligence > Data processing. Prolog (Computer program language) Logic programming.
在线阅读:	http://studentsrepo.um.edu.my/id/eprint/5604
标签:	添加标签没有标签, 成为第一个标记此记录!

相似书籍

Computational lexicography : constructing a lexical database in prolog /
由: Ooi, Beng Yeow
出版: (1987)

Penemuan secara abduktif dalam pangkalan data /
由: Mohd Ridzuan bin Hussin
出版: (1996)

A knowledge based system for machine tool replacement /
由: Mohd. Amin Abd. Majid
出版: (1993)

Probe : a formal specification-based testing system /
由: al-Amayreh, Ahmed Abedl Rahman
出版: (1997)

Application of fuzzy logic to partial constraint satisfaction problem /
由: Fung, Cheong Yiu
出版: (1993)

A fuzzy dynamic constraint model /
由: Zhang, Cheng
出版: (1998)

A multi-layer dimension reduction algorithm for text mining of news in forex /
由: Nassirtoussi, Arman Khadjeh
出版: (2015)

Incremental clustering-based facial feature tracking and emotion recognition using fuzzy reasoning model /
由: Islam, Md. Nazrul
出版: (2015)

A framework of methods for generating an optimized fuzzy artmap ensemble for classifying a data set, with an application in biosignal classification /
由: Liew, Wei Shiung
出版: (2015)

Prediction and control using artifical intelligence techniques in a glucose isomerisation process /
由: Norliza Abd. Rahman

Robot mapping without a precise map /
由: Zati Hakim Azizul Hasan
出版: (2013)

Artificial intelligence-based tool condition monitoring in robotic incremental sheet forming through vibration, tool wear and surface roughness analyses
由: Ismail, Nazarul Abidin
出版: (2021)

A parallel logic programming system based on BaLinda Lisp : an implementation of flat guarded horn clasues /
由: Li, Zhenpeng
出版: (1996)

An intelligent statistical problem-solving interface /
由: Hioe, Willy
出版: (1988)

Line following navigation system for mobile robot /
由: Tan, Kai Jin
出版: (2007)

Multi-sensor fusion and deep learning framework for automatic human activity detection and health monitoring using motion sensor data /
由: Nweke, Henry Friday
出版: (2019)

A high-order logic for object-oriented logic programming /
由: Wee, Boon Tun
出版: (1998)

Recommendation of experts in community question answering using tag relationship /
由: Anandhan, Anitha
出版: (2021)

Evaluation of query reformulation strategies for domain-specific information searches: a case study of the durian fruit domain / Azilawati Azizan
由: Azizan, Azilawati
出版: (2022)

Stream flow analysis and modelling using artificial intelligence techniques /
由: Seyam, Mohammed A. B.
出版: (2016)

Development of constructive feedback environment in Novices' Summarizing Strategies Identification Tool (NoSSIT) /
由: Chew, Chiou Sheng
出版: (2012)

Application of genetic algorithms to a timetable scheduling /
由: Wei, Wen Shyang
出版: (1999)

A distributed fuzzy logic controller for a prosthetic hand /
由: Mohd Yazed Ahmad
出版: (2006)

Unsupervised monocular depth estimation with multi-scale structural similarity powered loss function /
由: Kohan, Ali
出版: (2020)

Constructivist Game-Based Robotic Simulator in Engineering Education /
由: Lee, Jer Vui

Synthesising incremental parsing and incremental type inferencing /
由: Lu, Wei-Guo
出版: (1997)

Reka bentuk dan implementasi suatu penghurai Bahasa Melayu menggunakan sistem logik selari
由: Ramli, Suzaimah
出版: (2002)

Zakat allocation system using fuzzy logic / Siti Farah Nasehah Mukhlis
由: Siti Farah Nasehah, Mukhlis
出版: (2012)

Diet recommendation for children with Failure to Thrive (FTT) using fuzzy expert system / Nurul Syakirah Suliman
由: Suliman, Nurul Syakirah
出版: (2017)

Symbolic computation and object-oriented programming /
由: Tan, Kiat Shi
出版: (1997)

Fuzzy-based framework for the selection of image processing software for diagnosis and outcome prediction of cardiac diseases /
由: Tanisha Thasaratharajah
出版: (2017)

A collocated multi-mobile collaborative system with hover connectivity initiation and seamless multi-touch interactivity
由: Teo, Rhun Ming
出版: (2018)

Image coefficient prediction using linear programming method /
由: Tan, Kuan Yew
出版: (2018)

Processing time estimation in precision machining industry using AI /
由: Lim, Say Li
出版: (2017)

Program query language PQL system /
由: Wang, Guo Sheng
出版: (1996)

Optimal directional overcurrent relays coordination based on combination of metaheuristic and linear programming techniques /
由: Suzana Pil Ramli
出版: (2022)

A query processor for OODB /
由: Pang, Hwee Hwa

Penggunaan teknologi maklumat di kalangan guru di tiga buah sekolah menengah di Negeri Sembilan /
由: Baharudin Aziz
出版: (1998)

Problem analysis tool for novice programmers /
由: Azinah Mohd Zain
出版: (2005)

Generic web-based survey system generator /
由: Tan, Chin Teng
出版: (2007)

Services hosted by the Perpustakaan Sultan Abdul Samad, Universiti Putra Malaysia with Cooperation MySyL Group