Claudia Zepeda

Learn More
Monitoring and surveillance systems (MOSS) are essential activities for official Veterinary Services. In addition, the increased trade in animals and animal products over recent years has increased the importance of international disease reporting. A reliable surveillance system is the key to early warning of a change in the health status of any animal(More)
Free trade of animals and their products is based on the international or bilateral recognition of the health status of the animal populations being traded. This recognition is based on documentation of their health status by the exporting country, based on the results of continuing surveillance. According to the Terrestrial Animal Health Code of the World(More)
We present an overview on how to perform non-monotonic reasoning based on paraconsistent logics. In particular, we show that one can define a logic programming semantics based on the paraconsistent logic G' 3 which is called G' 3-stable semantics. This semantics defines a frame for performing non-monotonic reasoning in domains which are pervaded with(More)
In this work, we present current results of our research which goal is to develop a decision support system using Answer Set Programming as an extension of a Geographic Information System to model vehicular evacuation plans. We also present why an Answer Set Programming approach seems to be appropriate to explore in order to create this extension. In order(More)
the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners. 5. P-stable models of strong kernel programs José Luis Carballido, Claudia Zepeda 6. A statistical approach to crosslingual natural language tasks 7. Brief study of the(More)