Temporal reasoning based on semi-intervals
Artificial Intelligence
Inferring constraints from multiple snapshots
ACM Transactions on Graphics (TOG)
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
Grammar-based articulation for multimedia document design
Multimedia Systems
Integrating graphics and abstract data to visualize temporal constraints
ACM SIGART Bulletin
Maintaining knowledge about temporal intervals
Communications of the ACM
Knowledge-Based Design Systems
Knowledge-Based Design Systems
Fast algebraic methods for interval constraint problems
Annals of Mathematics and Artificial Intelligence
Qualitative Spatial Representation and Reasoning Techniques
KI '97 Proceedings of the 21st Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Hi-index | 0.00 |
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language and a set of unformalized mental constraints, e.g. esthetic preferences. For this type of problem, the performance of a layout assistance system does not only depend on its use of computational resources (algorithmic complexity) but also on the mental effort required to understand the system's output and to plan the next interaction (cognitive complexity). We give a formal analysis of the instantiation space of a weakly constrained rectangle layout task and propose a measure for the cognitive complexity. It is discussed how the user's control of the presentation order of the different constraint instantiations affects the cognitive complexity.