DIS
2010
Springer
14 years 10 months ago
2010
Springer
How to achieve shared meaning is a significant issue when more than one intelligent agent is involved in the same domain. We define the task of concept convergence, by which intell...
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
102
Voted
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
We present an agent-based coordination and planning method for aerial surveillance of multiple urban areas using a group of fixed-wing unmanned aerial vehicles (UAVs). The method ...
56
Voted
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
40
Voted
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
AAAI
2010
14 years 10 months ago
2010
We present and implement a Weighted Partial MaxSAT solver based on successive calls to a SAT solver. We prove the correctness of our algorithm and compare our solver with other We...
99
Voted
AAAI
2010
14 years 10 months ago
2010
We consider in this paper the size of a Decomposable Negation Normal Form (DNNF) that respects a given vtree (known as structured DNNF). This representation of propositional knowl...
111
click to vote
AAAI
2010
14 years 10 months ago
2010
Multi-instance learning, as other machine learning tasks, also suffers from the curse of dimensionality. Although dimensionality reduction methods have been investigated for many ...
112
Voted
AAAI
2010
14 years 10 months ago
2010
We consider the problem of manipulating elections via cloning candidates. In our model, a manipulator can replace each candidate c by one or more clones, i.e., new candidates that...
97
Voted
AAAI
2010
14 years 10 months ago
2010
Different solvers for computationally difficult problems such as satisfiability (SAT) perform best on different instances. Algorithm portfolios exploit this phenomenon by predicti...