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)
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)
—In this paper, we present a general schema for defining new update semantics. This schema takes as input any basic logic programming semantics, such as the stable semantics, the p-stable semantics or the M M r semantics, and gives as output a new update semantics. The schema proposed is based on a concept called minimal generalized S models, where S is any… (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)
We present some examples which show how preference ordered disjunction adds useful features to answer set programming, as well as an interesting example of how it can be useful for modeling a real problem about agriculture. In this paper, we present a mathematical formalization for the problem of making decisions to promote planting and conservation of… (More)
We present an update operator and several of its properties. The semantics of our update operator is based on a concept called minimal generalized p-stable models which is based on a novel semantics called the p-stable semantics.
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)