Sibylle Schwarz

According to our database, Sibylle Schwarz authored at least 13 papers between 2001 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Check Your (Students') Proofs-With Holes.

Dennis Renz, Sibylle Schwarz, Johannes Waldmann

CoRR, 2020

2019

Exact Satisfiabitity with Jokers.

Gordon Hoi, Sanjay Jain, Sibylle Schwarz, Frank Stephan

Proceedings of the Theory and Applications of Models of Computation, 2019

ev3dev-prolog - Prolog API for LEGO EV3.

Sibylle Schwarz, Mario Wenzel

Proceedings of the 49. Jahrestagung der Gesellschaft für Informatik, 50 Jahre Gesellschaft für Informatik - Informatik für Gesellschaft, INFORMATIK 2019, 2019

2018

The Weak Completion Semantics and Equality.

Emmanuelle-Anna Dietz, Steffen Hölldobler, Sibylle Schwarz, L. Yohanes Stefanus

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2017

Shift-invariant topologies for the Cantor space X^ω.

Stefan Hoffmann, Sibylle Schwarz, Ludwig Staiger

Theor. Comput. Sci., 2017

2010

Topologies Refining the Cantor Topology on <i>X</i>^<i>omega</i>.

Sibylle Schwarz, Ludwig Staiger

Proceedings of the Theoretical Computer Science, 2010

2009

WLP 2008.

Sibylle Schwarz

Künstliche Intell., 2009

2007

Lukasiewicz Logic and Weighted Logics over MV-Semirings.

Sibylle Schwarz

J. Autom. Lang. Comb., 2007

2005

Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models

Pascal Hitzler, Sibylle Schwarz

CoRR, 2005

Level Mapping Characterizations of Selector Generated Models for Logic Programs.

Pascal Hitzler, Sibylle Schwarz

Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

2004

Selektor-erzeugte Modelle verallgemeinerter logischer Programme.

Sibylle Schwarz

PhD thesis, 2004

2002

Answer sets generated by selector functions.

Sibylle Schwarz

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

2001

Partial Stable Generated Models of Generalized Logic Programs with Constraints.

Sibylle Schwarz

Proceedings of the Principles and Practice of Constraint Programming, 2001