10 citations · 23 across the 11 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.AI2020★ 5 cited
ASP(AC): Answer Set Programming with Algebraic Constraints
Thomas Eiter, Rafael Kiesel
Weighted Logic is a powerful tool for the specification of calculations over semirings that depend on qualitative information. Using a novel combination of Weighted Logic and Here-…
cs.LO2020★ 7 cited
A Mobile Application for Self-Guided Study of Formal Reasoning
David M. Cerna, Rafael P. D. Kiesel, Alexandra Dzhiganskaya
In this work, we introduce AXolotl, a self-study aid designed to guide students through the basics of formal reasoning and term manipulation. Unlike most of the existing study aids…