Следене
Stefan Brass
Заглавие
Позовавания
Позовавания
Година
Semantic errors in SQL queries: A quite complete list
S Brass, C Goldberg
Journal of Systems and Software 79 (5), 630-644, 2006
1282006
Semantics of (disjunctive) logic programs based on partial evaluation
S Brass, J Dix
The Journal of Logic Programming 40 (1), 1-46, 1999
1191999
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
Characterizations of the disjunctive stable semantics by partial evaluation
S Brass, J Dix
The Journal of Logic Programming 32 (3), 207-228, 1997
1081997
Disjunctive Semantics based upon Partial and Bottom-Up Evaluation.
S Brass, J Dix
ICLP, 199-213, 1995
1061995
Characterizations of the disjunctive well-founded semantics: confluent calculi and iterated GCWA
S Brass, J Dix
Journal of automated reasoning 20, 143-165, 1998
901998
A general approach to bottom-up computation of disjunctive semantics
S Brass, J Dix
International Workshop on Non-monotonic Extensions of Logic Programming, 127-155, 1994
751994
Characterizations of the stable semantics by partial evaluation
S Brass, J Dix
International Conference on Logic Programming and Nonmonotonic Reasoning, 85-98, 1995
691995
A disjunctive semantics based on unfolding and bottom-up evaluation
S Brass, J Dix
Innovationen bei Rechen-und Kommunikationssystemen: Eine Herausforderung für …, 1994
581994
Semantics of inheritance in logical object specifications
S Brass, UW Lipeck
International Conference on Deductive and Object-Oriented Databases, 411-430, 1991
561991
Specifying closed world assumptions for logic databases
S Brass, UW Lipeck
Symposium on Mathematical Fundamentals of Database Systems, 68-84, 1989
361989
Super logic programs
S Brass, J Dix, TC Przymusinski
arXiv preprint cs/0010032, 2000
352000
Characterizing D-WFS: confluence and iterated GCWA
S Brass, J Dix
Logics in Artificial Intelligence: European Workshop, JELIA'96 Évora …, 1996
341996
Generalized bottom-up query evaluation
S Brass, UW Lipeck
Advances in Database Technology—EDBT'92: 3rd International Conference on …, 1992
341992
On the semantics of supernormal defaults
S Brass
IJCAI 93, 578-583, 1993
331993
Deduction with supernormal defaults
S Brass
Nonmonotonic and Inductive Logic: Second International Workshop …, 1993
331993
Improving the alternating fixpoint: The transformation approach
U Zukowski, S Brass, B Freitag
Logic Programming And Nonmonotonic Reasoning: 4th International Conference …, 1997
301997
Bottom-up query evaluation with partially ordered defaults
S Brass, UW Lipeck
International Conference on Deductive and Object-Oriented Databases, 253-266, 1993
301993
Proving the safety of SQL queries
S Brass, C Goldberg
Fifth International Conference on Quality Software (QSIC'05), 197-204, 2005
292005
Semantics of disjunctive logic programs based on partial evaluation
S Brass, J Dix
Journal of Logic programming, 199-213, 1998
291998
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20