Stefan Brass

Stefan Brass: Order in Datalog with Applications to Declarative Output. Datalog 2012: 56-67

Stefan Brass: Declarative Output by Ordering Text Pieces. ICLP (Technical Communications) 2011: 151-161

Stefan Brass: Implementation Alternatives for Bottom-Up Evaluation. ICLP (Technical Communications) 2010: 44-53

Stefan Brass, Christian Goldberg: Semantic errors in SQL queries: A quite complete list. Journal of Systems and Software 79(5): 630-644 (2006)

Stefan Brass, Alexander Hinneburg (Eds.): Tagungsband zum 18. GI-Workshop über Grundlagen von Datenbanken (18th GI-Workshop on the Foundations of Databases), Wittenberg, Sachsen-Anhalt, 6.-9. Juni 2006. Institute of Computer Science, Martin-Luther-University 2006

Stefan Brass, Christian Goldberg: Proving the Safety of SQL Queries. QSIC 2005: 197-204

Stefan Brass, Christian Goldberg (Eds.): Tagungsband zum 17. GI-Workshop über Grundlagen von Datenbanken (17th GI-Workshop on the Foundations of Databases), Wörlitz, Sachsen-Anhalt, 17.-20. Mai 2005. Institute of Computer Science, Martin-Luther-University 2005

Stefan Brass, Jürgen Dix, Teodor C. Przymusinski: Super logic programs. ACM Trans. Comput. Log. 5(1): 129-176 (2004)

Stefan Brass, Christian Goldberg: Detecting Logical Errors in SQL Queries. Grundlagen von Datenbanken 2004: 28-32

Christian Goldberg, Stefan Brass: Semantic Errors in SQL Queries: A Quite Complete List. Grundlagen von Datenbanken 2004: 58-62

Stefan Brass, Christian Goldberg: Semantic Errors in SQL Queries: A Quite Complete List. QSIC 2004: 250-257

Stefan Brass: Eine auf Datalog basierende XML-Anfragesprache. Grundlagen von Datenbanken 2003: 5-9

Stefan Brass: Semantic Errors in SQL. Grundlagen von Datenbanken 2002

Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski: On the equivalence of the static and disjunctive well-founded semantics and its computation. Theor. Comput. Sci. 258(1-2): 523-553 (2001)

Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski: Transformation-based bottom-up computation of the well-founded model. TPLP 1(5): 497-538 (2001)

Stefan Brass: SLDMagic - The Real Magic (With Applications to Web Queries). Computational Logic 2000: 1063-1077

Stefan Brass, Jürgen Dix, Teodor C. Przymusinski: Super Logic Programs. CoRR cs.AI/0010032 (2000)

Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski: Transformation-Based Bottom-Up Computation of the Well-Founded Model. CoRR cs.LO/0011013 (2000)

Stefan Brass, Jürgen Dix, Teodor C. Przymusinski: Computation of the Semantics of Autoepistemic Belief Theories. Artif. Intell. 112(1-2): 233-250 (1999)

Stefan Brass, Jürgen Dix: Semantics of (disjunctive) Logic Programs Based on Partial Evaluation. J. Log. Program. 40(1): 1-46 (1999)

Stefan Brass, Jürgen Dix: Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA. J. Autom. Reasoning 20(1): 143-165 (1998)

Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski: A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation. KR 1998: 74-85

Stefan Brass, Jürgen Dix: Characterizations of the Disjunctive Stable Semantics by Partial Evaluation. J. Log. Program. 32(3): 207-228 (1997)

Stefan Brass: Querying Semistructured Data and the WWW. Grundlagen von Datenbanken 1997: 1-5

Ulrich Zukowski, Burkhard Freitag, Stefan Brass: Differential Bottom-Up Computation of the Well-Founded Semantics. ICLP 1997: 421

Ulrich Zukowski, Burkhard Freitag, Stefan Brass: Improving the Alternating Fixpoint: The Transformation Approach. LPNMR 1997: 4-59

Stefan Brass: SLDMagic - An Improved Magic Set Technique. ADBIS 1996: 75-83

Stefan Brass: SDLMagic - An Improved Magic Set Technique. Grundlagen von Datenbanken 1996: 1-5

Stefan Brass, Jürgen Dix: Characterizing D-WFS: Confluence and Iterated GCWA. JELIA 1996: 268-283

Stefan Brass, Jürgen Dix, Teodor C. Przymusinski: Super Logic Programs. KR 1996: 529-540

Stefan Brass, Ulrich Zukowski, Burkhard Freitag: Transformation-Based Bottom-Up Computation of the Well-Founded Model. NMELP 1996: 171-201

Stefan Brass: Magic Sets vs. SLD-Resolution. ADBIS 1995: 185-203

Stefan Brass: Ein Informationssystem zur Förderung der Kommunikation im Arbeitskreis. Grundlagen von Datenbanken 1995: 30-33

Stefan Brass, Jürgen Dix: Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. ICLP 1995: 199-213

Stefan Brass, Jürgen Dix: Characterizations of the Stable Semantics by Partial Evaluation. LPNMR 1995: 85-98

Stefan Brass: Modular Specifications with Supernormal Defaults. Ann. Math. Artif. Intell. 12(3-4): 189-213 (1994)

Stefan Brass: Improved Bottom-Up Query Evaluation in Positive Disjunctive Databases. GI Jahrestagung 1994: 75-82

Stefan Brass, Jürgen Dix: A Disjunctive Semantics Bases on Unfolding and Bottom-Up Evaluation. GI Jahrestagung 1994: 83-91

Stefan Brass, Jürgen Dix: Computing Disjunctive Stable Semantics Based on Clark's Completed Database. Grundlagen von Datenbanken 1994: 30-34

Udo W. Lipeck, Stefan Brass: Object-Oriented System Specification Using Defaults. IS/KI 1994: 22-43

Stefan Brass, Jürgen Dix: A general Approach to Bottom-Up Computation of Disjunctive Semantics. NMELP 1994: 127-155

Stefan Brass, Jürgen Dix: A Characterization of the Stable Semantics by Partial Evaluation. WLP 1994: 81-84

Stefan Brass, Udo W. Lipeck: Bottom-Up Query Evaluation with Partially Ordered Defaults. DOOD 1993: 253-266

Stefan Brass: On the Semantics of Supernormal Defaults. IJCAI 1993: 578-583

Stefan Brass: Defaults in deduktiven Datenbanken. Universität Hannover 1992, pp. I-VI, 1-197

Stefan Brass: Defaults in deduktiven Datenbanken (Zusammenfassung). Datenbank Rundbrief 10: 50 (1992)

Stefan Brass, Udo W. Lipeck: Generalized Bottom-Up Query Evaluation. EDBT 1992: 88-103

Stefan Brass, Udo W. Lipeck: Semantice of Inheritance in Logical Object Specifications. DOOD 1991: 411-430

Stefan Brass, Udo W. Lipeck: Zur Semantik von Vererbung in logischen Objektspezifikationen. Grundlagen von Datenbanken 1991: 11-15

Stefan Brass: Deduction with Supernormal Defaults. Nonmonotonic and Inductive Logic 1991: 153-174

Stefan Brass: Allgemeine Vervollständigung beim Entwurf von Logik-Datenbanken. Grundlagen von Datenbanken 1990: 12-13

Stefan Brass: Beginnings of a Theory of General Database Completions. ICDT 1990: 349-363

Stefan Brass: Spezifikation von Annahmen der geschlossenen Welt (CWAs). Grundlagen von Datenbanken 1989

Stefan Brass, Udo W. Lipeck: Specifying Closed World Assumptions for Logic Databases. MFDBS 1989: 68-84