David Lorenzo

Learn More
We focus on learning representations of dynamical systems that can be characterized by logic-based formalisms for reasoning about actions and change, where system's behaviors are naturally viewed as appropriate logical consequences of the domain's description. To this end, logic-based induction methods are adapted to identify the input/output behavior of a(More)
Vitamin D receptor polymorphisms may predispose that not all individuals could have benefits from the nutritional supplementation of 25-hydroxyvitamin D. Furthermore, vitamin D-related cardiovascular effects may also be influenced by soy isoflavones considered endocrine regulators of cardiovascular homeostasis. To find possible gene–diet interactions by(More)
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing its application to other general non-monotonic formalisms. For comparison purposes, we start defining a subset of S4F we called Intuitionistic Default Logic (IDL), which consists in(More)