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

@article{Yang2011SplittingCO, title={Splitting Computation of Answer Set Program and Its Application on E-service}, author={Bohua Yang and Y. Zhang and Mingyi Zhang and Maonian Wu}, journal={Int. J. Comput. Intell. Syst.}, year={2011}, volume={4}, pages={977-990} }

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 various combinatorial search problems by finding the answer sets of logic programs which declaratively describe the problems. It's not an easy task to compute answer sets of a logic program using…

## Tables from this paper

## References

SHOWING 1-10 OF 28 REFERENCES

### A characterization of answer sets for logic programs

- Computer ScienceScience in China Series F: Information Sciences
- 2007

A characterization of answer sets based on sets of generating rules is proposed and a sufficient and necessary condition for the equivalence between answer set semantics and completion semantics has been proven, and a basic theorem is shown on computing answer sets for nested logic programs based on an extended notion of loop formulas.

### Answer Set Programming

- Computer ScienceWiley Encyclopedia of Computer Science and Engineering
- 2008

After a formal definition of ASP, this chapter surveys the main contribution given by the Italian community to the ASP field in the last 25 years.

### A logic programming approach to knowledge-state planning: Semantics and complexity

- Computer ScienceTOCL
- 2004

We propose a new declarative planning language, called K, which is based on principles and methods of logic programming. In this language, transitions between states of knowledge can be described,…

### Algorithms and application in decision-making for the finest splitting of a set of formulae

- Computer ScienceKnowl. Based Syst.
- 2010

### A Splitting Set Theorem for Epistemic Specifications

- Computer ScienceArXiv
- 2000

An extended definition of splitting sets is presented that will be applicable to epistemic specifications and an extension of the splitting set theorem will be presented, which leads to an algorithmic method of computing world views of a subclass of epistemic logic programs.

### Representing Configuration Knowledge With Weight Constraint Rules

- Computer ScienceAnswer Set Programming
- 2001

It is shown that product configuration knowledge can be represented systematically and compactly using a logic program type rule language such that the answers of a configuration task, the configurations, correspond to the models of the rule representation.

### Splitting a CR-Prolog Program

- Computer ScienceLPNMR
- 2009

This paper hopes to provide the technical means to further stimulate the study and use of CR-Prolog, by extending to CR- prolog the Splitting Set Theorem, one of the most useful theoretical results available for A-prolog.

### An A Prolog decision support system for the Space Shuttle

- Computer ScienceAnswer Set Programming
- 2001

A programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be successfully applied to the development of medium size knowledge-intensive applications.

### Splitting a Default Theory

- Computer ScienceAAAI/IAAI, Vol. 1
- 1996

This paper presents mathematical results that can sometimes be used to simplify the task of reasoning about a default theory, by "splitting it into parts." These so-called Splitting Theorems for…

### Complexity and expressive power of logic programming

- Computer ScienceProceedings of Computational Complexity. Twelfth Annual IEEE Conference
- 1997

The main focus is on decidable forms of logic programming, in particular propositional logic programming and datalog, but the also mention general logic programming with function symbols, and the complexity of the unification problem is addressed.