8232 search results - page 114 / 1647 » Dynamic Logic Programming |
173
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...
145
click to vote
QRE
2010
2010
Improving quality of prediction in highly dynamic environments using approximate dynamic programming
15 years 3 months ago
In many applications, decision making under uncertainty often involves two steps- prediction of a certain quality parameter or indicator of the system under study and the subseque...
126
click to vote
AI
2006
Springer
15 years 5 months ago
2006
Springer
We consider how to forget a set of atoms in a logic program. Intuitively, when a set of atoms is forgotten from a logic program, all atoms in the set should be eliminated from thi...
TRANSCI
2002
2002
An Adaptive Dynamic Programming Algorithm for Dynamic Fleet Management, II: Multiperiod Travel Times
15 years 4 months ago
