Characterizations of Classes of Programs by Three-Valued Operators

@inproceedings{Hitzler1999CharacterizationsOC,
  title={Characterizations of Classes of Programs by Three-Valued Operators},
  author={Pascal Hitzler and Anthony Karel Seda},
  booktitle={LPNMR},
  year={1999}
}
Several important classes of normal logic programs includ ing the classes of acyclic acceptable and locally hierarchical programs have the property that every program in the class has a unique two valued supported model In this paper we call such classes unique sup ported model classes We analyse and characterize these classes by means of operators on three valued logics Our studies will motivate the de ni tion of a larger unique supported model class which we call the class of accessible… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 21 references

Strati ed, Weak Strati ed, and Three-Valued Seman tics

  • M. Fitting, M. Ben-Jacob
  • Fundamenta Informaticae XIII
  • 1990
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…