aspps --- an implementation of answer-set programming with propositional schemata

Details aspps --- an implementation of answer-set programming with propositional schemata aspps --- an implementation of answer-set programming with propositional schemata

2001-07-19

arxiv.org/abs/cs/0107029v1

Computer Science

Artificial Intelligence

4 pages; Proceedings of LPNMR 2001 (Springer Verlag)

Scientific paper

We present an implementation of an answer-set programming paradigm, called
aspps (short for answer-set programming with propositional schemata). The
system aspps is designed to process PS+ theories. It consists of two basic
modules. The first module, psgrnd, grounds an PS+ theory. The second module,
referred to as aspps, is a solver. It computes models of ground PS+ theories.

Affiliated with

Also associated with

No associations

Rating

aspps --- an implementation of answer-set programming with propositional schemata does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with aspps --- an implementation of answer-set programming with propositional schemata, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and aspps --- an implementation of answer-set programming with propositional schemata will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-657551