• Mathematics
  • Published 1993

A NEW METHOD OF PROVING THE EXISTENCE OF ANSWER SETS FOR DISJUNCTIVE LOGIC PROGRAMS: A METRIC FIXED POINT THEOREM FOR MULTI-VALUED MAPS

@inproceedings{Khamsi1993ANM,
  title={A NEW METHOD OF PROVING THE EXISTENCE OF ANSWER SETS FOR DISJUNCTIVE LOGIC PROGRAMS: A METRIC FIXED POINT THEOREM FOR MULTI-VALUED MAPS},
  author={M. A. Khamsi and Vladik Kreinovich and Driss Misane},
  year={1993}
}
After the success of stable model semantics [GL88] and its generalization for programs with classical negations [GL90], the same ideas have been used in [GL91] to include disjunction into the resulting formalization of commonsense reasoning. The resulting semantics of disjunctive logic programs is relatively new, and therefore, few results are known. An additional problem with this semantics is as follows: since it incorporates a larger number of logical connectives, it is inevitably more… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 16 CITATIONS

References

Publications referenced by this paper.