Disjunctive Signed Logic Programs

Article type: Research Article

Authors: Khamsi, Mohamed A. | Misane, Driss

Affiliations: Department of Mathematical Sciences, University of Texas at El Paso, El Paso, TX 79968. email:mohamed@math.utep.edu | Département de Mathématiques, Faculté des Sciences, Universite Mohammed V, Rabat, Morocco. URI: http://www.math.utep.edu/Faculty/khamsi/amine.html

Abstract: In this work, we define signed disjunctive programs and investigate the existence of answer sets for this class of programs. Our main argument is based on an analogue of Tarski's fixed point theorem which we prove for multivalued mappings. This is an original approach compared to known techniques used to prove the existence of answer sets for disjunctive programs.

DOI: 10.3233/FI-1997-323409

Journal: Fundamenta Informaticae, vol. 32, no. 3-4, pp. 349-357, 1997