7961 search results - page 279 / 1593 » Input-Output Model Programs |
151
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
173
click to vote
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
131
click to vote
LPNMR
1999
Springer
15 years 8 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...
139
click to vote
AAAI
2008
15 years 6 months ago
2008
We formulate loop formulas for logic programs with arbitrary constraint atoms, for the semantics based on conditional satisfaction. This provides a method for answer set computati...
118
click to vote
NIPS
2007
15 years 5 months ago
2007
We combine three threads of research on approximate dynamic programming: sparse random sampling of states, value function and policy approximation using local models, and using lo...