AI
2015
Springer
8 years 7 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 7 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
8 years 7 months ago
2015
Springer
AI
2015
Springer
8 years 7 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
8 years 7 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
8 years 7 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...
AI
2015
Springer
8 years 7 months ago
2015
Springer
Recent work introduced Generalized First Order Decision Diagrams (GFODD) as a knowledge representation that is useful in mechanizing decision theoretic planning in relational doma...
AI
2015
Springer
8 years 7 months ago
2015
Springer
AI
2015
Springer
8 years 7 months ago
2015
Springer
g the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory Hannes Strass Computer Science Institute Leipzig University, Germany Johannes Pe...
AI
2015
Springer
8 years 7 months ago
2015
Springer
for solving reasoning problems in abstract argumentation – A survey Günther Charwat a , Wolfgang Dvoˇrák b , Sarah A. Gaggl c , Johannes P. Wallner a , Stefan Woltran a,∗ a ...