3 citations · 4 across the 3 of their papers we have counts for
3 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.PL2016★ 3 cited
Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming
Sibylle Schwarz, Janis Voigtländer
The Workshops on (Constraint) Logic Programming (WLP) are the annual meeting of the German Society of Logic Programming (Gesellschaft für Logische Programmierung e.V., GLP) and bri…
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…