7 citations · 7 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021
Quantitative and Stream Extensions of Answer Set Programming
Rafael Kiesel
Answer Set Programming has separately been extended with constraints, to the streaming domain, and with capabilities to reason over the quantities associated with answer sets. We p…
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…