8232 search results - page 464 / 1647 » Dynamic Logic Programming |
231
click to vote
SCCC
2005
IEEE
16 years 1 months ago
2005
IEEE
Databases may not satisfy integrity constraints (ICs) for several reasons. Nevertheless, in most of the cases an important part of the data is still consistent wrt certain desired...
238
click to vote
NMR
2004
Springer
16 years 29 days ago
2004
Springer
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...
205
click to vote
EMSOFT
2008
Springer
15 years 9 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
191
click to vote
AAAI
2004
15 years 9 months ago
2004
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boo...
166
click to vote
IWPC
2005
IEEE
16 years 1 months ago
2005
IEEE
Dynamic software visualization is designed to provide programmers with insights as to what the program is doing. Most current visualizations either use program traces to show info...