32 citations · 122 across the 26 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.AI2013★ 5 cited
Algebraic Properties of Qualitative Spatio-Temporal Calculi
Frank Dylla, Till Mossakowski, Thomas Schneider +1
Qualitative spatial and temporal reasoning is based on so-called qualitative calculi. Algebraic properties of these calculi have several implications on reasoning algorithms. But w…
cs.LO2013★ 2 cited
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
Christoph Lange, Marco B. Caminati, Manfred Kerber +4
Novel auction schemes are constantly being designed. Their design has significant consequences for the allocation of goods and the revenues generated. But how to tell whether a new…