1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.PL2020★ 1 cited
Check Your (Students') Proofs-With Holes
Dennis Renz, Sibylle Schwarz, Johannes Waldmann
Cyp (Check Your Proofs) (Durner and Noschinski 2013; Traytel 2019) verifies proofs about Haskell-like programs. We extended Cyp with a pattern matcher for programs and proof terms,…
cs.AI2005
Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models
Pascal Hitzler, Sibylle Schwarz
Currently, the variety of expressive extensions and different semantics created for logic programs with negation is diverse and heterogeneous, and there is a lack of comprehensive…