999 search results - page 2 / 200 » On the Decidability of Functional Uncertainty |
AAAI
2007
13 years 9 months ago
2007
AI problems such as autonomous robotic exploration, automatic diagnosis and activity recognition have in common the need for choosing among a set of informative but possibly expen...
SLOGICA
2008
13 years 5 months ago
2008
We consider the decision problem for cases of first-order temporal logic with function symbols and without equality. The monadic monodic fragment with flexible functions can be dec...
VSTTE
2012
Springer
12 years 3 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
TOCL
2010
13 years 5 months ago
2010
APVIS
2001
13 years 8 months ago
2001
An overview of previous approaches to the visualisation of uncertainty is presented making the distinction between verity visualisation, where the uncertainty information is an in...