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...
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 |
Similar Items
-
Smoke Test Planning using Answer Set Programming
by: Tobias Philipp, et al.
Published: (2021-03-01) -
Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs
by: Jorge Fandinno, et al.
Published: (2022-06-01) -
Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach
by: M. Eugenia Cornejo, et al.
Published: (2020-06-01) -
A Compact Answer Set Programming Encoding of Multi-Agent Pathfinding
by: Rodrigo N. Gomez, et al.
Published: (2021-01-01) -
Answer Set Programming for Regular Inference
by: Wojciech Wieczorek, et al.
Published: (2020-10-01)