Recently, the stable model semantics was extended to a more general syntax beyond the rule form. Cabalar and Ferraris, as well as Cabalar, Pearce, and Valverde, showed that any propositional theory under the stable model semantics can be turned into a logic program. In this note, we present yet another proof of this result. Unlike the other approaches that are based on the logic of hereand-ther...

Advisory Group Dr. Michelangelo Anastassiades CVUA Stuttgart, Fellbach, Germany. Mr. Arne Andersson National Food Administration, Uppsala, Sweden. Dr. André de Kok Food and Consumer Product Safety Authority (VWA), Amsterdam, The Netherlands. Dr. Mette Erecius Poulsen Danish Institute for Food and Veterinary Research, Soeborg, Denmark. Dr. Amadeo R. Fernández-Alba University of Almería, Spain. D...

3D quantification of wall shear stress and oscillatory index using finite-element interpolations in 4D flow MR data of the thoracic aorta. Julio Andres Sotelo, Jesús Urbina, Cristian Tejos, Israel Valverde, Daniel Hurtado, and Sergio Uribe Biomedical Imaging Center, Pontificia Universidad Catolica de Chile, Santiago, Santiago, Chile, Electrical Engineering, Pontificia Universidad Catolica de Ch...

In this work we present additional results related to the property of strong equivalence of logic programs. This property asserts that two programs share the same set of stable models, even under the addition of new rules. As shown in a recent work by Lifschitz, Pearce and Valverde, strong equivalence can be simply reduced to equivalence in the logic of Here-and-There (HT). In this paper we pro...

Dr. Antonio Valverde University of Almería, Spain. Mr. Stewart Reynolds The Food and Environment Research Agency, York, United Kingdom. Dr. Sonja Masselter AGES GmbH, Competence Center for Residues of Plant Protection Products, Innsbruck, Austria. Dr. André de Kok Food and Consumer Product Safety Authority (VWA), Amsterdam, The Netherlands. Dr. Amadeo R. Fernández-Alba University of Almería, Sp...

Background Males of the order Squamata have similar structure to the seminal vesicles of mammals called Renal Sexual Segment (RSS). The RSS regions are hypertrophied kidney ducts, androgen-dependent, responsible for providing secretions (complex of glycogen, mucopolysaccharides, mucoproteins and lipids) that nourishes and keeps the sperm during copulation [1,3], acting accessorily on reproducti...