The Constraint Satisfaction Problem (CSP) is ubiquitous in artificial intelligence. It has a wide applicability, ranging from machine vision and temp...
The past few decades have seen a resurgence of reasoning techniques in artificial intelligence involving both classical and non-classical logics. In...
Visual programming languages aim to broaden the use of diagrams within the software industry, to the extent that they are integrated into the program...
Through a wide variety of approaches cognitive science has given us various important insights into the nature of diagrammatic representations. This...
A common motivation for developing computational frameworks for diagrammatic reasoning is the hope that they might serve as re-configurable tools for...
