Sciweavers

AI
2004
Springer
13 years 4 months ago
On the computational complexity of qualitative coalitional games
We study coalitional games in which agents are each assumed to have a goal to be achieved, and where the characteristic property of a coalition is a set of choices, with each choi...
Michael Wooldridge, Paul E. Dunne
AI
2004
Springer
13 years 4 months ago
The limitation of Bayesianism
In the current discussion about the capacity of Bayesianism in reasoning under uncertainty, there is a conceptual and notational confusion between the explicit condition and the i...
Pei Wang
AI
2004
Springer
13 years 4 months ago
An attempt to formalise a non-trivial benchmark problem in common sense reasoning
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to f...
Murray Shanahan
AI
2004
Springer
13 years 4 months ago
Comparing formal theories of context in AI
Luciano Serafini, Paolo Bouquet
AI
2004
Springer
13 years 4 months ago
Brain-actuated interaction
Over the last years evidence has accumulated that shows the possibility to analyze human brain activity on-line and translate brain states into actions such as selecting a letter ...
José del R. Millán, Fréd&eacu...
AI
2004
Springer
13 years 4 months ago
A selective sampling approach to active feature selection
Feature selection, as a preprocessing step to machine learning, has been very effective in reducing dimensionality, removing irrelevant data, increasing learning accuracy, and imp...
Huan Liu, Hiroshi Motoda, Lei Yu
AI
2004
Springer
13 years 4 months ago
ASSAT: computing answer sets of a logic program by SAT solvers
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
Fangzhen Lin, Yuting Zhao
AI
2004
Springer
13 years 4 months ago
Incremental learning with partial instance memory
Marcus A. Maloof, Ryszard S. Michalski
AI
2004
Springer
13 years 4 months ago
Solving weighted CSP by maintaining arc consistency
Javier Larrosa, Thomas Schiex