The aspps system

Deborah East, Mirosław Truszczyński

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations


The aspps system is an answer-set programming system based on the extended logic of propositional schemata [2], which allows variables but not function symbols in the language. We denote this logic PS+. A theory in the logic PS+ is a pair (D,P), where D is a set of ground atoms (only constant symbols as arguments) representing an instance of a problem (input data), and P is a set of PS+-clauses representing a program (an abstraction of a problem). The meaning of a PS+-theory T = (D,P) is given by a family of PS+-models [2].

Original languageEnglish
Title of host publicationLogics in Artificial Intelligence - 8th European Conference, JELIA 2002, Proceedings
EditorsSergio Flesca, Sergio Greco, Giovambattista Ianni, Nicola Leone
Number of pages4
StatePublished - 2002
Event8th European Conference on Logics in Artificial Intelligence, JELIA 2002 - Cosenza, Italy
Duration: Sep 23 2002Sep 26 2002

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2424 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference8th European Conference on Logics in Artificial Intelligence, JELIA 2002

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science (all)


Dive into the research topics of 'The aspps system'. Together they form a unique fingerprint.

Cite this