Nik's Home Page

Personal Information:

Currently I am a Research Professor in the Departamento de Inteligencia Artificial of the Universidad Politécnica de Madrid. I am supported by a Ramón y Cajal grant to study heterogeneous reasoning and representation systems. This research project has two main components: the study of representation systems from a formal logical point of view, and the study of representation in human communication. My work in representation systems attempts to address fundamental issues of semantics and reasoning in diagrammatic and heterogeneous (multiple-representation) reasoning systems. My work in human communication addresses issues of communicative context and constraints on communication channels in human communication. This mix of theoretical and experimental work provides opportunities for interesting synergy between work in fields which are traditionally very insular. One of the many interesting and common themes between these two components that of abstraction, or the relationship between syntax and semantics, in representational schemes.

Previously, I have worked as an invited researcher in the Media Integration Science Laboratories of the Advanced Telecommunications Research Center in Kyoto, Japan. I completed my PhD studies in the Computer Science department of Indiana University at Bloomington. While in Bloomington I worked in the Visual Inference Laboratory under the direction of Brian Smith and Jon Barwise.

Selected Publications

Visual Reasoning:

Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL, Electronic Notes in Theoretical Computer Science, 2005, Elsevier, Volume 134.
Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference, Journal on Software & System Modeling, May 2004, Springer-Verlag, Volume 3, Number 2.
Modeling Heterogeneous Systems (Abstract), Diagrammatic Representation and Inference, 2002, Springer, Lecture Notes in Artificial Intelligence #2317.
Designing Heterogeneous Reasoning Systems with a Case Study on FOL and Euler/Venn Reasoning, Ph.D. Thesis, 2001, Indiana University. Available through UMI Publications #AAT-3038589.
A Case Study of the Design and Implementation of Heterogeneous Reasoning Systems (Abstract), Logical and Computational Aspects of Model-Based Reasoning, 2002, Kluwer Academic, Edited by Lorenzo Magnani, Nancy J. Nersessian, and Claudio Pizzi.
Implementing Euler Venn Reasoning Systems, Diagrammatic Representation and Reasoning, 2001, Springer, Edited by Michael Anderson, Bernd Meyer, and Patrick Olivier.

Graphical Communication:

Co-ordinating Conventions in Graphical Dialogue: Effects of Repetition and Interaction, Diagrammatic Representation and Inference, 2004, Springer, Lecture Notes in Artificial Intelligence \#2980.
A Tool for Performing and Analysing Experiments on Graphical Communication People and Computers XVI - Memorable Yet Invisible, 2002, Edited by Xristine Faulkner, Janet Finlay, and Francoise Detienne.
Interaction Organization in Graphical Communication Proceedings of the 25th Annual Conference of the Cognitive Science Society, 2004, Lawrence Erlbaum.
Graphical Representation in Communication: Effects of Task and Efficiency (Earlier version presented at IGC2000, PDF) International Journal of Human-Computer Studies special issue on Interactive Graphical Communication, 2002, Volume 57, Number 4.
Representational Form and Communicative Use Proceedings of the 23rd Annual Conference of the Cognitive Science Society, 2001, Lawrence Erlbaum Assoc., Edited by Johanna D. More and Keith Stenning.
An Analysis of Computer-Mediated Communication with Visual Representation (PDF In Japanese - English abstract only) Proceedings of the Fifteenth Symposium on Human Interface 1999 Human Interface Society, Edited by Osamu Katai and Tsutomu Miyasato.

Contact:

Electronic communications: nswoboda - at - clip.dia.fi.upm.es
Snail Mail:
Phone: +34-91-336-6901
Fax: +34-91-352-4819