1451 search results - page 38 / 291 » Order independence and rationalizability |
185
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ï...
160
click to vote
AAAI
2008
15 years 8 months ago
2008
Unifying first-order logic and probability is a long-standing goal of AI, and in recent years many representations combining aspects of the two have been proposed. However, infere...
166
click to vote
ASE
2004
15 years 6 months ago
2004
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...
154
click to vote
JORS
2010
15 years 1 months ago
2010
This paper considers short-term energy management of a wind power plant with battery storage, in order to smooth the variations of power output to the external grid. An optimal on...
155
click to vote
TWC
2008
15 years 6 months ago
2008
Abstract-- The V-BLAST (vertical Bell Labs layered Space-Time) architecture involves independent coding/decoding per antenna (layer) with equal rate and power per antenna and a fix...