Buscar
Mostrando ítems 61-70 de 494
A Mechanized Proof of a Textbook Type Unification Algorithm
(Instituto de Informática - Universidade Federal do Rio Grande do Sul, 2020)
A logic programming framework for possibilistic argumentation: Formalization and logical properties
(Elsevier Science, 2008-05-16)
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing ...
To believe and not to believe: appellative modality and assertion in languageCreer y no creer: modalidad apelativa y aserción en el lenguaje
(Instituto de Lingüística y Literatura. Facultad de Filosofía y Humanidades. Universidad Austral de Chile, 2018)
FlowDiv: A new pipeline for analyzing flow cytometric diversity
(BioMed Central, 2019-05)
Background: Flow cytometry (FCM) is one of the most commonly used technologies for analysis of numerous biological systems at the cellular level, from cancer cells to microbial communities. Its high potential and wide ...
Brief study of the category of clitics in romance languagesBreve estudo da categoria dos clíticos em línguas românicas
(Programa de Pós-Graduação em Linguística da UFSC, 2016)
El lenguaje humano: ¿una estructura más un código o un sistema comunicativo dinámico, multimodal y semióticamente heterogéneo?Human language: A structure plus a code or adynamic, multimodal and semiotically heterogeneous system?
(Prensas Universitarias de Zaragoza, 2019-09)
Comparative studies about human language and animal communication systems, so as the research field about language evolution, have stimulated a specific reflection about the distinctive features of human language. My aim ...