---
title: "A Tool for Generating Interactive Euler Diagrams"
authors:
  - "François Schwarzentruber"
doi: ""
url: "https://ijcai.org/proceedings/2016/653"
pdf: "https://ijcai.org/proceedings/2016/0653.pdf"
venue: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence"
year: 2016
pages: "4266-4266"
track: ""
keywords:
---

# A Tool for Generating Interactive Euler Diagrams

François Schwarzentruber

*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.