[English Version]

Dr. Stefan Brass
Professor (C4),
Institut für Informatik,
Martin-Luther-Universität
Halle-Wittenberg
Adresse:
- Martin-Luther-Universität Halle-Wittenberg
Fachbereich Mathematik und Informatik
Institut für Informatik
Von-Seckendorff-Platz 1
D-06120 Halle/Saale (für Besuche) bzw.
D-06099 Halle/Saale (für Briefe)
- Büro: Raum 313
(Institut für Informatik, Von-Seckendorff-Platz 1)
Lage des Gebäudes
(Gebäude 38 auf dieser Karte)
- Email: brass@acm.org
- Telefon: 0345/55-24740 (Büro),
0345/2036337 (zu Hause, möglichst nur 8-13, 16-21)
- Sekretariat: Frau Vahrenhold, Telefon 0345/55-24750
- Fax: 0345/55-27333
- Sprechstunden: Dienstags, 12:00-13:00 (und nach Vereinbarung).
Aktuelles:
- Nächste Prüfungstermine für Wirtschaftsinformatiker:
- 24. November 2008 (13:00, 14:00, 15:00)
- Die Reservierung erfolgt bei Frau Vahrenhold,
Zimmer 324, Telefon 55-24750.
- Nächste Prüfungstermine für Informatiker,
Bioinformatiker, Wirtschaftsmathematiker, Physiker, Geographen:
- 20. November 2008 (9:00, 10:00, 11:00, 12:00)
- 11. Dezember 2008 (9:00, 10:00, 11:00, 12:00)
- Die Reservierung erfolgt bei Frau Brandt,
Zimmer 418, Telefon 55-24711.
- Hinweise zu Prüfungen (im Aufbau):
- Folien von "XML und Datenbanken" (Lange Nacht, 06.07.2007):
- Folien von "Suchmaschinen im Internet" (Öffentliche Ringvorlesung,
21.06.2006):
Forschungs-Interessen:
- Datenbanken
- Logische Programmierung, Deduktive Datenbanken, Prolog
- Datenbank-Ausbildung, Semantische Fehler in SQL
- World Wide Web, insbesondere Anfragesprachen
- XML, Semistrukturierte Daten
- Wissensrepräsentation, Nichtmonotones Schließen,
Negation as Failure
Lehrveranstaltungen:
Sommersemester 2008 (Universität Halle):
Wintersemester 2007 (Universität Halle):
Sommersemester 2007 (Universität Halle):
Wintersemester 2006/2007 (Universität Halle):
Sommersemester 2006 (Universität Halle):
Wintersemester 2005/2006 (Universität Halle):
Wintersemester 2004/2005 (Universität Halle):
Sommersemester 2004 (Universität Halle):
Wintersemester 2003/2004 (Universität Halle):
Sommersemester 2003 (Universität Halle):
Wintersemester 2002/2003 (TU Clausthal):
Sommersemester 2002 (Universität Gießen):
Wintersemester 2001/2002 (Universität Gießen):
Sommersemester 2001 (Universität Gießen):
Wintersemester 2000/2001 (Universität Gießen):
Frühere Semester:
Aktuelle Veröffentlichungen (Auswahl):
- S. Brass:
SLDMagic - The Real Magic (with Applications to Web Queries).
In:
First International Conference on Computational Logic
(CL'2000/DOOD'2000),
Springer LNAI, 2000.
[Zusammenfassung]
[Postscript (80K)]
[Software]
- S. Brass, J. Dix, I. Niemelä, T. C. Przymusinski:
On the Equivalence of the Static and Disjunctive Well-Founded
Semantics and its Computation.
Journal of Theoretical Computer Science,
to appear (Vol. 251, 2001).
[Postscript (108K)]
- S. Brass, J. Dix:
Semantics of (Disjunctive) Logic Programs Based on Partial Evaluation.
In:
The Journal of Logic Programming 40:1 (1999),
1-46.
[Postscript (194K)]
- S. Brass, J. Dix, B. Freitag, U. Zukowski:
Transformation-Based Bottom-Up Computation of the Well-Founded Model.
Accepted for Publication in:
Theory and Practice of Logic Programming.
[Postscript (149K)]
- S. Brass, J. Dix, T. C. Przymusinski:
Computation of the Semantics
of Autoepistemic Belief Theories.
Journal of Artificial Intelligence ,
Volumne 112, No. 1-2, 1999.
[Artikel (ps, 118K, 21 Seiten)]
[Technischer Bericht (ps, 263K, 63 Seiten)]
[Software]
-
Weitere Veröffentlichungen
Kurz-Lebenslauf:
-
Vollständiger Lebenslauf:
[Postscript]
[PDF]
- Mehr private Informationen über mich:
- Familienstand:
verheiratet, zwei Kinder.
- Religion:
Ich bin Christ (evangelisch-lutherisch),
und der christliche Glaube ist mir wichtig.
- Hobbies:
Feuerwerk, Musik, Garten, Lesen,
Wandern.
Stefan Brass
(brass@acm.org),
20.03.2003
URL:
http://www.informatik.uni-halle.de/~brass/ind_ger.html
[HTML 3.2 Geprüft]
[Links Geprüft]