6 search results - page 2 / 2 » Sum and Product in Dynamic Epistemic Logic |
CORR
2010
Springer
13 years 5 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...