Abiteboul, Serge; Kanellakis, Paris; Grahne, Gösta On the representation and querying of sets of possible worlds. (English) Zbl 0741.68039 Theor. Comput. Sci. 78, No. 1, 159-187 (1991). Reviewer: J.Šefránek (Bratislava) MSC: 68P15 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Abiteboul, Serge; Simon, Eric Fundamental properties of deterministic and nondeterministic extensions of Datalog. (English) Zbl 0722.68032 Theor. Comput. Sci. 78, No. 1, 137-158 (1991). Reviewer: H.Zeitler (München) MSC: 68P15 68N17 × Cite Format Result Cite Review PDF Full Text: DOI
Bidoit, Nicole; Froidevaux, Christine Negation by default and unstratifiable logic programs. (English) Zbl 0716.68075 Theor. Comput. Sci. 78, No. 1, 85-112 (1991). MSC: 68T15 68Q55 68N17 68T27 × Cite Format Result Cite Review PDF Full Text: DOI
Royer, Véronique The semantics of incomplete databases as an expression of preferences. (English) Zbl 0716.68029 Theor. Comput. Sci. 78, No. 1, 113-136 (1991). MSC: 68P15 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Demolombe, Robert An efficient strategy for non-Horn deductive databases. (English) Zbl 0716.68027 Theor. Comput. Sci. 78, No. 1, 245-259 (1991). MSC: 68P15 68N17 68T15 68T27 × Cite Format Result Cite Review PDF Full Text: DOI
Courcelle, Bruno Recursive queries and context-free graph grammars. (English) Zbl 0716.68026 Theor. Comput. Sci. 78, No. 1, 217-244 (1991). MSC: 68P15 68Q42 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Bidoit, N. Negation in rule-based database languages: A survey. (English) Zbl 0716.68025 Theor. Comput. Sci. 78, No. 1, 3-83 (1991). MSC: 68P15 68N17 68T27 68N15 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Delahaye, J. P.; Thibau, V. Programming in three-valued logic. (English) Zbl 0716.68022 Theor. Comput. Sci. 78, No. 1, 189-216 (1991). MSC: 68N17 68P15 03B50 × Cite Format Result Cite Review PDF Full Text: DOI