资源分类
》 资源 》论文》A Tool for Generating Interactive Euler Diagrams

A Tool for Generating Interactive Euler Diagrams

2019-11-25 | |  71 |   63 |   0
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.

上一篇：Klint: Assisting Integration of Heterogeneous Knowledge

下一篇：Interactive Planning-Based Hypothesis Generation with LTS++

用户评价
全部评价

热门资源

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • Rating-Boosted La...

    The performance of a recommendation system reli...

  • Hierarchical Task...

    We extend hierarchical task network planning wi...