Sibylle Schwarz

Institut für Informatik

Universität Leipzig

I am a member of Graduiertenkolleg Wissensrepräsentation with special interest in representation languages and systems.

My supervisor is Professor Herre.

Working title of my PhD dissertation:
Selector-generated models of generalized logic programs.

Research Interests

• declarative semantics of logic programs
• stable models and answer set programming
• constraint logic programming
• proof theory
• functional logic programming
• set constraints
• higher order matching and unification

Presentations

• 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) on
  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 (Slides)
  17. WLP - Workshop Logische Programmierung, Dresden 2002

Location

phone:

++49-341-97-32107

fax:

++49-341-97-32299

office location:

Uni-Hauptgebäude, Augustusplatz 10-11, Raum 4-18

paper mail:

Institut für Informatik

Fakultät für Mathematik und Informatik

Universität Leipzig

PF 920

D-04009 Leipzig

Germany