1 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
2 |
SOME WAYS OF LEXICAL AND GRAMMATICAL TRANSFORMATION OF THE TEXT WHEN SUMMARIZING ...
|
|
|
|
BASE
|
|
Show details
|
|
3 |
Formalization of AMR Inference via Hybrid Logic Tableaux ...
|
|
|
|
Abstract:
AMR and its extensions have become popular in semantic representation due to their ease of annotation by non-experts, attention to the predicative core of sentences, and abstraction away from syntactic matter. An area where AMR and its extensions warrant improvement is formalization and suitability for inference, where it is lacking compared to other semantic representations, such as description logics, episodic logic, and discourse representation theory. This thesis presents a formalization of inference over a merging of Donatelli et al.’s (2018) AMR extension for tense and aspect with Pustejovsky et al.’s (2019) AMR extension for quantification and scope. Inference is modeled with a merging of Hansen’s (2007) tableau method for first-order hybrid logic with varying domain semantics (FHL) and Blackburn and Jørgensen’s (2012) tableau method for basic hybrid tense logic (BHTL). We motivate the merging of these AMR variants, present their interpretation and inference in the combination of FHL and BHTL, which ...
|
|
Keyword:
Abstract Meaning Representation; AMR; automated reasoning; Computational Linguistics; hybrid logic; Knowledge Representation; semantic representation; Semantics; tableau
|
|
URL: https://dx.doi.org/10.48617/etd.45 https://scholarworks.brandeis.edu/esploro/outputs/graduate/9924022111401921
|
|
BASE
|
|
Hide details
|
|
5 |
Os géneros do discurso académico em Moçambique: um diagnóstico, uma proposta de análise
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Does adding beer to coffee enhance the activation of drinks ? An ERP study of semantic category priming
|
|
|
|
In: ISSN: 1758-8928 ; EISSN: 1758-8936 ; Cognitive Neuroscience ; https://hal.sorbonne-universite.fr/hal-03282300 ; Cognitive Neuroscience, Taylor and Francis, 2021, pp.1-16. ⟨10.1080/17588928.2021.1940117⟩ (2021)
|
|
BASE
|
|
Show details
|
|
7 |
Multiplicative Linear Logic from Logic Programs and Tilings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
8 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
9 |
Verification of Program Transformations with Inductive Refinement Types
|
|
|
|
In: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.inria.fr/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩ (2021)
|
|
BASE
|
|
Show details
|
|
10 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
11 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
12 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
13 |
Ein Überblick über die neuesten abstrakten Zusammenfassungstechniken ; A Survey of Recent Abstract Summarization Techniques ; Un aperçu des techniques récentes de résumé abstrait
|
|
|
|
In: Proceedings of Sixth International Congress on Information and Communication TechnologyICICT 2021, London, Volume 4Series: Lecture Notes in Networks and Systems, Vol. 217Yang, X.-S., Sherratt, S., Dey, N., Joshi, A. (Eds.) 2021 ; Proceedings of Sixth International Congress on Information and Communication Technology ICICT 2021, London, Volume 4, Series: Lecture Notes in Networks and Systems, Vol. 217. Springer Singapore, 2021 ; https://hal.archives-ouvertes.fr/hal-03216381 ; Proceedings of Sixth International Congress on Information and Communication Technology ICICT 2021, London, Volume 4, Series: Lecture Notes in Networks and Systems, Vol. 217. Springer Singapore, 2021, ICICT 2021, Feb 2021, London, United Kingdom ; https://www.waterstones.com/book/proceedings-of-sixth-international-congress-on-information-and-communication-technology/xin-she-yang/simon-sherratt/9789811621017 (2021)
|
|
BASE
|
|
Show details
|
|
14 |
A workshop on the epistemology and didactics of mathematical structuralism
|
|
|
|
In: Advances in the Anthropological Theory of the Didactic and their Consequences in Curricula and in Teacher Education ; https://hal.archives-ouvertes.fr/hal-03275633 ; Yves Chevallard; Berta Barquero Farràs; Marianna Bosch; Ignasi Florensa; Josep Gascón; Pedro Nicolás; Noemí Ruiz-Munzón. Advances in the Anthropological Theory of the Didactic and their Consequences in Curricula and in Teacher Education, Springer Nature Switzerland AG, 2021 (2021)
|
|
BASE
|
|
Show details
|
|
15 |
Over-promotion and caution in abstracts of preprints during the COVID-19 crisis
|
|
|
|
In: ISSN: 0953-1513 ; Learned Publishing ; https://hal-enpc.archives-ouvertes.fr/hal-03284142 ; Learned Publishing, Association of Learned and Professional Society Publishers, 2021, ⟨10.1002/leap.1411⟩ (2021)
|
|
BASE
|
|
Show details
|
|
16 |
Early Analogical Extensions: An ERP Study on Preschoolers' Semantic Approximations
|
|
|
|
In: 43rd Annual Meeting of the Cognitive Science Society ; https://hal.archives-ouvertes.fr/hal-03443188 ; 43rd Annual Meeting of the Cognitive Science Society, 2021, Virtual meeting, France (2021)
|
|
BASE
|
|
Show details
|
|
17 |
Early Analogical Extensions: An ERP Study on Preschoolers' Semantic Approximations
|
|
|
|
In: 43rd annual meeting of the Cognitive Science Society ; https://hal-univ-paris8.archives-ouvertes.fr/hal-03266957 ; 43rd annual meeting of the Cognitive Science Society, Jun 2021, Vienne (virtual), Austria (2021)
|
|
BASE
|
|
Show details
|
|
18 |
Early analogical extensions: An ERP Study on preschoolers'semantic approxinmations
|
|
|
|
In: Proceedings of the Annual Meeting of the Cognitive Science Society, 43(43) ; Annual Meeting of the Cognitive Science Society ; https://hal.archives-ouvertes.fr/hal-03409631 ; Annual Meeting of the Cognitive Science Society, Jul 2021, Vienna, Austria (2021)
|
|
BASE
|
|
Show details
|
|
19 |
Code-driven Language Development: Framework for Analysis of C/C++ Open-Source Projects ...
|
|
|
|
BASE
|
|
Show details
|
|
20 |
Abstract concepts, language and sociality: from acquisition to inner speech ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|