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

Bo Yang Ying Zhang Mingyi Zhang Maonian Wu

Published in: Int. J. Comput. Intell. Syst. (2011)

Keyphrases

answer sets
answer set programs
logic programs
loop formulas
answer set programming
semantics of logic programs
logic programming
answer set semantics
stable model semantics
normal logic programs
web services
stable models
polynomial hierarchy
sat solvers
np hard
information systems
machine learning