5 citations · 8 across the 6 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2023
PapagAI:Automated Feedback for Reflective Essays
Veronika Solopova, Adrian Gruszczynski, Eiad Rostom +9
Written reflective practice is a regular exercise pre-service teachers perform during their higher education. Usually, their lecturers are expected to provide individual feedback,…
cs.AI2018
The Higher-Order Prover Leo-III (Extended Version)
Alexander Steen, Christoph Benzmüller
The automated theorem prover Leo-III for classical higher-order logic with Henkin semantics and choice is presented. Leo-III is based on extensional higher-order paramodulation and…