3671 search results - page 33 / 735 » On Garbage and Program Logic |
AMAI
2008
Springer
14 years 12 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
LPNMR
1999
Springer
15 years 4 months ago
1999
Springer
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
Software evolves to fix bugs and add features. Stopping and restarting programs to apply changes is inconvenient and often costly. Dynamic software updating (DSU) addresses this ...
CADE
2008
Springer
16 years 2 days ago
2008
Springer
CADE
1994
Springer
15 years 3 months ago
1994
Springer
