Sibylle Schwarz

14 papers A 1B 1C 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2020 J jnl
Check Your (Students') Proofs-With Holes.
CoRR
Dennis Renz, Sibylle Schwarz, Johannes Waldmann
2019 C conf
Exact Satisfiabitity with Jokers.
TAMC
Gordon Hoi, Sanjay Jain, Sibylle Schwarz, Frank Stephan
2019 — conf
ev3dev-prolog - Prolog API for LEGO EV3.
GI-Jahrestagung (Workshops)
Sibylle Schwarz, Mario Wenzel
2018 B conf
The Weak Completion Semantics and Equality.
LPAR
Emmanuelle-Anna Dietz, Steffen Hölldobler, Sibylle Schwarz, L. Yohanes Stefanus
2017 — ed.
Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, WLP 2015 / WLP 2016 / WFLP 2016, Dresden and Leipzig, Germany, 22nd September 2015 and 12-14th September 2016.
WLP / WFLP
Sibylle Schwarz, Janis Voigtländer
2017 J jnl
Shift-invariant topologies for the Cantor space X
Theor. Comput. Sci.
Stefan Hoffmann, Sibylle Schwarz, Ludwig Staiger
2010 — conf
Topologies Refining the Cantor Topology on
IFIP TCS
Sibylle Schwarz, Ludwig Staiger
2009 J jnl
WLP 2008.
Künstliche Intell.
Sibylle Schwarz
2007 J jnl
Lukasiewicz Logic and Weighted Logics over MV-Semirings.
J. Autom. Lang. Comb.
Sibylle Schwarz
2005 — conf
Level Mapping Characterizations of Selector Generated Models for Logic Programs.
W(C)LP
Pascal Hitzler, Sibylle Schwarz
2005 J jnl
Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models
CoRR
Pascal Hitzler, Sibylle Schwarz
2004 — —
Selektor-erzeugte Modelle verallgemeinerter logischer Programme.
Sibylle Schwarz
2002 — conf
Answer sets generated by selector functions.
NMR
Sibylle Schwarz
2001 A conf
Partial Stable Generated Models of Generalized Logic Programs with Constraints.
CP
Sibylle Schwarz