Dr. Stefan Brass

Selected Papers

BL89a

S. Brass, U. W. Lipeck: Specifying Closed World Assumptions for Logic Databases. In J. Demetrovics, B. Thalheim (eds.), MFDBS 89 - 2nd Symposium on Mathematical Fundamentals of Database Systems, Lecture Notes in Computer Science 364, Springer-Verlag, Berlin, 1989, 68-84.

• Abstract or Paper (ps.gz, 73K) or Paper (dvi, 33K)

Bra90a

S. Brass: Beginnings of a Theory of General Database Completions. In S. Abiteboul, P. C. Kanellakis (eds.), ICDT'90 - Third International Conference on Database Theory, Lecture Notes in Computer Science 470, Springer-Verlag, Berlin, 1990, 349-363.

• Abstract or Paper (ps.gz, 63K) or Paper (dvi, 28K)

BL91a

S. Brass, U. W. Lipeck: Semantics of Inheritance in Logical Object Specifications. In C. Delobel, M. Kifer, Y. Masunaga (eds.), Deductive and Object-Oriented Databases - Proceedings DOOD'91, Lecture Notes in Computer Science 566, Springer-Verlag, Berlin, 1991, 411-430.

• Abstract or Paper (ps.gz, 74K) or Paper (dvi, 35K)

BL92a

S. Brass, U. W. Lipeck: Generalized Bottom-Up Query Evaluation. In A. Pirotte, C. Delobel, G. Gottlob (eds.), Advances in Database Technology - Proceedings EDBT'92, Lecture Notes in Computer Science 580, Springer-Verlag, Berlin, 1992, 88-103.

• Abstract or Paper (ps.gz, 70K) or Paper (ps, 389K) or Paper (dvi.gz, 29K)

Bra92c

S. Brass: Defaults in deduktiven Datenbanken. Dissertation, FB Mathematik, Universität Hannover, Hannover, 1992.

• Abstract or Paper (ps.gz, 465K) or Paper (dvi, 310K)

BL93a

S. Brass, U. W. Lipeck: Bottom-Up Query Evaluation with Partially Ordered Defaults. In S. Ceri, K. Tanaka, S. Tsur (eds.), Deductive and Object-Oriented Databases - Proceedings DOOD'93, Lecture Notes in Computer Science 760, Springer-Verlag, Berlin, 1993, 253-266.

• Abstract or Paper (ps.gz, 53K) or Paper (dvi, 24K)

Bra93a

S. Brass: On the Semantics of Supernormal Defaults. In R. Bajcsy (ed.), IJCAI-93, 13th International Joint Conference on Artificial Intelligence (Vol.1), Morgan Kaufmann Publishers, 1993, 578-583.

• Abstract or Paper (ps.gz, 48K) or Paper (dvi, 20K)

Bra93d

S. Brass: Deduction with Supernormal Defaults. In G. Brewka, K. Jantke, P. Schmitt (eds.), Nonmonotonic and Inductive Logic - Second International Workshop 1991, LNCS (LNAI) 659, Springer-Verlag, Berlin, 1993, 153-174.

• Abstract or Paper (ps.gz, 81K) or Paper (dvi, 35K)

BD94a

S. Brass, J. Dix: A Disjunctive Semantics Based on Unfolding and Bottom-Up Evaluation. In B. H. Wolfinger (ed.), Innovationen bei Rechen- und Kommunikationssystemen - 24. GI-Jahrestagung im Rahmen des 13th World Computer Congress IFIP Congress'94, Informatik aktuell, Springer-Verlag, Berlin, 1994, 83-91.

• Abstract or Paper (ps.gz, 106K) or Paper (dvi, 30K)

Bra94b

S. Brass: Modular Specifications with Supernormal Defaults. Annals of Mathematics and Artificial Intelligence 12 (1994), 189-213.

• Abstract or Paper (ps.gz, 63K) or Paper (dvi, 32K)

Bra94c

S. Brass: Improved Bottom-Up Query Evaluation in Positive Disjunctive Databases. In B. H. Wolfinger (ed.), Innovationen bei Rechen- und Kommunikationssystemen - 24. GI-Jahrestagung im Rahmen des 13th World Computer Congress IFIP Congress'94, Informatik aktuell, Springer-Verlag, Berlin, 1994, 75-82.

• Abstract or Paper (ps.gz, 70K) or Paper (dvi, 14K)

DLB94a

F. M. Dionísio, U. W. Lipeck, S. Brass. Composition of Default Specifications. In R. J. Wieringa / R. B. Feenstra (ed.), Information Systems - Correctness and Reusability (Selected Papers from the IS-CORE Workshop), World Scientific, 1995, 207-221.

• Paper (ps.gz, 52K)

LB94a

U. W. Lipeck, S. Brass: Object-Oriented System Specification Using Defaults. In K. von Luck, H. Marburger (eds.), Management and Processing of Complex Data Structures - Third Workshop on Information Systems and Artificial Intelligence 1994, Proceedings, Lecture Notes in Computer Science 777, Springer-Verlag, Berlin, 1994, 22-43.

• Abstract or Paper (ps.gz, 61K) or Paper (dvi, 31K)

BD95a

S. Brass, J. Dix: A General Approach to Bottom-Up Computation of Disjunctive Semantics. In J. Dix, L. M. Pereira, T. Przymusinski (eds.), Nonmonotonic Extensions of Logic Programming, LNAI 927, Springer, 1995, 127-155.

• Abstract or Paper (ps.gz, 127K)

BD95b

S. Brass, J. Dix: Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. In L. Sterling (ed.), Twelfth International Conference on Logic Programming (ICLP'95), MIT Press, 1995, 199-213.

• Paper (ps.gz, 117K)

BD95c

S. Brass, J. Dix: Characterizations of the Stable Semantics by Partial Evaluation. In A. Nerode (ed.), Logic Programming and Nonmonotonic Reasoning (LP&NMR'95), LNCS 928, Springer, 1995, 85-98.

• Abstract or Paper (ps.gz, 83K)

Bra95a

S. Brass: DP - A System for Reasoning with Supernormal Defaults. In G. Brewka, C. Witteveen (eds.), Proceedings of the Dutch/German Workshop on Nonmonotonic Reasoning, 1995.

• Abstract or Paper (ps.gz, 91K) or Paper (dvi, 13K)

Bra95b

S. Brass: Magic Sets vs. SLD-Resolution. In J. Eder, L. A. Kalinichenko (eds.), Advances in Databases and Information Systems (ADBIS'95), Springer, 1995, 185-203.

• Abstract or Paper (ps.gz, 97K) or Paper (dvi, 31K)

Bra96a

S. Brass: SLDMagic - An Improved Magic Set Technique. In: B. Novikov, J. W. Schmidt (eds.): Advances in Databases and Information Systems - ADBIS'96, MEPhI Publishing, Moscow, 1996, 75-83. Also published in Springer Workshops in Computing (1997).

• Abstract
• Paper (ps.gz, 59K) [Download from Hannover]
• Software
• Springer EWiC

Bra96b

S. Brass: Bottom-Up Query Evaluation in Extended Deductive Databases. Habilitation Thesis, Universität Hannover, Institut für Informatik, 1996.

• Single Sections

BDP96b

S. Brass, J. Dix, T. C. Przymusinski: Super Logic Programs. In L.C. Aiello, J. Doyle, S.C. Shapiro (eds.), Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 529-541, Morgan Kaufmann, 1996.

• Abstract
• Paper (ps.gz, 90K) [Download from Hannover]
• Software

BD96a

S. Brass, J. Dix: Characterizing D-WFS: Confluence and iterated GCWA. In J.J. Alferes, L.M. Pereira, E. Orlowska (eds.), Logics in Artificial Intelligence, European Workshop (JELIA'96), 268-283, LNAI 1126, Springer, 1996.

BD97a

S. Brass, J. Dix: Characterizations of the Disjunctive Stable Semantics by Partial Evaluation. The Journal of Logic Programming 32:3 (1997), 207-228.

• Paper (preliminary version) (ps.gz, 113K) [Download from Hannover]

BZF97a

S. Brass, U. Zukowski, B. Freitag: Transformation-Based Bottom-Up Computation of the Well-Founded Model. In J. Dix, L.M. Pereira, T.C. Przymusinski (eds.), Non-Monotonic Extensions of Logic Programming (NMELP'96), 171-201, Springer, LNAI 1216, 1997.

• Paper (ps.gz, 81K) [Download from Hannover]

ZBF97a

U. Zukowski, S. Brass, B. Freitag: Improving the Alternating Fixpoint: The Transformation Approach. To appear in: A. Nerode (ed.), 4th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR'97), Springer, LNAI, 1997.

• Paper (ps.gz, 94K) [Download from Hannover]

BD98a

S. Brass, J. Dix: Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA. Journal of Automated Reasoning, Volume 20, Number 1/2, 143-164, April 1998.

• Paper (ps.gz, 68K)

BDNP98a

S. Brass, J. Dix, I. Niemelä, T. C. Przymusinski: A Comparison of the Static and the Disjunctive Well-founded Semantics. In: A. G. Cohn, L. K. Schubert, S. C. Shapiro (eds), Proc. of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98).

• Paper (ps.gz, 88K)

BDP98a

S. Brass, J. Dix, T. C. Przymusinski: Super Logic Programs. Technical Report, University of Hannover. Submitted for Journal Publication. 63 pages.

• Paper (ps.gz, 263K)
• Software

DBRL98a

F. M. Dionisio, S Brass, M. Ryan, U. Lipeck: Hypothetical Reasoning with Defaults. In: I. Niemelä, T. Schaub: Workshop on Computational Aspects of Nonmonotonic Reasoning (at the Seventh International Workshop on Nonmonotonic Reasoning), May 1998, 10 pages.

• Paper (ps.gz, 90K)
• Workshop Page

BD99

S. Brass, J. Dix: Semantics of (Disjunctive) Logic Programs Based on Partial Evaluation. The Journal of Logic Programming 40:1, 1999, 1-46.

• Paper (Submitted Version) (ps.gz, 194K)
• Paper (Submitted Version) (ps, 769K)

BDP99

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.gz, 21 pages, 118K)

Bra00a

S. Brass: SLDMagic - The Real Magic (with Applications to Web Queries). In: J. W. Lloyd et. al. (eds.): First International Conference on Computational Logic (CL'2000/DOOD'2000), 1063-1077, Springer, LNCS 1861, 2000.

• Abstract
• Paper (ps.gz, 80K)
• Paper (ps, 200K)
• Software

BDIP99

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).

• Paper (ps.gz, 108K)

BDFZ00

S. Brass, J. Dix, B. Freitag, U. Zukowski: Transformation-Based Bottom-Up Computation of the Well-Founded Model. Accepted for Publication inL Theory and Practice of Logic Programming.

• Paper (ps.gz, 149K)

Stefan Brass (sbrass@sis.pitt.edu), August 25, 2000.

Original URL: http://www.informatik.uni-giessen.de/staff/brass/publ/   [HTML 3.2 Checked]