3 citations · 4 across the 5 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.AI2018
Inductive Learning of Answer Set Programs from Noisy Examples
Mark Law, Alessandra Russo, Krysia Broda
In recent years, non-monotonic Inductive Logic Programming has received growing interest. Specifically, several new learning frameworks and algorithms have been introduced for lear…
cs.LO2018
The Elfe System - Verifying mathematical proofs of undergraduate students
Maximilian Doré, Krysia Broda
Elfe is an interactive system for teaching basic proof methods in discrete mathematics. The user inputs a mathematical text written in fair English which is converted to a special…