Bedside psychotherapy with medically ill patients can help counter their demoralization, which is the despair, helplessness, and sense of isolation that many patients experience when affected by illness and its treatments. Demoralization can be usefully regarded as the compilation of different existential postures that position a patient to withdraw from the challenges of illness. A fruitful in...

We establish connections between the size of circuits and formulas computing monotone Boolean functions and the size of firstorder and nonrecursive Datalog rewritings for conjunctive queries over OWL2QL ontologies. We use known lower bounds and separation results from circuit complexity to prove similar results for the size of rewritings that do not use non-signature constants. For example, we ...

Existential rules have been proposed for representing on-tological knowledge, specifically in the context of Ontology-BasedQuery Answering. Entailment with existential rules is undecidable.We focus in this paper on conditions that ensure the terminationof a breadth-first forward chaining algorithm known as the chase.First, we propose a new tool that allows to extend existing...

This paper investigates some fundamental properties of 2-way alternating multi-counter automata (2amca’s) with only existential (universal) states which have sublinear space and 1 inkdot. It is shown that for any function s(n) ≥ log n such that log s(n) = o(log n), s(n) space-bounded 1-inkdot 2amca’s with only existential states are incomparable with the ones with only universal states, and the...

We are interested in the kind of well-being that can occur as a person approaches death; we call it "existential maturity." We describe a conceptual model of this state that we felt was realized in an individual case, illustrating the state by describing the case. Our goal is to articulate a generalizable, working model of existential maturity in concepts and terms taken from fundamentals of ps...

This study examined concurrent influences on the will to live in 189 patients with end-stage cancer The authors found significant correlations between the will to live and existential, psychological, social, and, to a lesser degree, physical sources of distress. Existential variables proved to have the most influence, with hopelessness, burden to others, and dignity entering into the final mode...

We study conjunctive query answering and first-order rewritability of conjunctive queries for binary guarded existential rules. In particular, we prove that the problem of establishing whether a given set of binary guarded existential rules is such that all conjunctive queries admit a first-order rewriting is decidable, and present a technique for solving this problem. These results have a impo...

Closed monadic Σ1, as proposed in [AFS98], is the existential monadic second order logic where alternation between existential second order quantifiers and first order quantifiers is allowed. Despite some effort very little is known about the expressive power of this logic on finite structures. We construct a tree automaton which exactly characterizes closed monadic Σ1 on the Rabin tree and giv...

Therapeutic work with the client's present moment experience in existential therapy was studied by means of conversation analysis. Using publicly available video recordings of therapy sessions as data, an existential therapist's practice of guiding a client into immediacy, or refocusing the talk on a client's immediate experience, was described and compared with a therapist's corresponding acti...