The Oleinik inequality for conservation laws and AronsonBenilan type inequalities for porous medium or p-Laplacian equations are one-sided inequalities that provide the fundamental features of the solution such as the uniqueness and sharp regularity. In this paper such one-sided inequalities are unified and generalized for a wide class of first and second order equations in the form of ut = σ(t...

This paper gives an explication of our intuitive notion of strength of justification in a controversial debate. It defines a thesis’ degree of justification within the bipolar argumentation framework of the theory of dialectical structures as the ratio of coherently adoptable positions according to which that thesis is true over all coherently adoptable positions. Broadening this definition, th...

We study the expressive power of fragments of inclusion and independence logic defined by restricting the number k of universal quantifiers in formulas. Assuming the so-called strict semantics for these logics, we relate these fragments of inclusion and independence logic to sublogics ESOf (k∀) of existential second-order logic, which in turn are known to capture the complexity classes NTIMERAM...

This paper proposes a method of the zero pronoun resohition, which is one of the essential processes in understanding systems for Japanese manual sentences. It is based on pragmatic properties of Japanese conditionals. We examined a uumber of sentences appearing in Japanese manuals according to the classillcation based on the types of agent and the types of verb phrase. As ~ result, we obtained...

Our understanding of subjunctive conditionals has been greatly enhanced through the use of possible world semantics and, more precisely, by the idea that they involve variably strict quantification over possible worlds. I propose to extend this treatment to ceteris paribus conditionals – that is, conditionals that incorporate a ceteris paribus or ‘other things being equal’ clause. Although such...

The present study addresses the issue of age differences in 5 personality domains across the life span in a cross-sectional study. In contrast to most previous studies, the present study follows a methodologically more rigorous approach to warrant that age-related differences in personality structure and mean level can be meaningfully compared. It uses data on 50 items of the Five-Factor Person...

in today’s turbulent world, the continuity of criticalactivities in the event of disruptions, and also fast recovery and return tobusiness as usual, are vital for sustainable success of companies. maintainingcontinuous delivery of critical business processes in the event of disruptions isa matter of business continuity. business continuity management system (bcms)is concerned with the developme...

In this paper, we discuss and compare several policies to place replicas in tree networks subject to server capacity. The client requests are known beforehand, while the number and location of the servers are to be determined. The standard approach in the literature is to enforce that all requests of a client be served by a single server in the tree (Single). One major contribution of this pape...

Abduction is usually defined in terms of classical logical consequence. In this paper we substitute this ’inferential parameter’ by the notion of strict implication. By doing so we hope to put more of the intended meaning of the abductive explanative relation into the background theory. By using strict rather than material implication static domain knowledge for abductive tasks can deal with so...

We present a proof procedure for functional first-order logic programs. The programs we consider allow first-order goals (including disjunctions, conjunctions, negations, and quantifications on elements of the domain). Atoms are either built-in statements or reduction statements of the form t → s, meaning that t is reducible to s. Call-time choices are used and the functions are non-determinist...