Sciweavers

1829 search results - page 138 / 366
» aims 2008
Sort
View
ECAI
2008
Springer
15 years 8 months ago
Vivifying Propositional Clausal Formulae
Abstract. In this paper, we present a new way to preprocess Boolean formulae in Conjunctive Normal Form (CNF). In contrast to most of the current pre-processing techniques, our app...
Cédric Piette, Youssef Hamadi, Lakhdar Sais
ECAI
2008
Springer
15 years 8 months ago
Online Rule Learning via Weighted Model Counting
Online multiplicative weight-update learning algorithms, such as Winnow, have proven to behave remarkably for learning simple disjunctions with few relevant attributes. The aim of ...
Frédéric Koriche
ECAI
2008
Springer
15 years 8 months ago
Exploiting locality of interactions using a policy-gradient approach in multiagent learning
In this paper, we propose a policy gradient reinforcement learning algorithm to address transition-independent Dec-POMDPs. This approach aims at implicitly exploiting the locality...
Francisco S. Melo
ECBS
2008
IEEE
126views Hardware» more  ECBS 2008»
15 years 8 months ago
ALI: An Extensible Architecture Description Language for Industrial Applications
While Architecture Description Languages (ADLs) have gained wide acceptance in the research community as a means of describing system designs, the uptake in industry has been slow...
Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatri...
ECTEL
2008
Springer
15 years 8 months ago
Self-Explaining Agents in Virtual Training
Abstract. Virtual training systems are increasingly used for the training of complex, dynamic tasks. To give trainees the opportunity to train autonomously, intelligent agents are ...
Maaike Harbers