Semantics of (disjunctive) logic programs based on partial evaluation S Brass, J Dix The Journal of Logic Programming 40 (1), 1-46, 1999 | 116 | 1999 |
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 | 113* | 2001 |
Semantic errors in SQL queries: A quite complete list S Brass, C Goldberg Journal of Systems and Software 79 (5), 630-644, 2006 | 109 | 2006 |
Characterizations of the disjunctive stable semantics by partial evaluation S Brass, J Dix The Journal of Logic Programming 32 (3), 207-228, 1997 | 106 | 1997 |
Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. S Brass, J Dix ICLP, 199-213, 1995 | 105 | 1995 |
Characterizations of the disjunctive well-founded semantics: confluent calculi and iterated GCWA S Brass, J Dix Journal of automated reasoning 20, 143-165, 1998 | 88 | 1998 |
A general approach to bottom-up computation of disjunctive semantics S Brass, J Dix Lecture Notes in Computer Science, 127-127, 1995 | 74 | 1995 |
Characterizations of the stable semantics by partial evaluation S Brass, J Dix Logic Programming and Nonmonotonic Reasoning: Third International Conference …, 1995 | 71 | 1995 |
Semantice of Inheritance in Logical Object Specifications. S Brass, UW Lipeck DOOD, 411-430, 1991 | 58 | 1991 |
A disjunctive semantics based on unfolding and bottom-up evaluation S Brass, J Dix Innovationen bei Rechen-und Kommunikationssystemen: Eine Herausforderung für …, 1994 | 57 | 1994 |
Specifying closed world assumptions for logic databases S Brass, UW Lipeck MFDBS 89: 2nd Symposium on Mathematical Fundamentals of Database Systems …, 1989 | 36 | 1989 |
Characterizing D-WFS: confluence and iterated GCWA S Brass, J Dix JELIA 96, 268-283, 1996 | 35 | 1996 |
Super logic programs S Brass, J Dix, TC Przymusinski arXiv preprint cs/0010032, 2000 | 34 | 2000 |
Generalized bottom-up query evaluation S Brass, UW Lipeck Advances in Database Technology—EDBT'92: 3rd International Conference on …, 1992 | 34 | 1992 |
Deduction with supernormal defaults S Brass Nonmonotonic and Inductive Logic: Second International Workshop …, 1993 | 33 | 1993 |
On the semantics of supernormal defaults S Brass IJCAI 93, 578-583, 1993 | 32 | 1993 |
Improving the alternating fixpoint: The transformation approach U Zukowski, S Brass, B Freitag Logic Programming And Nonmonotonic Reasoning: 4th International Conference …, 1997 | 31 | 1997 |
Semantics of disjunctive logic programs based on partial evaluation S Brass, J Dix Journal of Logic programming, 199-213, 1998 | 29 | 1998 |
Bottom-up query evaluation with partially ordered defaults S Brass, UW Lipeck DOOD, 253-266, 1993 | 29 | 1993 |
Proving the safety of SQL queries S Brass, C Goldberg Fifth International Conference on Quality Software (QSIC'05), 197-204, 2005 | 28 | 2005 |