AI
2015
Springer
8 years 3 months ago
2015
Springer
The framework of temporal problems with uncertainty (TPU) is useful to express temporal constraints over a set of activities subject to uncertain (and uncontrollable) duration. In...
AI
2015
Springer
8 years 3 months ago
2015
Springer
This paper investigates belief revision where the underlying logic is that governing Horn clauses. We show that classical (AGM) belief revision doesn’t immediately generalise to...
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...