3 citations · 4 across the 5 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2021★ 3 cited
PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics
David Tuckey, Alessandra Russo, Krysia Broda
The Credal semantics is a probabilistic extension of the answer set semantics which can be applied to programs that may or may not be stratified. It assigns to atoms a set of accep…
cs.LO2019★ 1 cited
Towards Intuitive Reasoning in Axiomatic Geometry
Maximilian Doré, Krysia Broda
Proving lemmas in synthetic geometry is often a time-consuming endeavour since many intermediate lemmas need to be proven before interesting results can be obtained. Improvements i…
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…