3446 search results - page 262 / 690 » A Reasoning Algorithm for pD* |
166
click to vote
CADE
2009
Springer
16 years 6 months ago
2009
Springer
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
147
click to vote
PADL
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
147
Voted
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
The success of evolutionary algorithms (EAs) depends crucially on ļ¬nding suitable parameter settings. Doing this by hand is a very time consuming job without the guarantee to ļ¬...
140
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
We study the classic problem of estimating the sum of n variables. The traditional uniform sampling approach requires a linear number of samples to provide any non-trivial guarante...
135
click to vote
LFCS
2007
Springer
15 years 11 months ago
2007
Springer
LP can be seen as a logic of knowledge with justiļ¬cations. Artemovās Realization Theorem says justiļ¬cations can be extracted from validities in the more conventional Hintikk...