ECAI
2008
Springer
13 years 6 months ago
2008
Springer
The problem of expressing and solving satisfiability problems (SAT) with qualitative preferences is central in many areas of Computer Science and Artificial Intelligence. In previo...
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
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...
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
We provide a characterization of Horn cores for formulas in conjunctive normal form (CNF) and, based on it, a novel algorithm for computing Horn cores of disjunctions of Horn CNFs ...
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
123456 The increasing amount of freely available healthrelated web content generates, on one hand, excellent conditions for self-education of patients as well as physicians, but on...
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
At the "functional level", Semantic Web Services (SWS) are described akin to planning operators, with preconditions and effects relative to an ontology; the ontology prov...