An efficient strategy for non-Horn deductive databases (Q753478): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q5679729 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3820060 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A fixpoint semantics for disjunctive logic programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3820058 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Alexander Method - a technique for the processing of recursive axioms in deductive databases / rank | |||
Normal rank |
Latest revision as of 13:24, 21 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An efficient strategy for non-Horn deductive databases |
scientific article |
Statements
An efficient strategy for non-Horn deductive databases (English)
0 references
1991
0 references
deductive databases
0 references
non-Horn clauses
0 references
SL resolution
0 references