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

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,...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2001-07
Main Author: Deborah East Miroslaw Truszczynski
Format: Article
Language:English
Subjects:
Modules
Programming
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2331-8422