collaborators
Sun-Joo Shin
Manuel Barrio Solorzano
Yossi Gil
Judith Masthoff
Bernd Meyer
Stuart Kent
Simon Thompson
Peter Rodgers
Manuel Barrio Solorzano
Yossi Gil
Judith Masthoff
Bernd Meyer
Stuart Kent
Simon Thompson
Peter Rodgers
Sun-Joo Shin
Yale University, USASun-Joo produced one of the seminal pieces of work in logic-based diagrammatic reasoning, when she proved that a system of reasoning rules on Venn-Peirce diagrams was sound and complete. We are working with Sun-Joo on investigating the relationships between abstract and concrete diagrams.
Manuel Barrio Solorzano
Valladolid University, SpainManuel is currently working with us on the implementation in PVS of spider diagram reasoning systems.
Yossi Gil
The Technion, IsraelYossi has worked with us on the formalisation of spider diagrams and constraint diagrams and on projections. He is a co-author of the tutorial Advanced Visual Modeling and developed the Constraint Diagram Editor with his student Yan Sorkin.
Judith Masthoff
University of Aberdeen, UKJudith is currently working with us on developing techniques to automatically produce readable proofs in Euler diagram and spider diagram systems. She has also run experiments to test the understandability of constraint diagrams.
Bernd Meyer
Monash University, Melbourne, AustraliaWe are working with Bernd on methods of reducing clutter in Euler diagrams.
Stuart Kent
Microsoft, Cambridge, UKStuart was the inventor of the original constraint diagram notation. We have worked with Stuart on developing, using and reasoning with the notations. We worked with Stuart on the EPSRC-funded project Reasoning with Diagrams. He is overseeing the development of the tool framework. He is a co-author of the tutorial Advanced Visual Modeling.
Simon Thompson
UKCSimon is part of the Reasoning with Diagrams project. He is working on diagrammatic reasoning, particularly using tableau methods. We have worked with Simon on establishing the expressive power of spider diagrams and developing hybrid logics.
Peter Rodgers
UKCPeter is part of the Reasoning with Diagrams project. He is working on generating diagrams.