N
Nik Swoboda
Researcher at Technical University of Madrid
Publications - 33
Citations - 610
Nik Swoboda is an academic researcher from Technical University of Madrid. The author has contributed to research in topics: Diagrammatic reasoning & Human communication. The author has an hindex of 11, co-authored 33 publications receiving 568 citations. Previous affiliations of Nik Swoboda include Indiana University.
Papers
More filters
Journal ArticleDOI
The Interactive Evolution of Human Communication Systems
TL;DR: Interaction was critical to the creation of shared sign systems, with different isolated pairs establishing different local sign systems and different communities establishing different global sign systems.
Journal ArticleDOI
Graphical Language Games: Interactional Constraints on Representational Form
TL;DR: It is proposed that mutual-modifiability-opportunities for people to edit or manipulate each other's contributions-is a key constraint on the emergence of complex symbol systems and the implications for models of language development and the origins of compositionality.
Journal ArticleDOI
Can iterated learning explain the emergence of graphical symbols
TL;DR: This paper contrasts two influential theoretical accounts of language change and evolution – Iterated Learning and Social Coordination with a comparison of the two accounts in relation to how each promotes signs that are effiency, systematic and learnable.
Journal ArticleDOI
Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference
Nik Swoboda,Gerard Allwein +1 more
TL;DR: This paper presents a graph-transformation based method for the verification of heterogeneous first order logic (FOL) and Euler/Venn proofs and a method for verifying the use ofheterogeneous Euler /Venn and FOL reasoning rules that is also based upon DAG transformations.
Journal ArticleDOI
Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL
Nik Swoboda,Gerard Allwein +1 more
TL;DR: This paper will begin by defining a homogeneous reasoning system for Euler/Venn diagrams including named constants and show this system to be sound and complete, and propose a heterogeneous rule of inference allowing the extraction of formulas of FOL from an Euler/.