Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stefan Brass
@inproceedings{DBLP:conf/btw/BrassH23,
author = {Stefan Brass and
Alexander Hinneburg},
editor = {Birgitta K{\"{o}}nig{-}Ries and
Stefanie Scherzinger and
Wolfgang Lehner and
Gottfried Vossen},
title = {Semantic Watermarks for Detecting Cheating in Online Database Exams},
booktitle = {Datenbanksysteme f{\"{u}}r Business, Technologie und Web {(BTW}
2023), 20. Fachtagung des GI-Fachbereichs ,,Datenbanken und Informationssysteme"
(DBIS), 06.-10, M{\"{a}}rz 2023, Dresden, Germany, Proceedings},
series = {{LNI}},
volume = {{P-331}},
pages = {607--619},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://doi.org/10.18420/BTW2023-30},
doi = {10.18420/BTW2023-30},
timestamp = {Tue, 04 Jul 2023 17:43:13 +0200},
biburl = {https://dblp.org/rec/conf/btw/BrassH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/BrassW21,
author = {Stefan Brass and
Mario Wenzel},
editor = {Ladjel Bellatreche and
Marlon Dumas and
Panagiotis Karras and
Raimundas Matulevicius},
title = {Integrity Constraints for Microcontroller Programming in Datalog},
booktitle = {Advances in Databases and Information Systems - 25th European Conference,
{ADBIS} 2021, Tartu, Estonia, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12843},
pages = {152--166},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-82472-3\_12},
doi = {10.1007/978-3-030-82472-3\_12},
timestamp = {Tue, 17 Aug 2021 21:08:18 +0200},
biburl = {https://dblp.org/rec/conf/adbis/BrassW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/Brass21,
author = {Stefan Brass},
editor = {Sotiris Moschoyiannis and
Rafael Pe{\~{n}}aloza and
Jan Vanthienen and
Ahmet Soylu and
Dumitru Roman},
title = {Event-Based Microcontroller Programming in Datalog},
booktitle = {Rules and Reasoning - 5th International Joint Conference, RuleML+RR
2021, Leuven, Belgium, September 13-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12851},
pages = {80--94},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91167-6\_6},
doi = {10.1007/978-3-030-91167-6\_6},
timestamp = {Tue, 07 Dec 2021 17:02:15 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/Brass21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/WenzelB20,
author = {Mario Wenzel and
Stefan Brass},
editor = {Maribel Fern{\'{a}}ndez},
title = {Translation of Interactive Datalog Programs for Microcontrollers to
Finite State Machines},
booktitle = {Logic-Based Program Synthesis and Transformation - 30th International
Symposium, {LOPSTR} 2020, Bologna, Italy, September 7-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12561},
pages = {210--227},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-68446-4\_11},
doi = {10.1007/978-3-030-68446-4\_11},
timestamp = {Mon, 15 Feb 2021 15:03:56 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/WenzelB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/BrassW19,
author = {Stefan Brass and
Mario Wenzel},
editor = {Mario Alviano and
Andreas Pieris},
title = {Performance Analysis and Comparison of Deductive Systems and {SQL}
Databases},
booktitle = {Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of
Datalog in Academia and Industry co-located with the 15th International
Conference on Logic Programming and Nonmonotonic Reasoning {(LPNMR}
2019) at the Philadelphia Logic Week 2019, Philadelphia, {PA} (USA),
June 4-5, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2368},
pages = {27--38},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2368/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/datalog/BrassW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/WenzelB19,
author = {Mario Wenzel and
Stefan Brass},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Declarative Programming for Microcontrollers - Datalog on Arduino},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {119--138},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_9},
doi = {10.1007/978-3-030-46714-2\_9},
timestamp = {Tue, 05 May 2020 15:20:37 +0200},
biburl = {https://dblp.org/rec/conf/inap/WenzelB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-00043,
author = {Mario Wenzel and
Stefan Brass},
title = {Declarative Programming for Microcontrollers - Datalog on Arduino},
journal = {CoRR},
volume = {abs/1909.00043},
year = {2019},
url = {http://arxiv.org/abs/1909.00043},
eprinttype = {arXiv},
eprint = {1909.00043},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-00043.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/BrassW18,
author = {Stefan Brass and
Mario Wenzel},
editor = {Sven Hartmann and
Hui Ma and
Abdelkader Hameurlain and
G{\"{u}}nther Pernul and
Roland R. Wagner},
title = {An Abstract Machine for Push Bottom-Up Evaluation of Datalog},
booktitle = {Database and Expert Systems Applications - 29th International Conference,
{DEXA} 2018, Regensburg, Germany, September 3-6, 2018, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11030},
pages = {270--280},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98812-2\_23},
doi = {10.1007/978-3-319-98812-2\_23},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/dexa/BrassW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/EngelsBB17,
author = {Christiane Engels and
Andreas Behrend and
Stefan Brass},
editor = {Marite Kirikova and
Kjetil N{\o}rv{\aa}g and
George A. Papadopoulos and
Johann Gamper and
Robert Wrembel and
J{\'{e}}r{\^{o}}me Darmont and
Stefano Rizzi},
title = {A Declarative Approach to Analyzing Schema Objects and Functional
Dependencies},
booktitle = {New Trends in Databases and Information Systems - {ADBIS} 2017 Short
Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus,
September 24-27, 2017, Proceedings},
series = {Communications in Computer and Information Science},
volume = {767},
pages = {73--81},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67162-8\_9},
doi = {10.1007/978-3-319-67162-8\_9},
timestamp = {Tue, 29 Dec 2020 18:28:21 +0100},
biburl = {https://dblp.org/rec/conf/adbis/EngelsBB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/Brass17,
author = {Stefan Brass},
editor = {Djamal Benslimane and
Ernesto Damiani and
William I. Grosky and
Abdelkader Hameurlain and
Amit P. Sheth and
Roland R. Wagner},
title = {Language Constructs for a Datalog Compiler},
booktitle = {Database and Expert Systems Applications - 28th International Conference,
{DEXA} 2017, Lyon, France, August 28-31, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10438},
pages = {130--140},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-64468-4\_10},
doi = {10.1007/978-3-319-64468-4\_10},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/dexa/Brass17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/BrassS17,
author = {Stefan Brass and
Heike Stephan},
editor = {Alexander K. Petrenko and
Andrei Voronkov},
title = {Pipelined Bottom-Up Evaluation of Datalog Programs: The Push Method},
booktitle = {Perspectives of System Informatics - 11th International Andrei P.
Ershov Informatics Conference, {PSI} 2017, Moscow, Russia, June 27-29,
2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10742},
pages = {43--58},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74313-4\_4},
doi = {10.1007/978-3-319-74313-4\_4},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/BrassS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/EngelsBB17,
author = {Christiane Engels and
Andreas Behrend and
Stefan Brass},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {A Rule-Based Approach to Analyzing Database Schema Objects with Datalog},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {20--36},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_2},
doi = {10.1007/978-3-319-94460-9\_2},
timestamp = {Wed, 25 Sep 2019 18:04:28 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/EngelsBB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BrassS17,
author = {Stefan Brass and
Heike Stephan},
editor = {Sibylle Schwarz and
Janis Voigtl{\"{a}}nder},
title = {Bottom-Up Evaluation of Datalog: Preliminary Report},
booktitle = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
and 24th International Workshop on Functional and (Constraint) Logic
Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
Germany, 22nd September 2015 and 12-14th September 2016},
series = {{EPTCS}},
volume = {234},
pages = {13--26},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.234.2},
doi = {10.4204/EPTCS.234.2},
timestamp = {Wed, 09 Oct 2019 16:19:29 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrassS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BrassS17a,
author = {Stefan Brass and
Heike Stephan},
editor = {Sibylle Schwarz and
Janis Voigtl{\"{a}}nder},
title = {Experiences with Some Benchmarks for Deductive Databases and Implementations
of Bottom-Up Evaluation},
booktitle = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
and 24th International Workshop on Functional and (Constraint) Logic
Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
Germany, 22nd September 2015 and 12-14th September 2016},
series = {{EPTCS}},
volume = {234},
pages = {57--72},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.234.5},
doi = {10.4204/EPTCS.234.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrassS17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-05376,
author = {Christiane Engels and
Andreas Behrend and
Stefan Brass},
title = {A Rule-Based Approach to Analyzing Database Schema Objects with Datalog},
journal = {CoRR},
volume = {abs/1709.05376},
year = {2017},
url = {http://arxiv.org/abs/1709.05376},
eprinttype = {arXiv},
eprint = {1709.05376},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-05376.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Brass15,
author = {Stefan Brass},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {A Framework for Goal-Directed Query Evaluation with Negation},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {151--157},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_14},
doi = {10.1007/978-3-319-23264-5\_14},
timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Brass15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wlp/2014,
editor = {Stefan Brass and
Johannes Waldmann},
title = {Proceedings of the 28th Workshop on (Constraint) Logic Programming
{(WLP} 2014) Proceedings of the 23rd International Workshop on Functional
and (Constraint) Logic Programming, Wittenberg, Germany, September
15-17, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1335},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1335},
urn = {urn:nbn:de:0074-1335-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wlp/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Brass14,
author = {Stefan Brass},
title = {A Framework for Bottom-Up Simulation of SLD-Resolution},
journal = {CoRR},
volume = {abs/1405.4021},
year = {2014},
url = {http://arxiv.org/abs/1405.4021},
eprinttype = {arXiv},
eprint = {1405.4021},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Brass14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/StephanB14,
author = {Heike Stephan and
Stefan Brass},
title = {A Variant of Earley Deduction With Partial Evaluation},
journal = {CoRR},
volume = {abs/1405.5645},
year = {2014},
url = {http://arxiv.org/abs/1405.5645},
eprinttype = {arXiv},
eprint = {1405.5645},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/StephanB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/BrassS13,
author = {Stefan Brass and
Heike Stephan},
editor = {Wolfgang Faber and
Domenico Lembo},
title = {A Variant of Earley Deduction with Partial Evaluation},
booktitle = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7994},
pages = {35--49},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39666-3\_4},
doi = {10.1007/978-3-642-39666-3\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/BrassS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Brass12,
author = {Stefan Brass},
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {Order in Datalog with Applications to Declarative Output},
booktitle = {Datalog in Academia and Industry - Second International Workshop,
Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7494},
pages = {56--67},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8\_7},
doi = {10.1007/978-3-642-32925-8\_7},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/datalog/Brass12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Brass11,
author = {Stefan Brass},
editor = {John P. Gallagher and
Michael Gelfond},
title = {Declarative Output by Ordering Text Pieces},
booktitle = {Technical Communications of the 27th International Conference on Logic
Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}},
series = {LIPIcs},
volume = {11},
pages = {151--161},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2011.151},
doi = {10.4230/LIPICS.ICLP.2011.151},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Brass11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Brass10,
author = {Stefan Brass},
editor = {Manuel V. Hermenegildo and
Torsten Schaub},
title = {Implementation Alternatives for Bottom-Up Evaluation},
booktitle = {Technical Communications of the 26th International Conference on Logic
Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
series = {LIPIcs},
volume = {7},
pages = {44--53},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2010.44},
doi = {10.4230/LIPICS.ICLP.2010.44},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Brass10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BrassG06,
author = {Stefan Brass and
Christian Goldberg},
title = {Semantic errors in {SQL} queries: {A} quite complete list},
journal = {J. Syst. Softw.},
volume = {79},
number = {5},
pages = {630--644},
year = {2006},
url = {https://doi.org/10.1016/j.jss.2005.06.028},
doi = {10.1016/J.JSS.2005.06.028},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/BrassG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gvd/2006,
editor = {Stefan Brass and
Alexander Hinneburg},
title = {Tagungsband zum 18. GI-Workshop {\"{u}}ber Grundlagen von Datenbanken
(18th GI-Workshop on the Foundations of Databases), Wittenberg, Sachsen-Anhalt,
Deutschland, 6.-9. Juni 2006},
publisher = {Institute of Computer Science, Martin-Luther-University},
year = {2006},
timestamp = {Sat, 23 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gvd/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/BrassG05,
author = {Stefan Brass and
Christian Goldberg},
title = {Proving the Safety of {SQL} Queries},
booktitle = {Fifth International Conference on Quality Software {(QSIC} 2005),
19-20 September 2005, Melbourne, Australia},
pages = {197--204},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/QSIC.2005.50},
doi = {10.1109/QSIC.2005.50},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/BrassG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gvd/2005,
editor = {Stefan Brass and
Christian Goldberg},
title = {Tagungsband zum 17. GI-Workshop {\"{u}}ber Grundlagen von Datenbanken
(17th GI-Workshop on the Foundations of Databases), W{\"{o}}rlitz,
Sachsen-Anhalt, Deutschland, 17.-20. Mai 2005},
publisher = {Institute of Computer Science, Martin-Luther-University},
year = {2005},
timestamp = {Sat, 23 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gvd/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BrassDP04,
author = {Stefan Brass and
J{\"{u}}rgen Dix and
Teodor C. Przymusinski},
title = {Super logic programs},
journal = {{ACM} Trans. Comput. Log.},
volume = {5},
number = {1},
pages = {129--176},
year = {2004},
url = {https://doi.org/10.1145/963927.963931},
doi = {10.1145/963927.963931},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BrassDP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gvd/BrassG04,
author = {Stefan Brass and
Christian Goldberg},
editor = {Mireille Samia and
Stefan Conrad},
title = {Detecting Logical Errors in {SQL} Queries},
booktitle = {Tagungsband zum 16. GI-Workshop Grundlagen von Datenbanken, Mohnheim,
NRW, Deutschland, 1.-4. Juni 2004},
pages = {28--32},
publisher = {Universit{\"{a}}t D{\"{u}}sseldorf},
year = {2004},
timestamp = {Mon, 09 Jul 2018 08:42:40 +0200},
biburl = {https://dblp.org/rec/conf/gvd/BrassG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gvd/GoldbergB04,
author = {Christian Goldberg and
Stefan Brass},
editor = {Mireille Samia and
Stefan Conrad},
title = {Semantic Errors in {SQL} Queries: {A} Quite Complete List},
booktitle = {Tagungsband zum 16. GI-Workshop Grundlagen von Datenbanken, Mohnheim,
NRW, Deutschland, 1.-4. Juni 2004},
pages = {58--62},
publisher = {Universit{\"{a}}t D{\"{u}}sseldorf},
year = {2004},
url = {http://www.dbs.cs.uni-duesseldorf.de/gvd2004/papers/Goldberg-Brass.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gvd/GoldbergB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/BrassG04,
author = {Stefan Brass and
Christian Goldberg},
title = {Semantic Errors in {SQL} Queries: {A} Quite Complete List},
booktitle = {4th International Conference on Quality Software {(QSIC} 2004), 8-10
September 2004, Braunschweig, Germany},
pages = {250--257},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/QSIC.2004.1357967},
doi = {10.1109/QSIC.2004.1357967},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/BrassG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gvd/Brass03,
author = {Stefan Brass},
editor = {Hagen H{\"{o}}pfner and
Gunter Saake and
Eike Schallehn},
title = {Eine auf Datalog basierende XML-Anfragesprache},
booktitle = {Tagungsband zum 15. GI-Workshop Grundlagen von Datenbanken, Tangerm{\"{u}}nde,
Sachsen-Anhalt, Deutschland, 10.-13. Juni 2003},
pages = {5--9},
publisher = {Fakult{\"{a}}t f{\"{u}}r Informatik, Universit{\"{a}}t
Magdeburg},
year = {2003},
timestamp = {Sat, 23 Jun 2018 18:43:38 +0200},
biburl = {https://dblp.org/rec/conf/gvd/Brass03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gvd/Brass02,
author = {Stefan Brass},
editor = {Gunnar Weber},
title = {Semantic Errors in {SQL}},
booktitle = {Tagungsband zum 14. GI-Workshop Grundlagen von Datenbanken, Strandhotel
Fischland, Halbinsel Fischland-Dar{\ss}-Zingst, Mecklenburg-Vorpommern,
Deutschland, 21. bis 24. Mai 2002},
number = {{CS-01-02}},
publisher = {Fachbereich Informatik, Universit{\"{a}}t Rostock},
year = {2002},
url = {http://wwwdb.informatik.uni-rostock.de/wsgvdb02/papers/Brass.ps},
timestamp = {Sat, 23 Jun 2018 18:43:57 +0200},
biburl = {https://dblp.org/rec/conf/gvd/Brass02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrassDNP01,
author = {Stefan Brass and
J{\"{u}}rgen Dix and
Ilkka Niemel{\"{a}} and
Teodor C. Przymusinski},
title = {On the equivalence of the static and disjunctive well-founded semantics
and its computation},
journal = {Theor. Comput. Sci.},
volume = {258},
number = {1-2},
pages = {523--553},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00045-1},
doi = {10.1016/S0304-3975(00)00045-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrassDNP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BrassDFZ01,
author = {Stefan Brass and
J{\"{u}}rgen Dix and
Burkhard Freitag and
Ulrich Zukowski},
title = {Transformation-based bottom-up computation of the well-founded model},
journal = {Theory Pract. Log. Program.},
volume = {1},
number = {5},
pages = {497--538},
year = {2001},
url = {https://doi.org/10.1017/S147106840100103X},
doi = {10.1017/S147106840100103X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BrassDFZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/Brass00,
author = {Stefan Brass},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {SLDMagic - The Real Magic (With Applications to Web Queries)},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {1063--1077},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_71},
doi = {10.1007/3-540-44957-4\_71},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/Brass00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0010032,
author = {Stefan Brass and
J{\"{u}}rgen Dix and
Teodor C. Przymusinski},
title = {Super Logic Programs},
journal = {CoRR},
volume = {cs.AI/0010032},
year = {2000},
url = {https://arxiv.org/abs/cs/0010032},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0010032.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0011013,
author = {Stefan Brass and
J{\"{u}}rgen Dix and
Burkhard Freitag and
Ulrich Zukowski},
title = {Transformation-Based Bottom-Up Computation of the Well-Founded Model},
journal = {CoRR},
volume = {cs.LO/0011013},
year = {2000},
url = {https://arxiv.org/abs/cs/0011013},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0011013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BrassDP99,
author = {Stefan Brass and
J{\"{u}}rgen Dix and
Teodor C. Przymusinski},
title = {Computation of the Semantics of Autoepistemic Belief Theories},
journal = {Artif. Intell.},
volume = {112},
number = {1-2},
pages = {233--250},
year = {1999},
url = {https://doi.org/10.1016/S0004-3702(99)00043-0},
doi = {10.1016/S0004-3702(99)00043-0},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BrassDP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BrassD99,
author = {Stefan Brass and
J{\"{u}}rgen Dix},
title = {Semantics of (disjunctive) Logic Programs Based on Partial Evaluation},
journal = {J. Log. Program.},
volume = {40},
number = {1},
pages = {1--46},
year = {1999},
url = {https://doi.org/10.1016/S0743-1066(98)10030-4},
doi = {10.1016/S0743-1066(98)10030-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BrassD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BrassD98,
author = {Stefan Brass and
J{\"{u}}rgen Dix},
title = {Characterizations of the Disjunctive Well-Founded Semantics: Confluent
Calculi and Iterated {GCWA}},
journal = {J. Autom. Reason.},
volume = {20},
number = {1},
pages = {143--165},
year = {1998},
url = {https://doi.org/10.1023/A:1005952908693},
doi = {10.1023/A:1005952908693},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BrassD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BrassDNP98,
author = {Stefan Brass and
J{\"{u}}rgen Dix and
Ilkka Niemel{\"{a}} and
Teodor C. Przymusinski},
editor = {Anthony G. Cohn and
Lenhart K. Schubert and
Stuart C. Shapiro},
title = {A Comparison of the Static and the Disjunctive Well-Founded Semantics
and its Implementation},
booktitle = {Proceedings of the Sixth International Conference on Principles of
Knowledge Representation and Reasoning (KR'98), Trento, Italy, June
2-5, 1998},
pages = {74--85},
publisher = {Morgan Kaufmann},
year = {1998},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/BrassDNP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BrassD97,
author = {Stefan Brass and
J{\"{u}}rgen Dix},
title = {Characterizations of the Disjunctive Stable Semantics by Partial Evaluation},
journal = {J. Log. Program.},
volume = {32},
number = {3},
pages = {207--228},
year = {1997},
url = {https://doi.org/10.1016/S0743-1066(96)00115-X},
doi = {10.1016/S0743-1066(96)00115-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BrassD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gvd/Brass97,
author = {Stefan Brass},
editor = {Christian Eckert and
Torsten Polle and
Tatja St{\"{u}}lten},
title = {Querying Semistructured Data and the {WWW}},
booktitle = {Kurzfassungen 9. Workshop Grundlage von Datenbanken, GvD 1997, Workshop
des GI-Arbeitskreises in K{\"{o}}nigslutter, 20.5. - 23.5.1997},
pages = {1--5},
publisher = {Universit{\"{a}}t Dortmund},
year = {1997},
timestamp = {Fri, 26 Jul 2019 14:48:52 +0200},
biburl = {https://dblp.org/rec/conf/gvd/Brass97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ZukowskiF97,
author = {Ulrich Zukowski and
Burkhard Freitag and
Stefan Brass},
editor = {Lee Naish},
title = {Differential Bottom-Up Computation of the Well-Founded Semantics},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {421},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/ZukowskiF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/ZukowskiFB97,
author = {Ulrich Zukowski and
Burkhard Freitag and
Stefan Brass},
editor = {J{\"{u}}rgen Dix and
Ulrich Furbach and
Anil Nerode},
title = {Improving the Alternating Fixpoint: The Transformation Approach},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference,
LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1265},
pages = {4--59},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63255-7\_4},
doi = {10.1007/3-540-63255-7\_4},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/ZukowskiFB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/Brass96,
author = {Stefan Brass},
title = {SLDMagic - An Improved Magic Set Technique},
booktitle = {Proceedings of the Third International Workshop on Advances in Databases
and Information Systems, {ADBIS} 1996, Moscow, Russia, September 10-13,
1996},
pages = {75--83},
publisher = {Moscow Egineering Physical Institute (Technical University)},
year = {1996},
timestamp = {Thu, 13 Sep 2012 12:33:28 +0200},
biburl = {https://dblp.org/rec/conf/adbis/Brass96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gvd/Brass96,
author = {Stefan Brass},
editor = {Stefan Conrad and
Gunter Saake and
Ingo Schmitt and
Can T{\"{u}}rker},
title = {SDLMagic - An Improved Magic Set Technique},
booktitle = {Kurzfassungen 8. Workshop Grundlage von Datenbanken, GvD 1996, Workshop
des GI-Arbeitskreises in Friedrichbrunn/Harz, 28.5. - 31.5.1996},
pages = {1--5},
publisher = {Universit{\"{a}}t Magedeburg},
year = {1996},
timestamp = {Fri, 26 Jul 2019 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/gvd/Brass96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BrassD96,
author = {Stefan Brass and
J{\"{u}}rgen Dix},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Lu{\'{\i}}s Moniz Pereira and
Ewa Orlowska},
title = {Characterizing {D-WFS:} Confluence and Iterated {GCWA}},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '96,
{\'{E}}vora, Portugal, September 30 - October 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1126},
pages = {268--283},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61630-6\_19},
doi = {10.1007/3-540-61630-6\_19},
timestamp = {Sat, 19 Oct 2019 20:16:50 +0200},
biburl = {https://dblp.org/rec/conf/jelia/BrassD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BrassDP96,
author = {Stefan Brass and
J{\"{u}}rgen Dix and
Teodor C. Przymusinski},
editor = {Luigia Carlucci Aiello and
Jon Doyle and
Stuart C. Shapiro},
title = {Super Logic Programs},
booktitle = {Proceedings of the Fifth International Conference on Principles of
Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts,
USA, November 5-8, 1996},
pages = {529--540},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Fri, 18 May 2012 15:03:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BrassDP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmelp/BrassZF96,
author = {Stefan Brass and
Ulrich Zukowski and
Burkhard Freitag},
editor = {J{\"{u}}rgen Dix and
Lu{\'{\i}}s Moniz Pereira and
Teodor C. Przymusinski},
title = {Transformation-Based Bottom-Up Computation of the Well-Founded Model},
booktitle = {Non-Monotonic Extensions of Logic Programming, {NMELP} '96, Bad Honnef,
Germany, September 5-6, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1216},
pages = {171--201},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0023807},
doi = {10.1007/BFB0023807},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nmelp/BrassZF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/Brass95,
author = {Stefan Brass},
editor = {Johann Eder and
Leonid A. Kalinichenko},
title = {Magic Sets vs. SLD-Resolution},
booktitle = {Advances in Databases and Information Systems, Proceedings of the
Second International Workshop on Advances in Databases and Information
Systems (ADBIS'95), Moscow, Russia, 27-30 June 1995},
series = {Workshops in Computing},
pages = {185--203},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4471-1486-4\_13},
doi = {10.1007/978-1-4471-1486-4\_13},
timestamp = {Wed, 14 Aug 2019 15:22:27 +0200},
biburl = {https://dblp.org/rec/conf/adbis/Brass95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gvd/Brass95,
author = {Stefan Brass},
editor = {Christian Eckert and
Hans{-}Joachim Klein and
Torsten Polle},
title = {Ein Informationssystem zur F{\"{o}}rderung der Kommunikation
im Arbeitskreis},
booktitle = {Kurzfassungen 7. Workshop Grundlagen von Datenbanken, GvD 1995, Workshop
des GI-Arbeitskreises in Bad Salzdetfurth, 6.6. - 9.6.1995},
series = {Informatik-Bericht},
volume = {12/95},
pages = {30--33},
publisher = {Universit{\"{a}}t Hildesheim},
year = {1995},
timestamp = {Fri, 26 Jul 2019 14:48:52 +0200},
biburl = {https://dblp.org/rec/conf/gvd/Brass95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BrassD95,
author = {Stefan Brass and
J{\"{u}}rgen Dix},
editor = {Leon Sterling},
title = {Disjunctive Semantics based upon Partial and Bottom-Up Evaluation},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
on Logic Programming, Tokyo, Japan, June 13-16, 1995},
pages = {199--213},
publisher = {{MIT} Press},
year = {1995},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BrassD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BrassD95,
author = {Stefan Brass and
J{\"{u}}rgen Dix},
editor = {V. Wiktor Marek and
Anil Nerode},
title = {Characterizations of the Stable Semantics by Partial Evaluation},
booktitle = {Logic Programming and Nonmonotonic Reasoning, Third International
Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {928},
pages = {85--98},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59487-6\_7},
doi = {10.1007/3-540-59487-6\_7},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BrassD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Brass94,
author = {Stefan Brass},
title = {Modular Specifications with Supernormal Defaults},
journal = {Ann. Math. Artif. Intell.},
volume = {12},
number = {3-4},
pages = {189--213},
year = {1994},
url = {https://doi.org/10.1007/BF01530785},
doi = {10.1007/BF01530785},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Brass94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Brass94,
author = {Stefan Brass},
editor = {Bernd E. Wolfinger},
title = {Improved Bottom-Up Query Evaluation in Positive Disjunctive Databases},
booktitle = {Innovationen bei Rechen- und Kommunikationssystemen, Eine Herausforderung
f{\"{u}}r die Informatik, 24. GI-Jahrestagung im Rahmen des 13th
World Computer Congress, {IFIP} Congress '94, Hamburg, 28. August
- 2. September 1994},
series = {Informatik Aktuell},
pages = {75--82},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-642-51136-3\_12},
doi = {10.1007/978-3-642-51136-3\_12},
timestamp = {Tue, 23 May 2017 01:10:34 +0200},
biburl = {https://dblp.org/rec/conf/gi/Brass94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BrassD94,
author = {Stefan Brass and
J{\"{u}}rgen Dix},
editor = {Bernd E. Wolfinger},
title = {A Disjunctive Semantics Bases on Unfolding and Bottom-Up Evaluation},
booktitle = {Innovationen bei Rechen- und Kommunikationssystemen, Eine Herausforderung
f{\"{u}}r die Informatik, 24. GI-Jahrestagung im Rahmen des 13th
World Computer Congress, {IFIP} Congress '94, Hamburg, 28. August
- 2. September 1994},
series = {Informatik Aktuell},
pages = {83--91},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-642-51136-3\_13},
doi = {10.1007/978-3-642-51136-3\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/BrassD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gvd/BrassD94,
author = {Stefan Brass and
J{\"{u}}rgen Dix},
editor = {Stefan Conrad and
Perdita L{\"{o}}hr and
Gunter Saake},
title = {Computing Disjunctive Stable Semantics Based on Clark's Completed
Database},
booktitle = {Kurzfassungen 6. Workshop Grundlagen von Datenbanken, GvD 1994, Bad
Helmstedt, Germany, 19-22.9.1994},
series = {Universit{\"{a}}t Magdeburg, Forschungsbericht},
volume = {Bericht 94-01},
pages = {30--34},
publisher = {Universit{\"{a}}t Magdeburg},
year = {1994},
timestamp = {Fri, 26 Jul 2019 14:48:52 +0200},
biburl = {https://dblp.org/rec/conf/gvd/BrassD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iski/LipeckB94,
author = {Udo W. Lipeck and
Stefan Brass},
editor = {Kai von Luck and
Heinz Marburger},
title = {Object-Oriented System Specification Using Defaults},
booktitle = {Management and Processing of Complex Data Structures, Third Workshop
on Information Systems and Artificial Intelligence, Hamburg, Germany,
February 28 - March 2, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {777},
pages = {22--43},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57802-1\_2},
doi = {10.1007/3-540-57802-1\_2},
timestamp = {Sun, 12 Nov 2023 02:16:15 +0100},
biburl = {https://dblp.org/rec/conf/iski/LipeckB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmelp/BrassD94,
author = {Stefan Brass and
J{\"{u}}rgen Dix},
editor = {J{\"{u}}rgen Dix and
Lu{\'{\i}}s Moniz Pereira and
Teodor C. Przymusinski},
title = {A general Approach to Bottom-Up Computation of Disjunctive Semantics},
booktitle = {Non-Monotonic Extensions of Logic Programming (NMELP'94), {ICLP} '94
Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {927},
pages = {127--155},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0030663},
doi = {10.1007/BFB0030663},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nmelp/BrassD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/BrassD94,
author = {Stefan Brass and
J{\"{u}}rgen Dix},
editor = {Norbert E. Fuchs and
Georg Gottlob},
title = {A Characterization of the Stable Semantics by Partial Evaluation},
booktitle = {Proceedings of the Tenth Logic Programming Workshop, {WLP} 94, 5-7
Octobert 1994, Univerity of Zurich, Switzerland. Technical Report
94/10},
pages = {81--84},
publisher = {Institut f{\"{u}}r Informatik der Universit{\"{a}}t Z{\"{u}}rich},
year = {1994},
timestamp = {Thu, 21 Mar 2019 11:19:43 +0100},
biburl = {https://dblp.org/rec/conf/wlp/BrassD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dood/BrassL93,
author = {Stefan Brass and
Udo W. Lipeck},
editor = {Stefano Ceri and
Katsumi Tanaka and
Shalom Tsur},
title = {Bottom-Up Query Evaluation with Partially Ordered Defaults},
booktitle = {Deductive and Object-Oriented Databases, Third International Conference,
DOOD'93, Phoenix, Arizona, USA, December 6-8, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {760},
pages = {253--266},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57530-8\_16},
doi = {10.1007/3-540-57530-8\_16},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/dood/BrassL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Brass93,
author = {Stefan Brass},
editor = {Ruzena Bajcsy},
title = {On the Semantics of Supernormal Defaults},
booktitle = {Proceedings of the 13th International Joint Conference on Artificial
Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
1993},
pages = {578--583},
publisher = {Morgan Kaufmann},
year = {1993},
url = {http://ijcai.org/Proceedings/93-1/Papers/081.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:33 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Brass93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0008864,
author = {Stefan Brass},
title = {Defaults in deduktiven Datenbanken},
school = {University of Hanover, Hannover, Germany},
year = {1992},
url = {https://d-nb.info/930235665},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0008864.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/gidr/Brass92,
author = {Stefan Brass},
title = {Defaults in deduktiven Datenbanken (Zusammenfassung)},
journal = {Datenbank Rundbr.},
volume = {10},
pages = {50},
year = {1992},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/gidr/Brass92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/BrassL92,
author = {Stefan Brass and
Udo W. Lipeck},
editor = {Alain Pirotte and
Claude Delobel and
Georg Gottlob},
title = {Generalized Bottom-Up Query Evaluation},
booktitle = {Advances in Database Technology - EDBT'92, 3rd International Conference
on Extending Database Technology, Vienna, Austria, March 23-27, 1992,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {580},
pages = {88--103},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0032425},
doi = {10.1007/BFB0032425},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/edbt/BrassL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dood/BrassL91,
author = {Stefan Brass and
Udo W. Lipeck},
editor = {Claude Delobel and
Michael Kifer and
Yoshifumi Masunaga},
title = {Semantice of Inheritance in Logical Object Specifications},
booktitle = {Deductive and Object-Oriented Databases, Second International Conference,
DOOD'91, Munich, Germany, December 16-18, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {566},
pages = {411--430},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55015-1\_22},
doi = {10.1007/3-540-55015-1\_22},
timestamp = {Sat, 07 Sep 2019 11:59:23 +0200},
biburl = {https://dblp.org/rec/conf/dood/BrassL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gvd/BrassL91,
author = {Stefan Brass and
Udo W. Lipeck},
editor = {Marc H. Scholl},
title = {Zur Semantik von Vererbung in logischen Objektspezifikationen},
booktitle = {Kurzfassungen des 3. GI-Workshops "Grundlagen von Datenbanken", GvD
1991, Volkse (bei Braunschweig), 21.-25.5.1991},
pages = {11--15},
publisher = {{ETH} Z{\"{u}}rich},
year = {1991},
timestamp = {Fri, 26 Jul 2019 14:48:53 +0200},
biburl = {https://dblp.org/rec/conf/gvd/BrassL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nil/Brass91,
author = {Stefan Brass},
editor = {Gerhard Brewka and
Klaus P. Jantke and
Peter H. Schmitt},
title = {Deduction with Supernormal Defaults},
booktitle = {Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn
Castle, Germany, December 2-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {659},
pages = {153--174},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0030392},
doi = {10.1007/BFB0030392},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/nil/Brass91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gvd/Brass90,
author = {Stefan Brass},
editor = {Udo W. Lipeck and
Stefan Brass and
Gunter Saake},
title = {Allgemeine Vervollst{\"{a}}ndigung beim Entwurf von Logik-Datenbanken},
booktitle = {Kurzfassungen des 2. Workshops "Grundlagen von Datenbanken", Volkse,
5.-8. Juni 1990},
series = {Informatik-Berichte {TU} Braunschweig},
volume = {Ni. 90-02},
pages = {12--13},
publisher = {{TU} Braunschweig},
year = {1990},
timestamp = {Fri, 26 Jul 2019 14:48:50 +0200},
biburl = {https://dblp.org/rec/conf/gvd/Brass90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/Brass90,
author = {Stefan Brass},
editor = {Serge Abiteboul and
Paris C. Kanellakis},
title = {Beginnings of a Theory of General Database Completions},
booktitle = {ICDT'90, Third International Conference on Database Theory, Paris,
France, December 12-14, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {470},
pages = {349--363},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53507-1\_88},
doi = {10.1007/3-540-53507-1\_88},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/Brass90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gvd/1990,
editor = {Udo W. Lipeck and
Stefan Brass and
Gunter Saake},
title = {Kurzfassungen des 2. Workshops "Grundlagen von Datenbanken",
Volkse, 5.-8. Juni 1990},
series = {Informatik-Berichte {TU} Braunschweig},
volume = {Ni. 90-02},
publisher = {{TU} Braunschweig},
year = {1990},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gvd/1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gvd/Brass89,
author = {Stefan Brass},
editor = {Hans{-}Dieter Ehrich and
Gregor Engels and
Martin Gogolla and
Gunter Saake},
title = {Spezifikation von Annahmen der geschlossenen Welt (CWAs)},
booktitle = {Workshop Grundlagen von Datenbanken, GvD 1989. Technische Universit{\"{a}}t
Braunschweig, Germany},
year = {1989},
timestamp = {Fri, 26 Jul 2019 14:48:53 +0200},
biburl = {https://dblp.org/rec/conf/gvd/Brass89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfdbs/BrassL89,
author = {Stefan Brass and
Udo W. Lipeck},
editor = {J{\'{a}}nos Demetrovics and
Bernhard Thalheim},
title = {Specifying Closed World Assumptions for Logic Databases},
booktitle = {{MFDBS} 89, 2nd Symposium on Mathematical Fundamentals of Database
Systems, Visegr{\'{a}}d, Hungary, June 26-30, 1989},
series = {Lecture Notes in Computer Science},
volume = {364},
pages = {68--84},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51251-9\_6},
doi = {10.1007/3-540-51251-9\_6},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/mfdbs/BrassL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
