21 |
Semantic-Directed Clumping of Disjunctive Abstract States *
|
|
|
|
In: POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages ; https://hal.inria.fr/hal-01648679 ; POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.32-45, ⟨10.1145/3009837.3009881⟩ (2017)
|
|
BASE
|
|
Show details
|
|
22 |
Copredication in homotopy type theory
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01628150 ; 2017 (2017)
|
|
Abstract:
This paper applies homotopy type theory to formal semantics of natural languages and proposes a new model for the linguistic phenomenon of copredication. Copredication refers to sentences where two predicates which assume different requirements for their arguments are asserted for one single entity, e.g., " the lunch was delicious but took forever ". This paper is particularly concerned with copredication sentences with quantification, i.e., cases where the two predicates impose distinct criteria of quantification and individuation, e.g., " Fred picked up and mastered three books. " In our solution developed in homotopy type theory and using the rule of existential closure following Heim analysis of indefinites, common nouns are modeled as identifications of their aspects using HoTT identity types, e.g., the common noun book is modeled as identifications of its physical and informational aspects. The previous treatments of copredication in systems of semantics which are based on simple type theory and dependent type theories make the correct predictions but at the expense of ad hoc extensions (e.g., partial functions, dot types and coercive subtyping). The model proposed here, also predicts the correct results but using a conceptually simpler foundation and no ad hoc extensions. The proofs in the proposal have been formalized using Agda. Additional Key Words and Phrases: homotopy type theory, formal semantics of natural languages, computational semantics, copredi-cation, programming and proving in Agda
|
|
Keyword:
[INFO]Computer Science [cs]; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS; Agda; computational semantics; copredication; formal semantics; homotopy type theory
|
|
URL: https://hal.archives-ouvertes.fr/hal-01628150/file/Copredication.pdf https://hal.archives-ouvertes.fr/hal-01628150 https://hal.archives-ouvertes.fr/hal-01628150/document
|
|
BASE
|
|
Hide details
|
|
23 |
Mobile user authentication system (MUAS) for e-commerce applications.
|
|
|
|
BASE
|
|
Show details
|
|
24 |
The mat sat on the cat : investigating structure in the evaluation of order in machine translation
|
|
McCaffery, Martin. - : University of St Andrews, 2017. : The University of St Andrews, 2017
|
|
BASE
|
|
Show details
|
|
25 |
Computational analysis of tongue image for health diagnosis
|
|
Zhang, Meng. - : University of Missouri--Columbia, 2017
|
|
In: Submited to University of Missouri--Columbia Graduate School. (2017)
|
|
BASE
|
|
Show details
|
|
26 |
Speech-to-text technology and education : pre-service teachers' collaborative professional development as case study
|
|
Wilcox, Kevin. - : Nipissing University, Faculty of Education, 2017
|
|
BASE
|
|
Show details
|
|
27 |
Speech-to-text technology and education : pre-service teachers' collaborative professional development as case study
|
|
|
|
BASE
|
|
Show details
|
|
28 |
Applications of Text Analytics in the Intelligence Community
|
|
|
|
BASE
|
|
Show details
|
|
30 |
Использование компьютерных программ, основанных на лингвистическом анализе ложной информации (обзор зарубежного исследования)
|
|
ХОЛЕВЧУК А.Г.. - : Общество с ограниченной ответственностью «Коллоквиум», 2015
|
|
BASE
|
|
Show details
|
|
31 |
Интерактивная компьютерная программа по развитию описательной связной речи для детей и взрослых с речевой патологией
|
|
ИВАНОВА НАТАЛИЯ НИКОЛАЕВНА. - : Федеральное государственное бюджетное образовательное учреждение высшего образования «Удмуртский государственный университет», 2015
|
|
BASE
|
|
Show details
|
|
32 |
Non-linear Second order Abstract Categorial Grammars and deletion
|
|
|
|
In: NLCS 2015: Natural Language and Computer Science ; https://hal.archives-ouvertes.fr/hal-01251127 ; NLCS 2015: Natural Language and Computer Science, Makoto Kanazawa, 2015, Kyoto, Japan (2015)
|
|
BASE
|
|
Show details
|
|
33 |
The Impact of the Use of Dynamic Software as a Teaching Tool in Geometry
|
|
|
|
BASE
|
|
Show details
|
|
34 |
Program Design: The Learner Path
|
|
|
|
In: Research Briefs and Case Studies (2015)
|
|
BASE
|
|
Show details
|
|
35 |
Program Design: Volunteering in a Digital Literacy Program
|
|
|
|
In: Research Briefs and Case Studies (2015)
|
|
BASE
|
|
Show details
|
|
36 |
Program Design: Tutor-Facilitated Digital Literacy Acquisition
|
|
|
|
In: Research Briefs and Case Studies (2015)
|
|
BASE
|
|
Show details
|
|
37 |
Program Design: Learning Digital Skills in a Corrections Setting
|
|
|
|
In: Research Briefs and Case Studies (2015)
|
|
BASE
|
|
Show details
|
|
38 |
Program Design: Learning Digital Skills in a Time-limited Program
|
|
|
|
In: Research Briefs and Case Studies (2015)
|
|
BASE
|
|
Show details
|
|
40 |
Exploring Social Meaning in Online Bilingual Text through Social Network Analysis
|
|
|
|
In: DTIC (2015)
|
|
BASE
|
|
Show details
|
|
|
|