Log in

Relevant bibliographies by topics / Quantifiers

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Quantifiers'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Quantifiers.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Quantifiers"

1

CUI, LICONG, YONGMING LI, and XIAOHONG ZHANG. "INTUITIONISTIC FUZZY LINGUISTIC QUANTIFIERS BASED ON INTUITIONISTIC FUZZY-VALUED FUZZY MEASURES AND INTEGRALS." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 17, no. 03 (2009): 427–48. http://dx.doi.org/10.1142/s0218488509005966.

Full text

Abstract:

In this paper, we generalize Ying's model of linguistic quantifiers [M.S. Ying, Linguistic quantifiers modeled by Sugeno integrals, Artificial Intelligence, 170 (2006) 581-606] to intuitionistic linguistic quantifiers. An intuitionistic linguistic quantifier is represented by a family of intuitionistic fuzzy-valued fuzzy measures and the intuitionistic truth value (the degrees of satisfaction and non-satisfaction) of a quantified proposition is calculated by using intuitionistic fuzzy-valued fuzzy integral. Description of a quantifier by intuitionistic fuzzy-valued fuzzy measures allows us to

APA, Harvard, Vancouver, ISO, and other styles

2

Benmamoun, Elabbas. "The Syntax of Quantifiers and Quantifier Float." Linguistic Inquiry 30, no. 4 (1999): 621–42. http://dx.doi.org/10.1162/002438999554237.

Full text

Abstract:

The Arabic quantifier kull displays a Q___NP and NP___Q alternation. Shlonsky (1991) argues that in both patterns Q heads a QP projection with the NP as a complement that may undergo movement to [Spec, QP] or beyond to yield the NP___Q pattern and Q-float structures. On the contrary, I argue on the basis of evidence from reconstruction, Case, and agreement that the two patterns are radically different. In the Q___NP pattern Q is indeed the head of a QP projection that contains the NP. In the NP___Q pattern, however, Q heads a QP adjunct that modifies the NP and in some cases the VP.

APA, Harvard, Vancouver, ISO, and other styles

3

Huumo, Tuomas. "Layers of (un)boundedness: The aspectual–quantificational interplay of quantifiers and partitive case in Finnish object arguments." Linguistics 58, no. 3 (2020): 905–36. http://dx.doi.org/10.1515/ling-2020-0084.

Full text

Abstract:

AbstractI present an account of the interplay between quantifiers and the partitive–accusative case alternation in Finnish object marking, with special reference to the aspectual and quantificational semantics of the clause. The case alternation expresses two oppositions (in affirmative clauses): (a) bounded (accusative) vs. unbounded (partitive) quantity, (b) culminating (accusative) vs. non-culminating (partitive) aspect. The quantifiers analyzed are of two main types: (i) mass quantifiers (e. g., paljon ‘a lot of’, vähän ‘(a) little’), which quantify a mass expressed by a mass noun or a plu

APA, Harvard, Vancouver, ISO, and other styles

4

De Cat, Cécile. "Towards a unified analysis of French floating quantifiers." Journal of French Language Studies 10, no. 1 (2000): 1–25. http://dx.doi.org/10.1017/s0959269500000119.

Full text

Abstract:

In French, a quantifier can appear in various positions outside of the NP it quantifies over, whether this NP is the subject or the (direct or indirect) object of the sentence. This phenomenon, often referred to as ‘floating’, has been investigated since the early stages of the generative framework, and several analyses have been proposed to account for both the quantifier subject and the quantifier object in a unified way. However, to my knowledge, none of them has succeeded in providing such a unified account without recourse to non-explanatory restrictions. The main aim of this paper is to

APA, Harvard, Vancouver, ISO, and other styles

5

Holford, Dawn Liu, Marie Juanchich, Tom Foulsham, Miroslav Sirota, and Alasdair D. F. Clarke. "Eye-tracking evidence for fixation asymmetries in verbal and numerical quantifier processing." Judgment and Decision Making 16, no. 4 (2021): 969–1009. http://dx.doi.org/10.1017/s1930297500008056.

Full text

Abstract:

AbstractWhen people are given quantified information (e.g., ‘there is a 60% chance of rain’), the format of quantifiers (i.e., numerical: ‘a 60% chance’ vs. verbal: ‘it is likely’) might affect their decisions. Previous studies with indirect cues of judgements and decisions (e.g., response times, decision outcomes) give inconsistent findings that could support either a more intuitive process for verbal than numerical quantifiers or a greater focus on the context (e.g., rain) for verbal than numerical quantifiers. We used two pre-registered eye-tracking experiments (n(1) = 148, n(2) = 133) to i

APA, Harvard, Vancouver, ISO, and other styles

6

Szymanik, Jakub, and Marcin Zajenkowski. "Contribution of working memory in parity and proportional judgments." Cognitive and Empirical Pragmatics 25 (December 5, 2011): 176–94. http://dx.doi.org/10.1075/bjl.25.08szy.

Full text

Abstract:

This paper presents experimental evidence on the differences in a sentence–picture verification task under additional memory load between parity and proportional quantifiers. We asked subjects to memorize strings of four or six digits, then to decide whether a quantified sentence was true for a given picture, and finally to recall the initially given string of numbers. The results show that: (a) proportional quantifiers are more difficult than parity quantifiers with respect to reaction time and accuracy; (b) maintaining either four or six elements in working memory has the same effect on the

APA, Harvard, Vancouver, ISO, and other styles

7

신근영. "A New Type of Floating Quantifiers: Tamazight Quantifier Kullu." Journal of Studies in Language 32, no. 1 (2016): 95–114. http://dx.doi.org/10.18627/jslg.32.1.201605.95.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Yokota, Kenji. "Japanese floating numeral quantifiers as generalized quantifiers." Language Sciences 45 (September 2014): 123–34. http://dx.doi.org/10.1016/j.langsci.2014.06.017.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

BARBERO, FAUSTO. "SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION." Review of Symbolic Logic 12, no. 3 (2019): 456–86. http://dx.doi.org/10.1017/s1755020319000145.

Full text

Abstract:

AbstractWe analyse the two definitions of generalized quantifiers for logics of dependence and independence that have been proposed by F. Engström, comparing them with a more general, higher order definition of team quantifier. We show that Engström’s definitions (and other quantifiers from the literature) can be identified, by means of appropriate lifts, with special classes of team quantifiers. We point out that the new team quantifiers express a quantitative and a qualitative component, while Engström’s quantifiers only range over the latter. We further argue that Engström’s definitions are

APA, Harvard, Vancouver, ISO, and other styles

10

Moxey, Linda M. "Processing Quantified Noun Phrases with Numbers Versus Verbal Quantifiers." Discourse Processes 55, no. 2 (2017): 136–45. http://dx.doi.org/10.1080/0163853x.2017.1330042.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Quantifiers"

1

Alechina, Natalia Albertovna. "Modal quantifiers." Amsterdam : Amsterdam : Institute for Logic, Language and Computation ; Universiteit van Amsterdam [Host], 1995. http://dare.uva.nl/document/33079.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Hackl, Martin 1968. "Comparative quantifiers." Thesis, Massachusetts Institute of Technology, 2000. http://hdl.handle.net/1721.1/8765.

Full text

Abstract:

Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, February 2001.<br>Includes bibliographical references (leaves 187-193).<br>The main goal of the thesis is to present a novel analysis of comparative quantifiers such as more than three students. The prevalent view on such expressions advocated in Generalized Quantifier Theory is that they denoted generalized quantifiers ranging over individuals - entirely on a par with expressions like every student, some student(s), etc. According to this view, more than three is a determiner (like every) that is, even

APA, Harvard, Vancouver, ISO, and other styles

3

Moewaki, Ayako. "Quantifiers in Kwak'wala." Thesis, University of British Columbia, 2016. http://hdl.handle.net/2429/59043.

Full text

Abstract:

This thesis describes and analyzes the syntax and semantics of quantification in Kwak’wala, a Northern Wakashan language spoken on Vancouver Island and the adjacent mainland of British Columbia. In standard accounts of quantification, quantifiers can be divided into two categories: strong quantifiers and weak quantifiers (Barwise and Cooper (1981), Keenan (1996), Milsark (1979), Partee (1988)). Taking the strong/weak distinction as a starting point, this thesis documents the syntactic and semantic features of Kwak’wala quantifiers, focusing on wi'la (‘all’), ḵ̓ina̱m (‘many’), and numerals,

APA, Harvard, Vancouver, ISO, and other styles

4

Fukushima, Kazuhiko. "Generalized floating quantifiers." Diss., The University of Arizona, 1991. http://hdl.handle.net/10150/185424.

Full text

Abstract:

A syntactic and semantic treatment of Japanese floating quantifiers is provided from a perspective of unification based grammatical theories and model theoretic semantics. The inventory of floating quantifiers under consideration includes not only familiar cardinals but also other quantificational elements such as universals. Syntactically, floating quantifiers are taken to be adverbial endocentric modifiers for some V-projections. Scrambling phenomena involving multiple floating quantifiers will also be accounted for without employing movement rules of any sort. Floating quantifiers function

APA, Harvard, Vancouver, ISO, and other styles

5

Reggio, Luca. "Quantifiers and duality." Thesis, Sorbonne Paris Cité, 2018. http://www.theses.fr/2018USPCC210/document.

Full text

Abstract:

Le thème central de la présente thèse est le contenu sémantique des quantificateurs logiques. Dans leur forme la plus simple, les quantificateurs permettent d’établir l’existence, ou la non-existence, d’individus répondant à une propriété. En tant que tels, ils incarnent la richesse et la complexité de la logique du premier ordre, par delà la logique propositionnelle. Nous contribuons à l’analyse sémantique des quantificateurs, du point de vue de la théorie de la dualité, dans trois domaines différents des mathématiques et de l’informatique théorique. D’une part, dans la théorie des langages f

APA, Harvard, Vancouver, ISO, and other styles

6

French, Timothy Noel. "Bisimulation quantifiers for modal logics." University of Western Australia. School of Computer Science and Software Engineering, 2006. http://theses.library.uwa.edu.au/adt-WU2007.0013.

Full text

Abstract:

Modal logics have found applications in many diferent contexts. For example, epistemic modal logics can be used to reason about security protocols, temporal modal logics can be used to reason about the correctness of distributed systems and propositional dynamic logic can reason about the correctness of programs. However, pure modal logic is expressively weak and cannot represent many interesting secondorder properties that are expressible, for example, in the μ-calculus. Here we investigate the extension of modal logics with propositional quantification modulo bisimulation (bisimulation quant

APA, Harvard, Vancouver, ISO, and other styles

7

Nussbaum, Miriam Claire. "Subset comparatives as comparative quantifiers." Thesis, Massachusetts Institute of Technology, 2017. http://hdl.handle.net/1721.1/113771.

Full text

Abstract:

Thesis: S.M. in Linguistics, Massachusetts Institute of Technology, Department of Linguistics and Philosophy, 2017.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 42-44).<br>This paper motivates and presents a novel analysis of the "subset comparative" construction (e.g. John saw more phonologists than just Mary; John drank more than just coffee). I build on Hackl (2000) and Alxatib (2013)'s analyses of comparative quantifiers (more than three) to develop a unified account for both. This analysis entails that subset comparatives are formed via ellipsis o

APA, Harvard, Vancouver, ISO, and other styles

8

Zhang, Qiao. "The semantics of fuzzy quantifiers." Thesis, University of Edinburgh, 1996. http://hdl.handle.net/1842/21630.

Full text

Abstract:

The aim of this thesis is to discuss the semantics of FQs (fuzzy quantifiers), formal semantics in particular. The approach used is fuzzy semantic based on fuzzy set theory (Zadeh 1965, 1975), i.e. we explore primarily the denotational meaning of FQs represented by membership functions. Some empirical data from both Chinese and English is used for illustration. A distinguishing characteristic of the semantics of FQs like about 200 students and many students as opposed to other sorts of quantifiers like every student and no students, is that they have fuzzy meaning boundaries. There is consider

APA, Harvard, Vancouver, ISO, and other styles

9

Cabalar, Pedro. "Existential quantifiers in the rule body." Universität Potsdam, 2010. http://opus.kobv.de/ubp/volltexte/2010/4147/.

Full text

Abstract:

In this paper we consider a simple syntactic extension of Answer Set Programming (ASP) for dealing with (nested) existential quantifiers and double negation in the rule bodies, in a close way to the recent proposal RASPL-1. The semantics for this extension just resorts to Equilibrium Logic (or, equivalently, to the General Theory of Stable Models), which provides a logic-programming interpretation for any arbitrary theory in the syntax of Predicate Calculus. We present a translation of this syntactic class into standard logic programs with variables (either disjunctive or normal, depending on

APA, Harvard, Vancouver, ISO, and other styles

10

Zhou, Samson S. "Human and artificial intelligence acquisition of quantifiers." Thesis, Massachusetts Institute of Technology, 2011. http://hdl.handle.net/1721.1/76986.

Full text

Abstract:

Thesis (M. Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2011.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (p. 49).<br>This paper is concerned with constraints on learning quantifiers, particularly those cognitive on human learning and algorithmic on machine learning, and the resulting implications of those constraints on language identification. Previous experiments show that children attempting to differentiate quantifiers from numbers use a similar acquisition method for both types of words. H

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Quantifiers"

1

Torza, Alessandro, ed. Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-18362-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Gärdenfors, Peter, ed. Generalized Quantifiers. Springer Netherlands, 1987. http://dx.doi.org/10.1007/978-94-009-3381-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Badia, Antonio. Quantifiers in Action. Springer US, 2009. http://dx.doi.org/10.1007/978-0-387-09564-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Kölbel, Max, and David Rey. Operators vs Quantifiers. Routledge, 2023. http://dx.doi.org/10.4324/9781003442547.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Väänänen, Jouko, ed. Generalized Quantifiers and Computation. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-46583-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Does, Jaap van der, 1956- and Eijck J. van, eds. Quantifiers, logic, and language. CSLI Publications, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

1964-, Kanazawa Makoto, Piñón Christopher J. 1963-, Swart Henriëtte de 1961-, and CSLI Workshop on Logic, Language, and Computation (2nd : 1993), eds. Quantifiers, deduction, and context. CSLI Publications, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Symons, John, and Daniel Kolak, eds. Quantifiers, Questions and Quantum Physics. Springer Netherlands, 2004. http://dx.doi.org/10.1007/978-1-4020-3211-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Meulen, Alice ter, and Johan van Benthem, eds. Generalized Quantifiers in Natural Language. DE GRUYTER, 1985. http://dx.doi.org/10.1515/9783110867909.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Krynicki, Michał, Marcin Mostowski, and Lesław W. Szczerba, eds. Quantifiers: Logics, Models and Computation. Springer Netherlands, 1995. http://dx.doi.org/10.1007/978-94-017-0522-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Quantifiers"

1

Kitahara, Hisatsugu. "Raising Quantifiers without Quantifier Raising." In Linguistik Aktuell/Linguistics Today. John Benjamins Publishing Company, 1996. http://dx.doi.org/10.1075/la.12.10kit.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Kline, Richard A. "Quantifiers." In The Fundamentals of Lebanese Grammar. Routledge, 2022. http://dx.doi.org/10.4324/9781003292418-24.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Leung, Tommi Tsz-Cheung, Dimitrios Ntelitheos, and Meera Al Kaabi. "Quantifiers." In Basic Emirati Arabic. Routledge, 2024. http://dx.doi.org/10.4324/9781003320241-22.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Van Benthem, Johan. "Quantifiers." In Studies in Linguistics and Philosophy. Springer Netherlands, 1986. http://dx.doi.org/10.1007/978-94-009-4540-1_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Westerståhl, Dag. "Quantifiers." In The Blackwell Guide to Philosophical Logic. Blackwell Publishing Ltd, 2017. http://dx.doi.org/10.1002/9781405164801.ch19.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Krajewski, Stanisław. "All Quantifiers Versus the Quantifier All." In Studies in Universal Logic. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-65430-0_47.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Barwise, Jon. "Noun Phrases, Generalized Quantifiers and Anaphora." In Generalized Quantifiers. Springer Netherlands, 1987. http://dx.doi.org/10.1007/978-94-009-3381-1_1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Westerståhl, Dag. "Branching Generalized Quantifiers and Natural Language." In Generalized Quantifiers. Springer Netherlands, 1987. http://dx.doi.org/10.1007/978-94-009-3381-1_10.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

van Benthem, Johan. "Towards a Computational Semantics." In Generalized Quantifiers. Springer Netherlands, 1987. http://dx.doi.org/10.1007/978-94-009-3381-1_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Cooper, Robin. "Preliminaries to the Treatment of Generalized Quantifiers in Situation Semantics." In Generalized Quantifiers. Springer Netherlands, 1987. http://dx.doi.org/10.1007/978-94-009-3381-1_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Quantifiers"

1

Chen, Guanyi, and Kees van Deemter. "Understanding the Use of Quantifiers in Mandarin." In Findings of the Association for Computational Linguistics: AACL-IJCNLP 2022. Association for Computational Linguistics, 2022. http://dx.doi.org/10.18653/v1/2022.findings-aacl.7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Li, Yiyuan, Shichao Sun, and Pengfei Liu. "FRoG: Evaluating Fuzzy Reasoning of Generalized Quantifiers in LLMs." In Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, 2024. http://dx.doi.org/10.18653/v1/2024.emnlp-main.411.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Tóth, Jan, and Ondřej Kuželka. "Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/64.

Full text

Abstract:

We study the time complexity of weighted first-order model counting (WFOMC) over the logical language with two variables and counting quantifiers. The problem is known to be solvable in time polynomial in the domain size. However, the degree of the polynomial, which turns out to be relatively high for most practical applications, has never been properly addressed. First, we formulate a time complexity bound for the existing techniques for solving WFOMC with counting quantifiers. The bound is already known to be a polynomial with its degree depending on the number of cells of the input formula.

APA, Harvard, Vancouver, ISO, and other styles

4

Bhanu, D., Madhur Grover, M.Preetha, Abhinav Mishra, Varalakshmi S, and Vijay Marathe. "Quantum Computing and Quality Quantifiers Shaping the Future of Intelligent Systems." In 2024 IEEE 4th International Conference on ICT in Business Industry & Government (ICTBIG). IEEE, 2024. https://doi.org/10.1109/ictbig64922.2024.10911212.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Panconesi, A., and D. Ranjan. "Quantifiers and approximation." In the twenty-second annual ACM symposium. ACM Press, 1990. http://dx.doi.org/10.1145/100216.100275.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Atanassov, Krassimir, Ivan Georgiev, Eulalia Szmidt, and Janusz Kacprzyk. "Multidimensional intuitionistic fuzzy quantifiers." In 2016 IEEE 8th International Conference on Intelligent Systems (IS). IEEE, 2016. http://dx.doi.org/10.1109/is.2016.7737473.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Ge-Emst, Aile, Christoph Scholl, and Ralf Wimmer. "Localizing Quantifiers for DQBF." In 2019 Formal Methods in Computer Aided Design (FMCAD). IEEE, 2019. http://dx.doi.org/10.23919/fmcad.2019.8894269.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Yager, R. R. "Aggregating criteria with quantifiers." In the ACM SIGART international symposium. ACM Press, 1986. http://dx.doi.org/10.1145/12808.12829.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Martini, Simon. "Bounded quantifiers have interval models." In the 1988 ACM conference. ACM Press, 1988. http://dx.doi.org/10.1145/62678.62699.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Bhawna and N. Parimala. "Quantifiers for data warehouse operations." In 2007 6th International Conference on Information, Communications & Signal Processing. IEEE, 2007. http://dx.doi.org/10.1109/icics.2007.4449659.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Quantifiers"

1

Uszynski, Marc. Fuzzy Queries with Linguistic Quantifiers for Information Retrieval from Data Bases. Defense Technical Information Center, 1986. http://dx.doi.org/10.21236/ada619394.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Culotta, Aron, and Andrew McCallum. Practical Markov Logic Containing First-Order Quantifiers With Application to Identity Uncertainty. Defense Technical Information Center, 2005. http://dx.doi.org/10.21236/ada440385.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Коваленко, Г. С., та А. Д. Подвінська. Розвиток граматичних навичок на уроках з англійської мови у школярів основної школи за допомогою навчальних інтернет-програм. Криворізький державний педагогічний університет, 2020. http://dx.doi.org/10.31812/123456789/5999.

Full text

Abstract:

Статтю присвячено використанню навчальних iнтернет-програм на уроках англiйської мови для розвитку граматичних навичок в учнiв основної школи. Розроблено план-конспект уроку з англiйської мови у 7 класi на тему “City features”, пiдтему “Quantifiers” з використанням мобiльних додаткiв “Johnny Grammar’s Word Challenge” та “Oxford English Grammar and EnglishListening”.

APA, Harvard, Vancouver, ISO, and other styles

4

Tobies, Stephan. A NExpTime-Complete Description Logic Strictly Contained in C². Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.91.

Full text

Abstract:

We examine the complexity and expressivity of the combination of the Description Logic ALCQI with a terminological formalism based on cardinality restrictions on concepts. This combination can naturally be embedded into C², the two variable fragment of predicate logic with counting quantifiers. We prove that ALCQI has the same complexity as C² but does not reach its expressive power.

APA, Harvard, Vancouver, ISO, and other styles

5

Baader, Franz, and Anton Claußnitzer. Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count Extended Version. Technische Universität Dresden, 2025. https://doi.org/10.25368/2025.015.

Full text

Abstract:

In previous work it was shown that the logic ALC^ME , which extends the description logic (DL) ALC with probabilistic conditionals, has domain-lifted inference. Here, we extend this result from the base logic ALC to two logics that can count, the two-variable fragment C2 of first-order logic (FOL) with counting quantifiers, and the DL ALCSCC, which is not a fragment of FOL. As an auxiliary result, we prove that model counting in ALCSCC can be realized in a domain-liftable way.

APA, Harvard, Vancouver, ISO, and other styles

6

Peñaloza, Rafael, and Anni-Yasmin Turhan. Completion-based computation of most specific concepts with limited role-depth for EL and Prob-EL⁰¹. Technische Universität Dresden, 2010. http://dx.doi.org/10.25368/2022.176.

Full text

Abstract:

In Description Logics the reasoning service most specific concept (msc) constructs a concept description that generalizes an ABox individual into a concept description. For the Description Logic EL the msc may not exist, if computed with respect to general EL-TBoxes or cyclic ABoxes. However, it is still possible to find a concept description that is the msc up to a fixed role-depth, i.e. with respect to a maximal nesting of quantifiers. In this report we present a practical approach for computing the roledepth bounded msc, based on the polynomial-time completion algorithm for EL. We extend th

APA, Harvard, Vancouver, ISO, and other styles

7

Mulligan, Casey. Automated Economic Reasoning with Quantifier Elimination. National Bureau of Economic Research, 2016. http://dx.doi.org/10.3386/w22922.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Mulligan, Casey. Quantifier Elimination for Deduction in Econometrics. National Bureau of Economic Research, 2018. http://dx.doi.org/10.3386/w24601.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Editors, Intersections. Can Religion Be Quantified? Intersections, Social Science Research Council, 2024. http://dx.doi.org/10.35650/int.4048.d.2024.

Full text

Abstract:

This article showcases a report by Judd Birdsall and Lori Beaman for the Transatlantic Policy Forum. Their report analyses the effectiveness and limitations of quantitative data in capturing important developments in world religion.

APA, Harvard, Vancouver, ISO, and other styles

10

Saha, Bratin, Valery Trifonov, and Zhong Shao. Intensional Analysis of Quantified Types. Defense Technical Information Center, 2005. http://dx.doi.org/10.21236/ada436494.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!