6 search results - page 2 / 2 » Sum and Product in Dynamic Epistemic Logic |
96
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...