8903 search results - page 16 / 1781 » Alternative |
AI
2000
Springer
14 years 9 months ago
2000
Springer
We introduce an alternative conceptual basis for default reasoning in Reiter's default logic. In fact, most formal or computational treatments of default logic suffer from th...
48
Voted
JUCS
2010
14 years 8 months ago
2010
: Renewable energy is a source of energy derived from natural resources such as sunlight, wind, water, tides, hot dry rocks, magma, hot water springs, fire wood, animal manure, and...
105
click to vote
LICS
2010
IEEE
14 years 8 months ago
2010
IEEE
Alternating timed automata are a powerful extension of classical Alur-Dill timed automata that are closed under all Boolean operations. They have played a key role, among others, ...
SODA
2010
ACM
14 years 8 months ago
2010
ACM
We consider computational aspects of alternating move games, repeated games in which players take actions at alternating time steps rather than playing simultaneously. We show tha...
63
Voted
ICDM
2008
IEEE
15 years 4 months ago
2008
IEEE
1 The aim of data mining is to find novel and actionable insights. However, most algorithms typically just find a single explanation of the data even though alternatives could e...