2 citations · 2 across the 1 of their papers we have counts for
5 papers · 1 filter
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…
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…
DATALOG with constraints - an answer-set programming system
Deborah East, Miroslaw Truszczynski
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional l…
dcs: An Implementation of DATALOG with Constraints
Deborah East, Miroslaw Truszczynski
Answer-set programming (ASP) has emerged recently as a viable programming paradigm. We describe here an ASP system, DATALOG with constraints or DC, based on non-monotonic logic. In…
On the accuracy and running time of GSAT
Deborah East, Miroslaw Truszczynski
Randomized algorithms for deciding satisfiability were shown to be effective in solving problems with thousands of variables. However, these algorithms are not complete. That is, t…