A Tool for Generating Interactive Euler Diagrams
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 4266-4266.
Abstract
We describe a tool for generating Euler diagrams from a set of region connection calculus formulas. The generation is based on a variant of local search capturing default reasoning for improving aesthetic appearance of Euler diagrams. We also describe an optimization for diagrams to be interactive: the user can modify the diagram with the mouse while formulas are still satisfied. We also discuss how such a tool may propose new relevant formulas to add to the specification using an approximation algorithm based on the satisfiability of Horn clauses.
@inproceedings{ijcai2016p653,
title = {A Tool for Generating Interactive Euler Diagrams},
author = {Schwarzentruber, François},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-16}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Subbarao Kambhampati},
pages = {4266--4266},
year = {2016},
month = {7},
url = {https://ijcai.org/proceedings/2016/653},
}
TY - CPAPER TI - A Tool for Generating Interactive Euler Diagrams AU - Schwarzentruber, François T2 - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2016 SP - 4266 EP - 4266 UR - https://ijcai.org/proceedings/2016/653 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
