3457 search results - page 4 / 692 » A Symbol Is Not a Symbol |
KI
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. This paper investigates symbolic heuristic search with BDDs for solving domain-independent action planning problems cost-optimally. By distributimpact of operators that t...
AAAI
1996
13 years 9 months ago
1996
The paper presents an efficient goal oriented algorithm for symbolic propagation in Bayesian networks. The proposed algorithm performs symbolic propagation using numerical methods...
CAV
2005
Springer
14 years 1 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
The paper deals with a alternative tool for symbolic regression
MLQ
2006
13 years 7 months ago
2006
We prove that the sharply bounded arithmetic T0 2 in a language containing the function symbol x