- Full text PDF available (11)
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 describe different ASP encodings to show the independence of some axioms of $G_3'$ logic, and to obtain a paraconsistent multivalued logic based on the axioms of $G_3'$ logic.
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 order to promptly detect, diagnose and control animal diseases, surveillance systems rely on early reporting of cases. Efficient surveillance systems require a strong veterinary presence in the field able to recognise and investigate disease occurrence. In developed countries, fewer and fewer veterinary students consider a career in production animals;… (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)
We present an overview of an implementation of p-stable semantics, since we consider that this semantics can be a formal approach useful in the fields of Electronics, Robotics, or Automotive Mechanics.
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)