[German Version]

Dr. Stefan Brass
Professor (C4),
Institute for Computer Science,
University of Halle
Address:
- University of Halle
Institute for Computer Science
D-06099 Halle (Saale)
GERMANY
- Office: Room 313
(Von-Seckendorff-Platz 1, 06120 Halle)
- Email: brass@acm.org
- Phone: +49-345-55-24740
- Fax: +49-345-55-27333
- Secretary: Ms. Kokert, Phone +49-345-55-24771
- Office Hours: By Appointment.
Interests:
- Databases
- Logic Programming, Deductive Databases
- Knowledge Representation, Nonmonotonic Reasoning, Negation as Failure
- Database Education, Semantic Errors in SQL Queries
- World Wide Web Query Languages and Search Agents
- Semistructured Data
Lectures:
This Term:
Previous Terms:
Recent Papers:
- 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.
[Abstract]
[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.
[Paper (ps, 118K, 21 pages)]
[Technical Report (ps, 263K, 63 pages)]
[Software]
-
More Papers
Biographical Information:
I am German
and speak German, English, and Russian.
- Complete CV
- More Personal Information about me (e.g. Religion)
Stefan Brass
(brass@acm.org),
March 20, 2003
Original URL:
http://www.informatik.uni-halle.de/~brass/
[HTML 3.2 Checked]
[Links Checked]