2 citations · 2 across the 1 of their papers we have counts for
Showing 2001Show all
2 papers · 1 filter
cs.AI2001
aspps --- an implementation of answer-set programming with propositional schemata
Deborah East. Miroslaw Truszczynski
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 pro…
cs.AI2001
Propositional satisfiability in answer-set programming
Deborah East, Miroslaw Truszczynski
We show that propositional logic and its extensions can support answer-set programming in the same way stable logic programming and disjunctive logic programming do. To this end, w…