Nik Swoboda

Publication Activity (10 Years)

Years Active: 2002-2019
Publications (10 Years): 3

Top Topics

Geometry Theorem Proving

Learning Frameworks

Human Communication

Online Learning Communities

Top Venues

Publications

Ernestina Menasalvas, Ana María Moreno, Nik Swoboda
A Proposal for Recognizing Skills in Data Science Using Open Badges. ITiCSE (2019)
Nicolas Fay, Bradley Walker, Nik Swoboda, Ichiro Umata, Takugo Fukaya, Yasuhiro Katagiri, Simon Garrod
Universal Principles of Human Communication: Preliminary Evidence From a Cross-cultural Communication Game. Cogn. Sci. 42 (7) (2018)
Nicolas Fay, Bradley Walker, Nik Swoboda
Deconstructing Social Interaction: The Complimentary Roles of Behaviour Alignment and Partner Feedback to the Creation of Shared Symbols. CogSci (2017)
Dave Barker-Plummer, Nik Swoboda, Michael D. Murray
An Example HyperVenn Proof. Diagrams (2014)
Dave Barker-Plummer, John Etchemendy, Michael D. Murray, Emma Pease, Nik Swoboda
Learning to Use the Openbox: A Framework for the Implementation of Heterogeneous Reasoning. Diagrams (2012)
Dave Barker-Plummer, Nik Swoboda
Reasoning with coincidence grids - A sequent-based logic and an analysis of complexity. J. Vis. Lang. Comput. 22 (1) (2011)
Nik Swoboda, Juan Bekios-Calfa, Luis Baumela, Javier de Lope
An introduction to AI course with guide robot programming assignments. SIGCSE (2011)
Nicolas Fay, Simon Garrod, Leo Roberts, Nik Swoboda
The Interactive Evolution of Human Communication Systems. Cogn. Sci. 34 (3) (2010)
Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael D. Murray, Nik Swoboda
Openproof - A Flexible Framework for Heterogeneous Reasoning. Diagrams (2008)
Patrick G. T. Healey, Nik Swoboda, Ichiro Umata, James King
Graphical Language Games: Interactional Constraints on Representational Form. Cogn. Sci. 31 (2) (2007)
Ruben Vazquez, Nik Swoboda
Combining the Semantic Web with the Web as Background Knowledge for Ontology Mapping. OTM Conferences (1) (2007)
Dave Barker-Plummer, Nik Swoboda
A Sequent Based Logic for Coincidence Grids. VLL (2007)
Nik Swoboda, Gerard Allwein
Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL. Electron. Notes Theor. Comput. Sci. 134 (2005)
Nicolas Fay, Nik Swoboda, Takugo Fukaya, Ichiro Umata, Yasuhiro Katagiri
Using Graphics to Communicate Across Cultures. Diagrams (2004)
Patrick G. T. Healey, James King, Nik Swoboda
Co-ordinating Conventions in Graphical Dialogue: Effects of Repetition and Interaction. Diagrams (2004)
Nik Swoboda, Gerard Allwein
Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. Softw. Syst. Model. 3 (2) (2004)
Nik Swoboda, Gerard Allwein
Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference. Electron. Notes Theor. Comput. Sci. 72 (3) (2003)
Nik Swoboda, Gerard Allwein
Modeling Heterogeneous Systems. Diagrams (2002)
Patrick G. T. Healey, Nik Swoboda, Ichiro Umata, Yasuhiro Katagiri
Graphical representation in graphical dialogue. Int. J. Hum. Comput. Stud. 57 (4) (2002)
Nik Swoboda, J. Gregory Trafton
Diagrams 2002. Künstliche Intell. 16 (4) (2002)
Patrick G. T. Healey, Nik Swoboda, James King
An Environment for Conducting and Analysing Graphical Communication Experiments. Diagrams (2002)