ASP Chef grows Mustache to look better

2025-05-30

AI Summary

This work addresses the weak visualization capabilities of Answer Set Programming (ASP) solvers and their poor integration with modern web-based visualization frameworks. To resolve this, we propose ASP Chef—a templated extension method that introduces a logic-agnostic, Mustache-style template system. This enables deep decoupling and dynamic coupling between ASP’s declarative models and frontend rendering, supporting formatting, sorting, and multi-stage template expansion. ASP Chef integrates Tabulator, Chart.js, and vis.js to deliver interactive tables, charts, and graph-structure visualizations. It represents the first end-to-end integration of declarative ASP modeling with contemporary web-based visual analytics within the ASP toolchain. Evaluated on real-world use cases—including VQR data analysis, graph blocking set identification, and scheduling problems—the approach significantly enhances result interpretability and interactivity, yielding a production-ready, out-of-the-box visual analytics pipeline for ASP.

Technology Category

• Knowledge Representation and Reasoning: Logic Programming
• Constraint Satisfaction and Optimization: Satisfiability Modulo Theories
• Computer Vision: Visual Reasoning & Symbolic Representations

Application Category

• Graph Algorithms and Modeling for the Web: Efficient manipulation of static and dynamic Web-related graphs
• Web Mining and Content Analysis: Web data visualization
• Search and Retrieval-Augmented AI: Web query analysis, representation and understanding

Abstract

We present ASP Chef Mustache, an extension of ASP Chef that enhances template-based rendering of ASP solutions using a logic-less templating system inspired by Mustache. Our approach integrates data visualization frameworks such as Tabulator, Chart.js, and vis.js, enabling interactive representations of ASP interpretations as tables, charts, and graphs. Mustache queries in templates support advanced constructs for formatting, sorting, and multi-stage expansion, facilitating the generation of rich, structured outputs. We demonstrate the power of this framework through a series of use cases, including data analysis for the Italian VQR, visualization of blocking sets in graphs, and scheduling problems. The result is a versatile tool for bridging declarative problem solving and modern web-based visual analytics.

Problem

• Enhances template-based rendering of ASP solutions
• Integrates data visualization frameworks for interactive representations
• Supports advanced constructs for rich structured outputs

Innovation

• Extends ASP Chef with Mustache templating
• Integrates Tabulator, Chart.js, vis.js visualization
• Supports advanced formatting and multi-stage expansion