141 citations · 303 across the 30 of their papers we have counts for
5 papers · 1 filter
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…
Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000
Chitta Baral, Miroslaw Truszczynski
The papers gathered in this collection were presented at the 8th International Workshop on Nonmonotonic Reasoning, NMR2000. The series was started by John McCarthy in 1978. The fir…
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…
Computing large and small stable models
Miroslaw Truszczynski
In this paper, we focus on the problem of existence and computing of small and large stable models. We show that for every fixed integer k, there is a linear-time algorithm to deci…