Sibylle Schwarz - Forschung

Gewichtete Automaten und mehrwertige Logik

• S.Schwarz: Lukasiewicz Logics and Weighted Logics over MV-Semirings.
  Journal of Automata, Languages and Combinatorics, Vol. 12 (2007) Number 4
  (Sildes WATA 2006: pdf, ps),

• S.Schwarz: Lukasiewicz Logics and Weighted Logics over MV-Semirings. CDMTCS-report 278, 2006 (pdf)

• S.Schwarz: Gewichtete und andere mehrwertige Logiken (ps), 16. Theorietag Wien , 2006

Dresden-Leipziger Arbeitsgruppe "Gewichtete Automaten"

Automaten auf Bildern

• Renate Winter und S.Schwarz: Recognizability of Iterative Picture Languages (black and white pictures) (ps,pdf), 17. Theorietag Leipzig , 2007
• Renate Winter und S.Schwarz: Recognizability of Iterative Picture Languages (multicolor) (Presentation pdf), WATA 2008, Dresden

Erweiterte logische Programmierung

22nd Workshop on (Constraint) Logic Programming (WLP 2008)

Mitglied im Programmkommitee des 21st Workshop on (Constraint) Logic Programming (WLP 2007)

• S.Schwarz: Poster ( pdf) über
  Semantik verallgemeinerter logischer Programme mit Constraints

• S.Schwarz: Stable Generated Models of Generalized Constraint Logic Programs.
  Proc. International Workshop on Functional and (Constraint) Logic Programming (WFLP'2001), Kiel 2001.

• S.Schwarz: Poster ( ps, pdf) über
  Partial Stable Generated Models of Generalized Constraint Logic Programs.
  Seventh International Conference on Principles and Practice of Constraint Programming (CP'2001), Paphos 2001

• S.Schwarz: Answer Sets Generated by Selector Functions
  Proc. 9th International Workshop on Non-Monotonic Reasoning (NMR'2002), Toulouse 2002

• S.Schwarz: Bottom-up Computation of Selector-generated Models (ps)
  Nonmonotonic Reasoning, Answer Set Programming and Constraints (Dagstuhl-Seminar 02381)

• S.Schwarz: Selector-Generated Models of Generalized Logic Programs (Folien)
  17. WLP - Workshop Logische Programmierung, Dresden 2002

• S.Schwarz: Selektor-erzeugte Modelle verallgemeinerter logischer Programme (ps.gz)
  Dissertation, Leipzig 2004

• Pascal Hitzler und S.Schwarz: Level mapping characterizations of selector-generated models for logic programs. (ps, pdf)
  19th W(C)LP - Workshop on (Constraint) Logic Programming, Ulm 2005