Change search
ReferencesLink to record
Permanent link

Direct link
Specification of Underspecified Quantifiers via Question-Answering by the Theory of Acyclic Recursion
Stockholm University, Faculty of Science, Department of Mathematics.ORCID iD: 0000-0001-9678-955X
2016 (English)In: Flexible Query Answering Systems 2015: Proceedings of the 11th International Conference FQAS 2015, Cracow, Poland, October 26-28, 2015 / [ed] Troels Andreasen, Henning Christiansen, Janusz Kacprzyk, Henrik Larsen, Gabriella Pasi, Olivier Pivert, Guy De Tré, Maria Amparo Vila, Adnan Yazici, Slawomir Zadrozny, Springer, 2016, 57-69 p.Conference paper (Refereed)
Abstract [en]

This paper introduces a technique for specifying quantifier scope distribution in formal terms that represent underspecified quantifier scopes. For this purpose, we extend the higher-order theory of acyclic recursion, by adding generalized quantifiers and terms for multiple quantifiers with underspecified scope. The specification of the quantifier scopes is by using interactive questions and answers that are also rendered into formal terms of the theory of acyclic recursion.

Place, publisher, year, edition, pages
Springer, 2016. 57-69 p.
, Advances in Intelligent Systems and Computing, ISSN 2194-5357 ; 400
Keyword [en]
Semantics; Algorithms, Recursion, Type-theory, Underspecified scope, Quantifiers, Question-answers, Specifications
National Category
Mathematics Computer Science Information Systems Language Technology (Computational Linguistics)
Research subject
Mathematics; Mathematical Logic; Computer Science; Computer and Systems Sciences; Computing Science; Computational Linguistics
URN: urn:nbn:se:su:diva-126697DOI: 10.1007/978-3-319-26154-6_5ISBN: 978-3-319-26153-9ISBN: 978-3-319-26154-6OAI: diva2:902675
The 11th International Conference FQAS 2015, Cracow, Poland, October 26-28, 2015
Available from: 2016-02-12 Created: 2016-02-12 Last updated: 2016-02-12Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Loukanova, Roussanka
By organisation
Department of Mathematics
MathematicsComputer ScienceInformation SystemsLanguage Technology (Computational Linguistics)

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 5 hits
ReferencesLink to record
Permanent link

Direct link