We propose a formal system for representing the available readings of sentences displaying quan-tifier scope ambiguity, in which partial scopes may be expressed. We show that using a theory of scope availability based upon the function-argument structure of a sentence allows a deter-ministic, polynomial time test for the availability of a reading, while solving the same problem within theories ...

The purpose of this paper was to conduct a scoping review on Co-Active (Life) Coaching (CALC) literature related to health behaviour change. The scoping methodological framework developed by Arksey and O’Malley (2005) informed the retrieval of appropriate articles. Six questions provided an indepth exploration of CALC in the health coaching literature. This paper provides a broad overview of th...

A translation from Quasi-Logical Forms (QLFs) to Hole Semantics (HS) is presented. The translation makes explicit the dominance constraints that are implicit in the QLFs. QLFs can then be used in the semantic composition stage only, and HS in the scope resolution stage only. Thus, each representation is used to accomplish the stage it is most suited for while avoiding its cumbersomeness in the ...

This document systematically reviews literature to provide a summary of evidence based research related to the sport of futsal. The review draws on diverse subjects including coaching, physiological, psychological, technical and tactical elements of the sport as well as reviewing subjects relating to the development of futsal. The methodology included a scoping study and review protocol to syst...

In this work, we revisit Shared Task 1 from the 2012 *SEM Conference: the automated analysis of negation. Unlike the vast majority of participating systems in 2012, our approach works over explicit and formal representations of propositional semantics, i.e. derives the notion of negation scope assumed in this task from the structure of logical-form meaning representations. We relate the task-sp...

When designing the natural language question asking interface for a formal knowledge base, managing and scoping the user expectations regarding what questions the system can answer is a key challenge. Allowing users to type ask arbitrary English questions will likely result in user frustration, because the system may be unable to answer many questions even if it correctly understands the natura...

The rapid growth of information sources brings a unique challenge to biographical information extraction: how to find specific facts without having to read all the words. An effective solution is to follow the human scanning strategy which keeps a specific keyword in mind and searches within a specific scope. In this paper, we mimic a scanning process to extract biographical facts. We use event...

A number of international competitions for mobile robots have been created and conducted over the last 20 years. This article discusses three of the arguably most prominent event series. We highlight scope, rules, robot designs and robot evolution over the years for the Micromouse Contest, AAAI Mobile Robot Competition and RoboCup Robot Soccer and discuss their contributions to mobile robot res...