Testing logic programs for local stratification (Q1199536): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4083324 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5592246 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3339245 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3348437 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The generalized counting method for recursive logic queries / rank | |||
Normal rank |
Latest revision as of 16:18, 16 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Testing logic programs for local stratification |
scientific article |
Statements
Testing logic programs for local stratification (English)
0 references
16 January 1993
0 references
Locally stratified programs are a significant class of logic programs with negation for which both declarative and fixpoint semantics are well defined. Unfortunately in most cases recognizing local stratification is so hard a task that it has been conjectured that the problem is undecidable. Indeed, a formal proof of this undecidability is presented and rather general sufficient conditions for local stratification are introduced. The sufficient conditions are based on an analysis of unification patterns based on a suitably defined algebra of terms.
0 references
logic programs with negation
0 references
analysis of unification patterns
0 references
algebra of terms
0 references