Akademische Ressourcen durchsuchen

The active use and manipulation of visual representations makes many complex and in tensive cognitive tasks feasible. A visual representation is able to convey relationships among many elem ents in parallel and it provid...

The active use and manipulation of visual representations makes many complex and intensive cognitive tasks feasible. A visual representation is able to convey relationships among many elements in parallel and it provides...

Visualization is the process of mapping data into visual dimensions to create a visual representation to amplify cognition. Visual representations are essential aids to human cognitive tasks. They are valued to the exten...

Este artigo defende a tese de que o minimalismo substantivo assumido por Chomsky nos desenvolvimentos recentes do programa de pesquisa em Sintaxe Gerativa abre uma perspectiva interessante para o tratamento das relaçõe...

In this paper we present a denotational semantics for a lazy functional language. The semantics is intrinsic in the sense that it defines meaning for typing derivations instead of language expressions. We contrast our se...

Non-monotonic base-extension semantics (nB-eS), a kind of non-monotonic proof-theoretic semantics (nPTS), is known to validate classical logic when its meta-logic is classical. Schroeder-Heister has remarked that classic...

ABSTRACT Chierchia discusses his views on the frontiers of contemporary semantics: multidimensionality of meaning, alternative semantics, ‘mid level’ generalizations, the natural logicality of natural languages, the ...

Abstract Sign-based semantics and embodied semantics are argued to be mutually beneficial to one another. However, while the body does shape our cognitive activities to a great extent, this does not entail that cognition...

As its title suggests, this article represents a short analysis of the official discourse immediately after the 1989 Romanian revolution. The paper points out the similarities between Ion Iliescu’s and National Salvati...

Abstract Verbs can be divided in three major groups when it comes to the passive construction in Brazilian Portuguese: while verbs such as ‘escrever’ (to write) are fully compatible with the construction; verbs like ...

For each n∈N, we introduce the algebraic semantics for the minimum many-valued modal logic over the MV-chain with n elements. We prove that this quasivariety of algebras is generated by the complex algebras, obtaining ...

Abstract Background Reliable identification of protein‑protein interactions (PPIs) is crucial for deciphering cellular functional networks. Current research models still face limitations in aligning heterogeneous featu...

En Slurs and Expressivity (2021), Orlando y Saab compilan una serie de trabajos que aborda los términos peyorativos de grupo (slurs, en inglés) desde diferentes aproximaciones semántico-pragmáticas. El libro reviste ...

This paper explores Thomas Kuhn’s intellectual history by examining sources that have been understudied so far: the Lowell Lectures of 1951 (The Quest for Physical Theory) and the hitherto unpublished Notre Dame Lectur...

Defeasible Logic Programming (DeLP) is a suitable tool for knowledge representation and reasoning. Its operational semantics is based on a dialectical analysis where arguments for and against a literal interact in order ...

Modeling is one of the most crucial activities during all the phases in any software development life cycle. Typically, system development is a very complex task, and working with models helps to handle this complexity i...

Constraints add to the semantics to UML models in the form of statements which are expected to hold for the model to be considered correct, i.e., to satisfy system requirements. Constraints are considered in the UML met...

Statecharts and Duration Calculus are two formalisms used in the development of reactive systems. Statecharts provide a powerful visual formalism to specify systems. Duration Calculus is a formal logic to specify and rea...

A successful visualization allows the user to gain insight into the data in an effective way. Even with today’s visualization systems that give the user a considerable control over the visualization process, it can be ...

This thesis defines Defeasible Logic Programming and provides a concrete specification of this new language through its operational semantics. Defeasible Logic Programming, or DeLP for short, has been defined based on th...

Fuzzy rule-based systems have proved to be a convenient tool for modeling complex systems. This is due to their capacity to capture their typical imprecision, which makes classical methods inefficient. At present, Fuzzy...

Defeasible argumentation is one of the approaches that attempt to address the challenges arising when we reason defeasibly, with several formalisms in the literature reaching a mature state. Nowadays, several of them sta...

While there is broad consensus about the structural similarities between language and music, comparably less attention has been devoted to semantic correspondences between these two ubiquitous manifestations of human cul...

Frontostriatal networks play critical roles in grounding action semantics and syntactic skills. Indeed, their atrophy distinctively disrupts both domains, as observed in patients with Huntington's disease (HD) and Parkin...