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