2196 search results - page 90 / 440 » Practical Reasoning Using Values |
PLILP
1990
Springer
15 years 6 months ago
1990
Springer
Languages with polymorphic types (e.g. ML) have traditionally been implemented using Lisp-like data representations--everything has to fit in one word, if necessary by being heap-...
110
Voted
DLOG
2008
15 years 4 months ago
2008
A fundamental requirement for cooperating agents is to agree on a selection of component values of objects that can be used for reliably communicating references to the objects, to...
164
click to vote
CEFP
2007
Springer
15 years 8 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
131
click to vote
AAAI
1993
15 years 3 months ago
1993
Applications of fuzzy logic in heuristic control have been highly successful, but which aspects of fuzzy logic are essential to its practical usefulness? This paper shows that an ...
137
click to vote
AAAI
2006
15 years 3 months ago
2006
Partially observable Markov decision processes (POMDPs) are an intuitive and general way to model sequential decision making problems under uncertainty. Unfortunately, even approx...