Nik's Home Page
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.
- 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
- Modeling Heterogeneous Systems (Abstract),
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.
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.
- Co-ordinating Conventions in Graphical Dialogue: Effects of
Repetition and Interaction, Diagrammatic Representation and
Inference, 2004, Springer, Lecture Notes in Artificial Intelligence
- A Tool for Performing and Analysing Experiments on Graphical
People and Computers XVI - Memorable Yet Invisible, 2002, Edited
by Xristine Faulkner, Janet Finlay, and Francoise Detienne.
- Interaction Organization in Graphical Communication
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.
- Electronic communications: nswoboda - at - clip.dia.fi.upm.es
- Snail Mail:
Universidad Politécnica de Madrid
Facultad de Informática
28660-Boadilla del Monte, Madrid, SPAIN
- Phone: +34-91-336-6901
- Fax: +34-91-352-4819