## A New Method of Proving the Existence of Answer Sets for Disjunctive Logic Programs: A Metric Fixed-Point Theorem for Multivalued Mappings (1993)

by
Mohamed A. Khamsi
,
Vladik Kreinovich
,
Driss Misane
,
Universite Mohammed V
,
Faculte Des Sciences

Venue: | Proceedings of the Workshop on Logic Programming with Incomplete Information |

Citations: | 18 - 5 self |