Folgen
Stefan Brass
Titel
Zitiert von
Zitiert von
Jahr
Semantics of (disjunctive) logic programs based on partial evaluation
S Brass, J Dix
The Journal of Logic Programming 40 (1), 1-46, 1999
1161999
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
1092006
Characterizations of the disjunctive stable semantics by partial evaluation
S Brass, J Dix
The Journal of Logic Programming 32 (3), 207-228, 1997
1061997
Disjunctive Semantics based upon Partial and Bottom-Up Evaluation.
S Brass, J Dix
ICLP, 199-213, 1995
1051995
Characterizations of the disjunctive well-founded semantics: confluent calculi and iterated GCWA
S Brass, J Dix
Journal of automated reasoning 20, 143-165, 1998
881998
A general approach to bottom-up computation of disjunctive semantics
S Brass, J Dix
Lecture Notes in Computer Science, 127-127, 1995
741995
Characterizations of the stable semantics by partial evaluation
S Brass, J Dix
Logic Programming and Nonmonotonic Reasoning: Third International Conference …, 1995
711995
Semantice of Inheritance in Logical Object Specifications.
S Brass, UW Lipeck
DOOD, 411-430, 1991
581991
A disjunctive semantics based on unfolding and bottom-up evaluation
S Brass, J Dix
Innovationen bei Rechen-und Kommunikationssystemen: Eine Herausforderung für …, 1994
571994
Specifying closed world assumptions for logic databases
S Brass, UW Lipeck
MFDBS 89: 2nd Symposium on Mathematical Fundamentals of Database Systems …, 1989
361989
Characterizing D-WFS: confluence and iterated GCWA
S Brass, J Dix
JELIA 96, 268-283, 1996
351996
Super logic programs
S Brass, J Dix, TC Przymusinski
arXiv preprint cs/0010032, 2000
342000
Generalized bottom-up query evaluation
S Brass, UW Lipeck
Advances in Database Technology—EDBT'92: 3rd International Conference on …, 1992
341992
Deduction with supernormal defaults
S Brass
Nonmonotonic and Inductive Logic: Second International Workshop …, 1993
331993
On the semantics of supernormal defaults
S Brass
IJCAI 93, 578-583, 1993
321993
Improving the alternating fixpoint: The transformation approach
U Zukowski, S Brass, B Freitag
Logic Programming And Nonmonotonic Reasoning: 4th International Conference …, 1997
311997
Semantics of disjunctive logic programs based on partial evaluation
S Brass, J Dix
Journal of Logic programming, 199-213, 1998
291998
Bottom-up query evaluation with partially ordered defaults
S Brass, UW Lipeck
DOOD, 253-266, 1993
291993
Proving the safety of SQL queries
S Brass, C Goldberg
Fifth International Conference on Quality Software (QSIC'05), 197-204, 2005
282005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20