Sibylle Schwarz

Publication Activity (10 Years)

Years Active: 2001-2020
Publications (10 Years): 5

Top Topics

Logic Programming

Equational Theories

Top Venues

GI-Jahrestagung (Workshops)

University of Leipzig (PHD)

Education History

University of Leipzig

PHD

Publications

Dennis Renz, Sibylle Schwarz, Johannes Waldmann
Check Your (Students') Proofs-With Holes. CoRR (2020)
Gordon Hoi, Sanjay Jain, Sibylle Schwarz, Frank Stephan
Exact Satisfiabitity with Jokers. TAMC (2019)
Sibylle Schwarz, Mario Wenzel
ev3dev-prolog - Prolog API for LEGO EV3. GI-Jahrestagung (Workshops) (2019)
Emmanuelle-Anna Dietz, Steffen Hölldobler, Sibylle Schwarz, L. Yohanes Stefanus
The Weak Completion Semantics and Equality. LPAR (2018)
Stefan Hoffmann, Sibylle Schwarz, Ludwig Staiger
. Theor. Comput. Sci. 679 (2017)
Sibylle Schwarz, Ludwig Staiger
. IFIP TCS (2010)
Sibylle Schwarz
WLP 2008. Künstliche Intell. 23 (1) (2009)
Sibylle Schwarz
Lukasiewicz Logic and Weighted Logics over MV-Semirings. J. Autom. Lang. Comb. 12 (4) (2007)
Pascal Hitzler, Sibylle Schwarz
Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models CoRR (2005)
Pascal Hitzler, Sibylle Schwarz
Level Mapping Characterizations of Selector Generated Models for Logic Programs. W(C)LP (2005)
Sibylle Schwarz
Answer sets generated by selector functions. NMR (2002)
Sibylle Schwarz
Partial Stable Generated Models of Generalized Logic Programs with Constraints. CP (2001)