37
Voted
AI
2015
Springer
9 years 11 months ago
2015
Springer
41
Voted
AI
2015
Springer
9 years 11 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...
38
Voted
AI
2015
Springer
9 years 11 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...
37
Voted
AI
2015
Springer
9 years 11 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...
42
Voted
AI
2015
Springer
9 years 11 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...
31
Voted
AI
2015
Springer
9 years 11 months ago
2015
Springer
50
Voted
AI
2015
Springer
9 years 11 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...
39
Voted
AI
2015
Springer
9 years 11 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 ...
42
Voted
AI
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. Automatic speech recognition systems rely on feature extraction techniques to improve their performance. Static features obtained from each frame are usually enhanced wit...
43
Voted
AI
2015
Springer
9 years 11 months ago
2015
Springer
