AI
2015
Springer
9 years 12 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 12 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 12 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 12 months ago
2015
Springer
AI
2015
Springer
9 years 12 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...