Bibliography

About the semantic annotation of quantification:

Harry Bunt
International standard ISO 24617-12, Language resources management - Semantic annotation framework, Part 12: Quantification..
International organisatin for standardisation ISO, Geneva.

Harry Bunt  (2023)
The compositional semantics of QuantML annotations. In Proceedings 19th Joint ACL-ISO Workshop on Interoperable Semantic Annotation (ISA-19), Nancy, France, pp. 3-13.

Harry Bunt, Maxime Amblard, Johan Bos, Karen Fort, Philippe de Groote, Bruno Guillaume, Chuyuan Li, Pierre Ludmann, Michel Musiol, Guy Perrier, Siyana Pavlova, and Sylvain Pogodalla (2022)
Quantification Annotation in ISO 24617-12, Second Draft. In Proceedings of the 13th International Conference on Language Resources and Evaluation (LREC 2022), Marseille, June 20-25, 2022.

Harry Bunt
Annotation of Quantification: The Current State of ISO 24617-12. In Proceedings of the 16th Joint ACL - ISO Workshop on Interoperable Semantic Annotation (ISA-16), pp. 1-13.

Harry Bunt
An annotation scheme for quantification. In Proceedings of the 14th International Conference on Computational Semantics (IWCS 2019), Gothenburg, Sweden, pp. 31-42.

Harry Bunt
'The Annotation of Quantification.' In Proceedings 13th Joint ISO-ACL Workshop on Interoperable Semantic Annotation (ISA-13), Montpellier, pp. 84-94.

Harry Bunt, James Pustejovsky, and Kiyong Lee
'Towards an ISO Standard for the Annotation of Quantification.' In Proceedings 11th International Conference on Language Resources and Evaluation (LREC 2018), Miyazaki, Japan, May 2018.

Harry Bunt(2013)
'The annotation of quantification and its interpretation'. In Proceedings 10th International Conference on Computational Semantics (IWCS 2013), Potsdam, March 20-22.

Harry Bunt and James Pustejovsky
`Annotating Temporal and Event Quantification.' In Proceedings of ISA-5, Fifth International Workshop on Interoperable Semantic Annotation, Harry Bunt and Ernest Lam (eds), Hong Kong, 15-17 January 2010. City University of Hong Kong, pp. 15-22.

Andy Luecking
'Towards Referential Transparent Annotation of quantified noun phrases.' In Proceedings 19th Joint ISO-ACL Workshop on Interoperable Semantic Annotation (ISA-19), Nancy (France), pp. 47-55.

Jakub Szymanik and Wietold Kieras
'The semantically annotated corpus of Polish quantificational expressions.' In Language Resources and Evaluation) 56, 1057-1074 (2022). DOI: https://doi.org/10.1007/s10579-022-09578-4, look here.

Jakub Szymanik and Camilo Thorne
'Exploring the relation of semantic complexity and quantifier distribution in large corpora.' In Language Sciences) 69, 80-93 (2017).

About semantic annotation in general:

Kiyong Lee
Annotation-based Semantics of Time and Space in Language. Cambridge University Press 2023.

Harry Bunt
Plug-ins for content annotation of dialogue acts. In Proceedings of the 15th Joint ACL-ISO Workshop on Interoperable Semantic Annotation (ISA-15), Gothenburg, Sweden, pp. 34-45.

James Pustejovsky, Harry Bunt, and Annie Zaenen
'Designing Annotation Schemes: From Theory to Model.' In Nancy Ide and James Pustejovsky (eds): Handbook of Linguistic Annotation, Springer, Berlin.

Harry Bunt
'On the principles of semantic annotation.' Proceedings 11th Joint ACL-ISO Workshop on Interoperable Semantic Annotation, London, April 2015, pp. 1-13.

Harry Bunt
'Annotations that effectively contribute to semantic interpretation'. In Computing Meaning, Vol. 4, Harry Bunt, Johan Bos and Stephen Pulman, editors. Springer, Dordrecht.

Harry Bunt, Johan Bos and Stephen Pulman
'Computing Meaning: Annotation, Representation, and Inference'. In Computing Meaning, Vol. 4, Harry Bunt, Johan Bos and Stephen Pulman, editors. Springer, Dordrecht.

Harry Bunt(2013)
'The annotation of quantification and its interpretation'. In Proceedings 9th Joint ACL - ISO Workshop on Interoperable Semantic Annotation (ISA-9), Potsdam, March 19-20. 

Harry Bunt
`Abstract syntax and semantics in semantic annotation, applied to time and events'. In Eunryoung Lee and Aesun Yoong (eds.) Recent Trends in Language and Knowledge Processing. Hankukmunhwasa, Seoul 2011.

Nancy Ide and Harry Bunt
`Anatomy of Annotation Schemes: Mappings to GrAF'. Proceedings 4th Linguistic Annotation Workshop (LAW IV), Uppsala, Sweden, July, 2010, pp. 115-124.

Harry Bunt
`A methodology for designing semantic annotation languages exploiting syntactic-semantic iso-morphisms.' In Proceedings of ICGL 2010, Second International Conference on Global Interoperability for Language Resources, Alex Chengyu Fang, Nancy Ide and Jonathan Webster (eds), Hong Kong, 18-20 January 2010, City University of Hong Kong, pp. 29-45.

Harry Bunt
'Semantic Annotations as Complementary to Underspecified Semantic Representations'. In Proceedings of the 8th International Conference on Computational Semantics (IWCS-8), Tilburg, January 7-9, 2009, pp. 33-45.

Harry Bunt and Chwhynny Overbeeke
'A note on the definition of semantic annotation languages'. In Proceedings of the 8th International Conference on Computational Semantics (IWCS-8), Tilburg, January 7-9, 2009, pp. 268-271.

Harry Bunt and Chwhynny Overbeeke
`Towards formal interpretation of semantic annotation.' In Proceedings of the Sixth International Conference on Language Resources and Evaluation (LREC 2008), Marrakech, Morocco, May 28-30, 2008.

Harry Bunt
`The Semantics of Semantic Annotation.' Invited paper presented at PACLIC-21, the 21st Pacific Asia Conference on Language, Information and Compuation, Seoul, Korea, November 2,. 2007. In Proceedings of PACLIC-21, the 21st Pacific Asia Conference on Language, Information and Compuation, Seoul, Korea, November 1-3, 2007.

Harry Bunt
Intuitive and Formal Transparency in Annotation Schemes. In Proceedings of the 18th Joint ACL - ISO Workshop on Interoperable Semantic Annotation (ISA-18), Marseille,June 20, 2022, pp. 102-109.

About aspects of quantification, related to their annotation:

Abbott, B. (2004) Definiteness and indefiniteness. In L. Horn and G. Ward (eds.) Handbook of Pragmatics, Oxford: Blackwell, pp. 122-149.

Abbott, B. (2010) Reference. Oxford: Oxford University Press.

Abbott, B. (2017) Reference. In Yan Huang (ed.) Oxford Handbook of Pragmatics. Oxford: Oxford University Press.

Alshawi, H. (1990). Resolving quasi logical form. Computational Linguistics, 16: 133-144.

Barker, C. (2014). Scope. In: S. Lappin and C. Fox (eds.), The Handbook of Contemporary Semantic Theory, John Wiley, Chapter 2, pp. 40-76.

Barwise, J. (1979). On branching quantifiers in English. Journal of Philosophical Logic 8: 47-80.

Barwise, J. and R. Cooper (1981). Generalized Quantifiers and Natural Language. Linguistics and Philosophy 4, pp. 159-219.

Bennett, M. (1974). Some extensions of a Montague fragment of English. Ph. D. Dissertation, University of California, Los Angeles.

Benthem, J. van (1984). Questions about quantifiers. Journal of Symbolic Logic 49: 443-466.

Berbeira Gardón, J.L (1996) Scope-Ambiguity, Modal Verbs and Quantification. Estudios Ingleses de la Universidad Complurense, 4,53-66, Servicio de Publicaciones 11CM, Madrid.

Bos, J.  (1995). Predicate Logic Unplugged. In Proceedings 10th Amsterdam Colloquium, Amsterdam: ILLC, pp. 133-142.

Bos, J.,V. Basile, K. Evang, N.  Venhuizen, and J.  Bjerva (2017). The Groningen Meaning Bank. In: Nancy Ide and James Pustejovsky (eds): Handbook of Linguistic Annotation, pp. 463-496, Berlin: Springer.

Bunt, H. (1985). Mass terms and model-theoretic semantics. Cambridge University Press.

Champollion, L. (2015) The interaction of compositional semantics and event semantics. Linguistics and Philosophy (2015) 38:31–66. DOI 10.1007/s10988-014-9162-8

Cooper, R. (1983). Quantification and Syntactic Theory. Dordrecht: Reidel.

Coppock, E. and D. Beaver (2015) Definiteness and determinacy. Linguistics and Philosophy 38:377-435.

Davidson, D. (1967). The logical form of action sentences. In N. Rescher (ed.), The Logic of Decision and Action. Chapter 3. University of Pittsburgh Press.

Eckhardt, R. (2000). Normal objects, normal worlds, and the meaning of generic sentences. Journal of Semantics 16, 237-278.

Elbourne, P. (2021).  Presupposition, assertion, and definite descriptions. Linguistics and Philosophy 44:1215-1253.

Frege, G. (1879). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: L. Nebert Verlag.

Griffiths, P. (2006) An Introduction to English Semantics and Pragmatics. Edinburgh University Press.

Heim, I. (1982) The semantics of definite and indefinite noun phrases. Ph.D. Thesis, University of Massachussetts at Amherst.

Higginbottom, J. and R. May (1981). Questions, quantifiers and crossing. The Linguistic Review, 1, 41-80.

Hintikka, J. (1973). Quantifiers vs. quantification theory. Dialectica, 27: 329-358.

Hobbs, J. and S. Shieber (1987). An Algorithm for generating quantifier scopings. Computational Linguistics, 13 (1-2): 47-63.

Kadmon, N. (2001) Formal Pragmatics. Oxford: Blackwell.

Kamp, H. and U. Reyle (1993). From Discourse to Logic. Dordrecht: Kluwer Academic Publishers.

Keenan, E. and J. Stavi, (1986). A semantic characterization of natural language determiners, Linguistics and Philosophy, 9: 253–326.

Keenan, E. and D. Westerstahl (1997). Generalized quantifiers in Linguistics and Logic, in J. van Benthem and A. ter Meulen (eds.), Generalized Quantifiers in Natural Language, Foris, Dordrecht, pp. 837-993.

Koons, R. (2022). Defeasible Reasoning. The Stanford Encyclopedia of Philosophy (Summer 2022 Edition), E. Zalta (ed.). URL = https://plato.stanford.edu/archives/sum2022/entries/reasoning-defeasible.

Krahmer, E. and R. Muskens (1995) Negation and disjunction in discourse representation theory. Journal of Semantics, 12 (4): 357-376.

Kramsky, J. (1972) The Article and the Concept of Definiteness in Language. The Hague: Mouton.

Kratzer, A. (1995). Stage-Level and Individual-Level Predicates. In G. N. Carlson and F. J. Pelletier (eds.), The Generic Book, Chicago, London: The University of Chicago Press, pp. 125-175.

Krifka, M., F.J. Pelletier, G. Carlson, A. ter Meulen, G. Chierchia and G. Link (1995) Genericity: An Introduction. In. G. Carlson and F.J. Pelletier (eds) The generic book. Chicago: University of Chicago Press, pp. 1-124.

Krifka, M. (1999) At least some determiners aren’t determiners. In K. Turner (ed) The Semantics/Pragmatics Interface From Different Points of View. Amsterdam: Elsevier, pp. 257-291.

Landman, F. (1991) Structures for Semantics.  Dordrecht: Kluwer.

Leech, G. and J. Svartvik  (1975)  A Communicative Grammar of English. London: Longman.

Lewis, D. (1979)  Scorekeeping in a Language Game. Journal of Philosophical Logic 8:339-359.

Link, G. (1983) The logical analysis of plurals and mass terms: a lattice-theoretical approach. In R. Bäuerle, C. Schwarze, and A. von Stechow (eds.) Meaning, Use and Interpretation of Language. Berlin: Walter de Gruyter, pp. 302-323.

Lyons, Christopher  (1999)  Definiteness. Cambridge, UK: Cambridge University Press.

Maienborn, C. (2003) Against a Davidsonian Analysis of Copula Sentences. In M. Kadowaki and s. Kawahara (eds.) Procceings

May, R. (1977) The Grammar of Quantification. Ph.D. Dissertation, MIT.

May, R. and A. Bale (2005) Inverse linking. In M. Everaert and H. van Riemsdijk (eds.) The Blackwell Companion to syntax, Vol. 2. Oxford: Blackwell, Chapter 6, pp. 639-667.

Montague, R. (1971) The proper treatment of quantification in ordinary language in J. Hintikka, J. Moravcsik, and P. Suppes (eds.), Approaches to Natural Language (Dordrecht: Reidel), 221–242.

Mostovski, A. (1957) On a Generalization of Quantifiers. Fundamentae Mathematicae 44, 12-36.

Parsons, T. (1990) Events in the Semantics of English: A Study in Subatomic Semantics. MIT Press, Cambridge (MA).

Partee, B. (1986) Noun phrase interpretation and type-shifting principles. In J. Groenendijk, D. de Jong and M. Stokhof (eds.) Discourse Representation Theory and the Theory of Generalized Quantifiers. Dordrecht: Foris, pp. 115-143.

Partee, B. (1988) Many Quantifiers. In Proceedings of ESCOL.

Peters, S. and D. Westerståhl (2013) The Semantics of Possessives. Language 89(4), 713-759.

Pinkal, M. (1999) On semantic underspecification. In H. Bunt and R. Muskens (eds.) Computing Meaning, Vol. 1, pp. 33-55.

Pulman, S.  (2000) Bidirectional contextual resolution. Computational Linguistics 26: 497-538.

Pustejovsky, J., H. Bunt, and A. Zaenen (2017) Designing Annotation Schemes: From Theory to Model. In: Nancy Ide and James Pustejovsky (eds): Handbook of Linguistic Annotation, Springer, Berlin

Qian, S. (2015) Accessibility of Discourse Referents in Discourse Semantics. Computation and Language. Ph.D. Thesis, Université de Lorraine, Nancy.

Quirk, R., S. Greenbaum, G. Leech, and J. Svartvik (1972) A Grammar of Contemporary English. London: Longman.

R. Reiter (1980). A logic for default reasoning. Artificial Intelligence, 13:81-132.

Reyle, U. (1993) Dealing with ambiguities by underspecification: Construction, representation and deduction. Journal of Semantics 10, 123-179.

Rodman, R. (1976) Scope Phenomena, “Movement Transformations”, and Relative Clauses. In B. Partee (ed.) Montague Grammar. New York: Academic Press, pp. 165-176.

Van der Sandt, R. (1992) Presupposition Projection as Anaphora Resolution. Journal of Semantics 9 :333-377.

Scha, R. (1981) Collective, distributive and cumulative quantification. In J. Groenendijk and M. Stokhof (eds.) Formal Methods in the Study of Language. Amsterdam: Mathematisch Centrum, pp. 483-512.

Schwertel, U. (2005) Plural semantics for natural language understanding - A proof-theoretic computational approach. PhD Thesis, University of Zürich. 

Sher, G. (1997) Partially-Ordered (Branching) Quantifiers: A General Definition. Journal of Philosophical Logic 26(1): 1-43.

Szabolcsi, A. (1997) Ways of Scope Taking. Dordrecht: Kluwer.

Szabolcsi, A. (2008) Scope and binding. In Claudia Maienborn, Klaus von Heusinger, and Paul Portner (eds.) Semantics: An International Handbook of Natural Language Meaning. Berlin: Mouton de Gruyter.

Szabolcsi, A. (2010) Quantification. Cambridge University Press, Cambridge, UK.

Tarski, A. (1936) Das Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica 1, 261-405. Natural Language Engineering 10: 221-225.

Von Heusinger, K. (2011) Definiteness. In M. Aronoff (ed.) Oxford Bibliographies Online: Linguistics. New York: Oxford University Press.

Westerstahl, D. (1985) Determiners and context sets. In Generalized Quantifiers in Natural Language, edited by Johan van Benthem and Alice ter Meulen, Dordrecht: Foris, pp. 45-71.

Winter, Y. and E. Ruys (2011) Scope ambiguities in formal syntax and semantics. IN D. Gabbay and F. Guenthner (eds.) Handbook of Philosophical Logic (2^nd edition).

Zwarts, F. (1984) Determiners: a relational perspective. In A. ter Meulen (ed.)  Studies in Model-theoretic Semantics, Dordrecht: Foris, pp. 37-63.

Zwarts, F. (1994) Definite Expressions. In R.E. Asher (ed.) The Encyclopedia of Language and Linguistics. Oxford: Pergamon.