A Tool for Generating Interactive Euler Diagrams
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. PDF
Cite
Text
Schwarzentruber. "A Tool for Generating Interactive Euler Diagrams." International Joint Conference on Artificial Intelligence, 2016.Markdown
[Schwarzentruber. "A Tool for Generating Interactive Euler Diagrams." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/schwarzentruber2016ijcai-tool/)BibTeX
@inproceedings{schwarzentruber2016ijcai-tool,
title = {{A Tool for Generating Interactive Euler Diagrams}},
author = {Schwarzentruber, François},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2016},
pages = {4266-4267},
url = {https://mlanthology.org/ijcai/2016/schwarzentruber2016ijcai-tool/}
}