Hybrid Rules with Well-Founded Semantics

A general framework is proposed for integration of rules and external first order theories. It is based on the well-founded semantics of normal logic programs and inspired by ideas of Constraint Logic Programming (CLP) and constructive negation for logic programs. Hybrid rules are normal clauses extended with constraints in the bodies; constraints are certain formulae in the language of the external theory. A hybrid program is a pair of a set of hybrid rules and an external theory. Instances of the framework are obtained by specifying the class of external theories, and the class of constraints. An example instance is integration of (non-disjunctive) Datalog with ontologies formalized as description logics. The paper defines a declarative semantics of hybrid programs and a goal-driven formal operational semantics. The latter can be seen as a generalization of SLS-resolution. It provides a basis for hybrid implementations combining Prolog with constraint solvers. Soundness of the operational semantics is proven. Sufficient conditions for decidability of the declarative semantics, and for completeness of the operational semantics are given

A Model of Mindful Parenting: Implications for Parent–Child Relationships and Prevention Research

This paper introduces a model of “mindful parenting” as a framework whereby parents intentionally bring moment-to-moment awareness to the parent–child relationship. This is done by developing the qualities of listening with full attention when interacting with their children, cultivating emotional awareness and self-regulation in parenting, and bringing compassion and nonjudgmental acceptance to their parenting interactions. First, we briefly outline the theoretical and empirical literature on mindfulness and mindfulness-based interventions. Next, we present an operational definition of mindful parenting as an extension of mindfulness to the social context of parent–child relationships. We discuss the implications of mindful parenting for the quality of parent–child relationships, particularly across the transition to adolescence, and we review the literature on the application of mindfulness in parenting interventions. We close with a synopsis of our own efforts to integrate mindfulness-based intervention techniques and mindful parenting into a well-established, evidence-based family prevention program and our recommendations for future research on mindful parenting interventions

A qualitative and quantitative model for climate-driven lake formation on carbonate platforms based on examples from the Bahamian archipelago

Lakes on carbonate platform islands such as the Bahamas display wide variability in morphometry, chemistry, and fauna. These parameters are ultimately driven by climate, sea level, and carbonate accumulation and dissolution. The authors propose a model that integrates climatological, geomorphological, and stratigraphic frameworks to understand processes of carbonate-hosted lake formation and limnological characteristics in modern day environments, with applications to carbonate lake sedimentary records. Fifty-two lakes from San Salvador Island and Eleuthera, Bahamas, were examined for water chemistry, basin morphology, conduit development, conductivity, and major ions. Using non-metric, multi-dimensional scaling ordination methods, the authors derived a model dividing lakes into either constructional or destructional formational modes. Constructional lakes were further divided into pre-highstand and highstand types based on whether their formation occurred during a marine regressive or transgressive phase. Destructional lakes are created continually by dissolution of bedrock at fresh/saline water interfaces and their formation is therefore related to changing climate and sea level. This model shows that lake formation is influenced by the hydrologic balance associated with climatic conditions that drives karst dissolution as well as the deposition of aeolian dune ridges that isolate basins due to sea-level fluctuations. It allows for testing and examining the climatic and hydrologic regime as related to carbonate accumulation and dissolution through time, and for an improved understanding of lake sensitivity and response to climate as preserved in the lacustrine sedimentary record