Visualising interactive inferences with IDPD3

2015/11/03 by Ruben Lapauw, Lapauw, Ruben, Ingmar Dasseville +3 · 1 citation
Computer Science · #Advanced Database Systems and Queries #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL) #Semantic Web and Ontologies

paper · pdf · doi:10.48550/arxiv.1511.00928

openalex publication_date 2015/11/03 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

A large part of the use of knowledge base systems is the interpretation of the output by the end-users and the interaction with these users. Even during the development process visualisations can be a great help to the developer. We created IDPD3 as a library to visualise models of logic theories. IDPD3 is a new version of ID^P_Draw and adds support for visualised interactive simulations.

Citations

• Predicate Logic as a Modelling Language: The IDP System

Cited by

• ASP Chef grows Mustache to look better

Related

• InDL: A New Dataset and Benchmark for In-Diagram Logic Interpretation based on Visual Illusion
• RAESON: A Tool for Reasoning Tasks Driven by Interactive Visualization\n of Logical Structure
• Predicate Logic as a Modelling Language: The IDP System
• ReTrace: Interactive Visualizations for Reasoning Traces of Large Reasoning Models
• v1: Learning to Point Visual Tokens for Multimodal Grounded Reasoning