Partial Stable Generated Models of Generalized Logic Programs with Constraints. - Sibylle Schwarz (CP, 2001)

Answer sets generated by selector functions. - Sibylle Schwarz (NMR, 2002)

Selektor-erzeugte Modelle verallgemeinerter logischer Programme. - Sibylle Schwarz (2004)

Level Mapping Characterizations of Selector Generated Models for Logic Programs. - Pascal Hitzler; Sibylle Schwarz (W(C)LP, 2005)

Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models - Pascal Hitzler; Sibylle Schwarz (CoRR, 2005)

Lukasiewicz Logic and Weighted Logics over MV-Semirings. - Sibylle Schwarz (J. Autom. Lang. Comb., 2007)

WLP 2008. - Sibylle Schwarz (Künstliche Intell., 2009)

Topologies Refining the Cantor Topology on Xomega. - Sibylle Schwarz; Ludwig Staiger (IFIP TCS, 2010)

Shift-invariant topologies for the Cantor space Xω. - Stefan Hoffmann 001; Sibylle Schwarz; Ludwig Staiger (Theor. Comput. Sci., 2017)

The Weak Completion Semantics and Equality. - Emmanuelle-Anna Dietz; Steffen Hölldobler; Sibylle Schwarz; L. Yohanes Stefanus (LPAR, 2018)

ev3dev-prolog - Prolog API for LEGO EV3. - Sibylle Schwarz; Mario Wenzel (GI-Jahrestagung (Workshops), 2019)

Exact Satisfiabitity with Jokers. - Gordon Hoi; Sanjay Jain 001; Sibylle Schwarz; Frank Stephan 001 (TAMC, 2019)

Check Your (Students') Proofs-With Holes. - Dennis Renz; Sibylle Schwarz; Johannes Waldmann (CoRR, 2020)