Parallel answer set solving algorithm based on multi-core processor technology

Answer Set Programming (ASP) is widely used in many areas of Artificial Intelligence. A parallel answer set solving algorithm based on multi-core processor technology is proposed in this paper. The parallel algorithm is designed on the shared-memory parallel computing model which is the abstract mod... View More