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