A Parallel Bottom-Up Resolution Algorithm Using Cilk

• Published in: 2013 IEEE 25th International Conference on Tools with Artificial Intelligence pp. 95 - 100
• Main Authors: Basseda, Reza, Chowdhury, Rezaul Alam
• Format: Conference Proceeding Journal Article
• Language: English
• Published: IEEE 01.01.2013
• Subjects: Algorithm design and analysis; Algorithms; Artificial intelligence; Bottom-up Reasoning; Conferences; Construction; Expert systems; Knowledge based systems; Logic programming; Multicore processing; Parallel algorithms; Parallel Logic Programming; Parallel programming; Parallel Resolution Algorithm; Platforms; Program processors; Serials

Rapid developments of multicore processors in the last ten years have accelerated the advancements in concurrency platforms. Performance of bottom-up resolution algorithms used in logic programming and artificial intelligent systems, can potentially be improved using the parallel programming constru...