35 search results - page 1 / 7 » Non-deterministic Computations in ELAN |
JAIR
2011
12 years 11 months ago
2011
Markovian processes have long been used to model stochastic environments. Reinforcement learning has emerged as a framework to solve sequential planning and decision-making proble...
WADT
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
ENTCS
2002
13 years 4 months ago
2002
Non-deterministic computations greatly enhance the expressive power of functional logic programs, but are often computationally expensive. We analyze a programming technique that ...
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
DAC
1996
ACM
13 years 9 months ago
1996
ACM