AI
2015
Springer
8 years 3 months ago
2015
Springer
We present a unifying approach to the efficient evaluation of propositional answer-set programs. Our approach is based on backdoors which are small sets of atoms that represent ...
AI
2015
Springer
8 years 3 months ago
2015
Springer
AI
2015
Springer
8 years 3 months ago
2015
Springer
This paper presents a meta-objective optimization approach, called Bi-Goal Evolution (BiGE), to deal with multi-objective optimization problems with many objectives. In multi-obje...
AI
2015
Springer
8 years 3 months ago
2015
Springer
AI
2015
Springer
8 years 3 months ago
2015
Springer
AI
2015
Springer
8 years 3 months ago
2015
Springer
AI
2015
Springer
8 years 3 months ago
2015
Springer
Argumentation Thomas Linsbichler DKB 2013 September 17, 2013 Joint work with Paul E. Dunne, Wolfgang Dvoˇrák, and Stefan Woltran
AI
2015
Springer
8 years 3 months ago
2015
Springer
Nick Bostrom, in his new book SuperIntelligence, argues that the the creation of an artificial intelligence with human-level intelligence will be followed fairly soon by the exis...
AI
2015
Springer
8 years 3 months ago
2015
Springer
We consider the discrete assignment problem in which agents express ordinal preferences over objects and these objects are allocated to the agents in a fair manner. We use the sto...
AI
2015
Springer
8 years 3 months ago
2015
Springer
We consider the problem of translating first-order answer set programs with aggregates into first-order sentences with the same type of aggregates. In particular, we show that, ...