Splitting Computation of Answer Set Program and Its Application on E-service

As a primary means for representing and reasoning about knowledge, Answer Set Programming (ASP) has been applying in many areas such as planning, decision making, fault diagnosing and increasingly prevalent e-service. Based on the stable model semantics of logic programming, ASP can be used to solve...

Full description

Bibliographic Details
Main Authors: Bo Yang, Ying Zhang, Mingyi Zhang, Maonian Wu
Format: Article
Language:English
Published: Springer 2011-10-01
Series:International Journal of Computational Intelligence Systems
Subjects:
Online Access:https://www.atlantis-press.com/article/2407.pdf