2 citations · 2 across the 1 of their papers we have counts for
Showing 2000 · cs.AIShow all
3 papers · 2 filters
cs.AI2000
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…
cs.AI2000
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…
cs.AI2000
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…