AI
2015
Springer
9 years 9 months ago
2015
Springer
AI
2015
Springer
9 years 9 months ago
2015
Springer
AI
2015
Springer
9 years 9 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
9 years 9 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
9 years 9 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
9 years 9 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, ...
AI
2015
Springer
9 years 9 months ago
2015
Springer
AI
2015
Springer
9 years 9 months ago
2015
Springer
We present a powerful new account of multi-agent knowledge in the situation calculus and an automated reasoning procedure for knowledge queries. Existing accounts of epistemic rea...
AI
2015
Springer
9 years 9 months ago
2015
Springer
Symmetry breaking has been a hot topic of research in the past years, leading to many theoretical developments as well as strong scaling strategies for dealing with hard applicati...
AI
2015
Springer
9 years 9 months ago
2015
Springer
RCC8 is a popular fragment of the region connection calculus, in which qualitative spatial relations between regions, such as adjacency, overlap and parthood, can be expressed. Wh...