Results 31 to 40 of about 113,481 (327)
At the high-altitude Donje Bare and Gornje Bare Lakes in the surroundings of Tjentište village, Zelengora Mts., Sutjeska National Park, SE Bosnia and Herzegovina, Coenagrion hastulatum was recorded on 26 June 2011.
Matjaž Bedjanič
doaj +1 more source
Translating LPOD and CR-Prolog2 into Standard Answer Set Programs
Logic Programs with Ordered Disjunction (LPOD) is an extension of standard answer set programs to handle preference using the construct of ordered disjunction, and CR-Prolog2 is an extension of standard answer set programs with consistency restoring ...
Lee, Joohyung, Yang, Zhun
core +1 more source
Deductive synthesis of recursive plans in linear logic [PDF]
Linear logic has previously been shown to be suitable for describing and deductively solving planning problems involving conjunction and disjunction.
A. Bundy +15 more
core +3 more sources
Scalar Implicature, Hurford's Constraint, Contrastiveness and How They All Come Together
Disjunction with two scalar items, such as some or all of the books, has been regarded as evidence for the grammatical theory of scalar implicatures (e.g., Chierchia et al., 2012).
Satoshi Tomioka
doaj +1 more source
Uniform Definability in Propositional Dependence Logic
Both propositional dependence logic and inquisitive logic are expressively complete. As a consequence, every formula with intuitionistic disjunction or intuitionistic implication can be translated equivalently into a formula in the language of ...
Yang, Fan
core +1 more source
The Interpretation of Disjunction in the Scope of Dou in Child Mandarin
A recent theory provides a unified cross-linguistic analysis of the interpretations that are assigned to expressions for disjunction, Negative Polarity Items, Free Choice Items, and the non-interrogative uses of wh-phrases in languages such as Mandarin ...
Shasha An, Peng Zhou, Stephen Crain
doaj +1 more source
Disjunction: Its interpretations and L-truth
It has been proposed that disjunction has seven possible interpretations. Thus, it has been claimed that, in addition to the exclusive and inclusive ones, there are five more types of disjunctions.
Miguel López Astorga
doaj +1 more source
Time window temporal logic [PDF]
This paper introduces time window temporal logic (TWTL), a rich expressive language for describing various time bounded specifications. In particular, the syntax and semantics of TWTL enable the compact representation of serial tasks, which are prevalent
Aksaray, Derya +2 more
core +1 more source
Quantum Experimental Data in Psychology and Economics
We prove a theorem which shows that a collection of experimental data of probabilistic weights related to decisions with respect to situations and their disjunction cannot be modeled within a classical probabilistic weight structure in case the ...
A. Aspect +70 more
core +1 more source
Microfluidic electro‐viscoelastic manipulation of extracellular vesicles
The electro‐viscoelastic manipulation as a potential method for separation of particles based on size. The particles introduced as a sheath flow migrate to the channel center under the influence of simultaneously applied electric field and pressure driven flow.
Seyedamirhosein Abdorahimzadeh +7 more
wiley +1 more source

