Stefan Brass
Title
Cited by
Cited by
Year
A disjunctive semantics based on unfolding and bottom-up evaluation
S Brass, J Dix
Innovationen bei rechen-und kommunikationssystemen, 83-91, 1994
1271994
Transformation-based bottom-up computation of the well-founded model
S Brass, J Dix, B Freitag, U Zukowski
Theory and Practice of Logic Programming 1 (5), 497-538, 2001
106*2001
Semantics of (disjunctive) logic programs based on partial evaluation
S Brass, J Dix
The Journal of Logic Programming 40 (1), 1-46, 1999
1031999
Characterizations of the disjunctive stable semantics by partial evaluation
S Brass, J Dix
The Journal of Logic Programming 32 (3), 207-228, 1997
971997
Characterizations of the disjunctive well-founded semantics: confluent calculi and iterated GCWA
S Brass, J Dix
Journal of automated reasoning 20 (1-2), 143-165, 1998
871998
Semantic errors in SQL queries: A quite complete list
S Brass, C Goldberg
Journal of Systems and Software 79 (5), 630-644, 2006
802006
A general approach to bottom-up computation of disjunctive semantics
S Brass, J Dix
International Workshop on Non-monotonic Extensions of Logic Programming, 127-155, 1994
721994
Characterizations of the stable semantics by partial evaluation
S Brass, J Dix
International Conference on Logic Programming and Nonmonotonic Reasoning, 85-98, 1995
671995
Semantics of inheritance in logical object specifications
S Brass, UW Lipeck
International Conference on Deductive and Object-Oriented Databases, 411-430, 1991
561991
Characterizing D-WFS: confluence and iterated GCWA
S Brass, J Dix
European Workshop on Logics in Artificial Intelligence, 268-283, 1996
351996
On the semantics of supernormal defaults
S Brass
IJCAI 93, 578-583, 1993
341993
Specifying closed world assumptions for logic databases
S Brass, UW Lipeck
Symposium on Mathematical Fundamentals of Database Systems, 68-84, 1989
341989
Generalized bottom-up query evaluation
S Brass, UW Lipeck
International Conference on Extending Database Technology, 88-103, 1992
321992
Super logic programs
S Brass, J Dix, TC Przymusinski
arXiv preprint cs/0010032, 2000
312000
Improving the alternating fixpoint: The transformation approach
U Zukowski, S Brass, B Freitag
International Conference on Logic Programming and Nonmonotonic Reasoning, 40-59, 1997
301997
Deduction with supernormal defaults
S Brass
International Workshop on Nonmonotonic and Inductive Logic, 153-174, 1991
301991
Semantics of disjunctive logic programs based on partial evaluation
S Brass, J Dix
Journal of Logic programming, 199-213, 1998
281998
Proving the safety of SQL queries
S Brass, C Goldberg
Fifth International Conference on Quality Software (QSIC'05), 197-204, 2005
272005
Bottom-up query evaluation with partially ordered defaults
S Brass, UW Lipeck
International Conference on Deductive and Object-Oriented Databases, 253-266, 1993
271993
Hierarchical defaults in specifications
S Brass, M Ryan, UW Lipeck
Information Systems—Correctness and Reusability, Workshop IS-CORE 91, 179-201, 1991
191991
The system can't perform the operation now. Try again later.
Articles 1–20