×
Edit Profile (opens in new tab)

Brass, Stefan

Co-Author Distance
Author ID: brass.stefan Recent zbMATH articles by "Brass, Stefan"
Published as: Brass, Stefan; Brass, S.
External Links: MGP
Documents Indexed: 19 Publications since 1990, including 1 Book
Co-Authors: 8 Co-Authors with 11 Joint Publications
112 Co-Co-Authors
all top 5

Co-Authors

8 single-authored
9 Dix, Jurgen
3 Przymusinski, Teodor C.
1 Behrend, Andreas
1 Engels, Christiane
1 Freitag, Burkhard
1 Niemelä, Ilkka N. F.
1 Wenzel, Mario
1 Zukowski, Ulrich
all top 5

Serials

2 The Journal of Logic Programming
1 Artificial Intelligence
1 Theoretical Computer Science
1 Journal of Automated Reasoning
1 Annals of Mathematics and Artificial Intelligence
1 Theory and Practice of Logic Programming
1 ACM Transactions on Computational Logic

Fields

19 Computer science (68-XX)
3 Mathematical logic and foundations (03-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

12 Publications have been cited 85 times in 60 Documents Cited by ▼ Year ▼
Characterizations of the disjunctive stable semantics by partial evaluation. Zbl 0883.68082
Brass, Stefan; Dix, Jürgen
21
1997
Semantics of (disjunctive) logic programs based on partial evaluation. Zbl 0946.68088
Brass, Stefan; Dix, Jürgen
16
1999
Transformation-based bottom-up computation of the well-founded model. Zbl 1105.68322
Brass, Stefan; Dix, Jürgen; Freitag, Burkhard; Zukowski, Ulrich
15
2001
Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA. Zbl 0893.68026
Brass, Stefan; Dix, Jürgen
11
1998
Deduction with supernormal defaults. Zbl 0819.68121
Brass, S.
6
1993
Characterizations of the stable semantics by partial evaluation. Zbl 1496.68086
Brass, Stefan; Dix, Jürgen
6
1995
On the equivalence of the static and disjunctive well-founded semantics and its computation. Zbl 0973.68132
Brass, S.; Dix, J.; Niemelä, I.; Przymusinski, T. C.
4
2001
Computation of the semantics of autoepistemic belief theories. Zbl 0996.68194
Brass, Stefan; Dix, Jürgen; Przymusinski, Teodor C.
2
1999
SLDMagic – the real magic (with applications to Web queries). Zbl 0983.68704
Brass, Stefan
1
2000
Defaults in deductive databases. (Defaults in deduktiven Datenbanken.) Zbl 0941.68509
Brass, Stefan
1
1992
Super logic programs. Zbl 1367.68029
Brass, Stefan; Dix, Jürgen; Przymusinski, Teodor C.
1
2004
A rule-based approach to analyzing database schema objects with Datalog. Zbl 1508.68087
Engels, Christiane; Behrend, Andreas; Brass, Stefan
1
2018
A rule-based approach to analyzing database schema objects with Datalog. Zbl 1508.68087
Engels, Christiane; Behrend, Andreas; Brass, Stefan
1
2018
Super logic programs. Zbl 1367.68029
Brass, Stefan; Dix, Jürgen; Przymusinski, Teodor C.
1
2004
Transformation-based bottom-up computation of the well-founded model. Zbl 1105.68322
Brass, Stefan; Dix, Jürgen; Freitag, Burkhard; Zukowski, Ulrich
15
2001
On the equivalence of the static and disjunctive well-founded semantics and its computation. Zbl 0973.68132
Brass, S.; Dix, J.; Niemelä, I.; Przymusinski, T. C.
4
2001
SLDMagic – the real magic (with applications to Web queries). Zbl 0983.68704
Brass, Stefan
1
2000
Semantics of (disjunctive) logic programs based on partial evaluation. Zbl 0946.68088
Brass, Stefan; Dix, Jürgen
16
1999
Computation of the semantics of autoepistemic belief theories. Zbl 0996.68194
Brass, Stefan; Dix, Jürgen; Przymusinski, Teodor C.
2
1999
Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA. Zbl 0893.68026
Brass, Stefan; Dix, Jürgen
11
1998
Characterizations of the disjunctive stable semantics by partial evaluation. Zbl 0883.68082
Brass, Stefan; Dix, Jürgen
21
1997
Characterizations of the stable semantics by partial evaluation. Zbl 1496.68086
Brass, Stefan; Dix, Jürgen
6
1995
Deduction with supernormal defaults. Zbl 0819.68121
Brass, S.
6
1993
Defaults in deductive databases. (Defaults in deduktiven Datenbanken.) Zbl 0941.68509
Brass, Stefan
1
1992
all cited Publications top 5 cited Publications
all top 5

Cited by 96 Authors

6 Brass, Stefan
5 Dix, Jurgen
5 Truszczyński, Mirosław
4 Eiter, Thomas
4 Knorr, Matthias
4 Nieves, Juan Carlos
4 Osorio, Mauricio A.
3 Cabalar, Pedro
3 Gonçalves, Ricardo
3 Leite, João
3 Pearce, David
3 Schaub, Torsten H.
3 Wang, Kewen
3 Woltran, Stefan
2 Dovier, Agostino
2 Faber, Wolfgang
2 Fichte, Johannes Klaus
2 Janhunen, Tomi
2 Odintsov, Sergei P.
2 Pontelli, Enrico
2 Przymusinski, Teodor C.
2 Saribatur, Zeynep Gozen
2 Szeider, Stefan
1 Acosta-Guadarrama, Juan
1 Aguado, Felicidad
1 Alcântara, João
1 Alferes, José Júlio
1 Antoniou, Grigoris
1 Arieli, Ofer
1 Arrazola Ramírez, José Ramón Enrique
1 Baader, Franz
1 Berthold, Matti
1 Bogaerts, Bart
1 Brüning, Stefan
1 Carballido, José Luis
1 Chen, Xiaoping
1 Chesñevar, Carlos Iván
1 Confalonieri, Roberto
1 Constantini, Stefania
1 Cortés, Ulises
1 Costantini, Stefania
1 D’Antona, Ottavio M.
1 Denker, Grit
1 Ehrich, Hans-Dieter
1 Elkhatib, Omar
1 Fandinno, Jorge
1 Formisano, Andrea
1 Gabaldon, Alfredo
1 Gebser, Martin
1 Gergatsoulis, Manolis
1 Guerrero, Esteban
1 Gupta, Gopal
1 Hermenegildo, Manuel V.
1 Heyninck, Jesse
1 Hollunder, Bernhard
1 Ji, Jianmin
1 Kaminski, Roland
1 Kaufmann, Benjamin
1 Knoks, Aleks
1 Konczak, Kathrin
1 Lin, Fangzhen
1 Lindgren, Helena
1 Liu, Yanhong Annie
1 Maher, Michael J.
1 Mu, Kedian
1 Niemelä, Ilkka N. F.
1 Ostrowski, Max
1 Pérez, Gilberto
1 Provetti, Alessandro
1 Rapberger, Anna
1 Rocha, Ricardo
1 Rogers, Timothy J.
1 Rondogiannis, Panos
1 Sá, Samy
1 Schüller, Peter
1 Sernadas, Amilcar C.
1 Shen, Yidong
1 Simari, G. R. Guillermo Ricardo
1 Son, Tran Cao
1 Stolzenburg, Frieder
1 Subrahmanian, V. S.
1 Tachmazidis, Ilias
1 Tekle, K. Tuncay
1 Thiele, Sven
1 Troumpoukis, Antonis
1 Tucker, Dustin
1 Ulbricht, Markus
1 Valverde, Agustín
1 Vázquez-Salceda, Javier
1 Vidal, Concepción
1 Wen, Lian
1 Wenzel, Mario
1 You, Jia-Huai
1 Yuan, Li Yan
1 Zepeda, Claudia
1 Zhou, Lizhu
all top 5

Cited in 17 Serials

13 Theory and Practice of Logic Programming
10 Artificial Intelligence
5 Annals of Mathematics and Artificial Intelligence
3 Theoretical Computer Science
2 Information Processing Letters
2 Journal of Automated Reasoning
2 Journal of Applied Non-Classical Logics
1 Journal of Philosophical Logic
1 Annals of Pure and Applied Logic
1 Journal of Computer Science and Technology
1 International Journal of Approximate Reasoning
1 AI Communications
1 Archive for Mathematical Logic
1 The Journal of Artificial Intelligence Research (JAIR)
1 ACM Transactions on Computational Logic
1 Journal of Applied Logic
1 The Review of Symbolic Logic

Cited in 3 Fields

58 Computer science (68-XX)
12 Mathematical logic and foundations (03-XX)
1 General and overarching topics; collections (00-XX)

Citations by Year