Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Underspecified Quantification by the Theory of Acyclic Recursion
Stockholm University, Faculty of Science, Department of Mathematics.ORCID iD: 0000-0001-9678-955X
2016 (English)In: Trends in Practical Applications of Scalable Multi-Agent Systems, the PAAMS Collection / [ed] Fernando de la Prieta, María J. Escalona, Rafael Corchuelo, Philippe Mathieu, Zita Vale, Andrew T. Campbell, Silvia Rossi, Emmanuel Adam, María D. Jiménez-López, Elena M. Navarro, María N. Moreno, 2016, 237-249 p.Conference paper, Published paper (Refereed)
Abstract [en]

The paper introduces a technique for representing quantifier relations that can have different scope order depending on context and agents. The technique is demonstrated by classes of terms denoting relations, where each of the arguments of a relation term is bound by a different quantifier. We represent a formalization of linking quantifiers with the corresponding argument slots that they bind, across lambda-abstractions. The purpose of the technique is to represent underspecified order of quantification, for computationally efficient and adequate representation of scope ambiguity in the absence of context and corresponding information about the order. Furthermore, the technique is used to represent subclasses of larger classes of relations depending on order of quantification or specific relations.

Place, publisher, year, edition, pages
2016. 237-249 p.
Series
Advances in Intelligent Systems and Computing (AISC), ISSN 2194-5357, E-ISSN 2194-5365 ; 473
Keyword [en]
algorithms, recursion, quantifiers, underspecification
National Category
Mathematics
Research subject
Mathematical Logic
Identifiers
URN: urn:nbn:se:su:diva-140031DOI: 10.1007/978-3-319-40159-1_20ISI: 000389807600020ISBN: 978-3-319-40158-4 (print)ISBN: 978-3-319-40159-1 (electronic)OAI: oai:DiVA.org:su-140031DiVA: diva2:1077068
Conference
PAAMS 2016: 14th International Conference on Practical Applications of Agents and Multi-Agent Systems, Sevilla, Spain, June 1-3, 2016
Available from: 2017-02-24 Created: 2017-02-24 Last updated: 2017-03-31Bibliographically 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
Mathematics

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 7 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf