1451 search results - page 38 / 291 » Order independence and rationalizability |
124
Voted
CSL
2001
Springer
15 years 5 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 ï...
109
Voted
AAAI
2008
15 years 3 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...
105
Voted
ASE
2004
15 years 29 days 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 ...
97
Voted
JORS
2010
14 years 8 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...
106
Voted
TWC
2008
15 years 29 days 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...