Results 21 to 30 of about 15,510 (291)
Query answering over disjunctive datalog with existential quantifiers [PDF]
The paper discusses the impact of adding existential quantifi- cation in the head of positive disjunctive Datalog rules. After introducing syntax and semantics of the resulting language, we provide a notion of instantiation, which has been proven to ...
Alviano, Mario +3 more
core +3 more sources
PLoS ONE, 2015 BackgroundThere is increasing interest in applying image texture quantifiers to assess the intra-tumor heterogeneity observed in FDG-PET images of various cancers.
Frank J Brooks, Perry W Grigsby
doaj +1 more source
Study on English Translation of Chinese Quantifiers from the Perspective of Cognitive Iconicity: A Pilot Study [PDF]
SHS Web of ConferencesChinese quantifiers are heavily loaded with Chinese culture, making it challenging to translate them into idiomatic English. The majority of earlier studies only examined linguistically the English translations of Chinese quantifiers.
Liu Ying, Lu Weizhong
doaj +1 more source
Towards an Efficient Evaluation of General Queries [PDF]
, 1989 Database applications often require to evaluate queries containing quantifiers or disjunctions, e.g., for handling general integrity constraints. Existing efficient methods for processing quantifiers depart from the relational model as they rely on ...
Bry, François, Clifford, James
core +1 more source
Some Yoruba quantifier words and semantic interpretation a reply to a critique
Studies in African Linguistics, 1989 The empirical support for Adewole's critique of my paper (in this issue), "Some Yoruba quantifier words and semantic interpretation" [LawaI 1986], comes from a literary text Atoto Arere [Adewole p. 4].
Adenike S. Lawal
doaj +3 more sources
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023 In earlier work we defined a qualitative notion of harm: either harm is caused, or it is not. For practical applications, we often need to quantify harm; for example, we may want to choose the least harmful of a set of possible interventions. We first present a quantitative definition of harm in a deterministic context involving a single individual ...
Sander Beckers +2 more
openaire +3 more sources
Quantifiers and working memory
, 2009 The paper presents a study examining the role of working memory in quantifier verification. We created situations similar to the span task to compare numerical quantifiers of low and high rank, parity quantifiers and proportional quantifiers. The results
Szymanik, J., Zajenkowski, M.
core +5 more sources
Relationships between Specified and Underspecified Quantification by the Theory of Acyclic Recursion
Advances in Distributed Computing and Artificial Intelligence Journal, 2016 The paper introduces a technique for representing quantifier relations that can have different scope order depending on context. The technique is demonstrated by classes of terms denoting relations, where each of the arguments of a relation term is bound
Roussanka LOUKANOVA
doaj +1 more source
Borealis: An International Journal of Hispanic Linguistics, 2019 El presente trabajo ofrece una primera descripción del comportamiento del cuantificador cadas –en relación a su forma estándar cada– cuando aparece antepuesto a un sustantivo plural, esto es, a partir de las propiedades formales del elemento que acompaña.
Enrique Pato
doaj +1 more source
On Second-Order Monadic Monoidal and Groupoidal Quantifiers [PDF]
Logical Methods in Computer Science, 2010 We study logics defined in terms of second-order monadic monoidal and groupoidal quantifiers. These are generalized quantifiers defined by monoid and groupoid word-problems, equivalently, by regular and context-free languages.
Juha Kontinen, Heribert Vollmer
doaj +1 more source