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 IDP Draw and adds support for visualised interactive simulations.status: publishe
Abstract. Knowledge Visualizer (KV) uses a General Logic Diagram (GLD) to display examples and/or va...
© 2016, Ohmsha and Springer Japan. Declarative systems aim at solving tasks by running inference eng...
The development of IDV (Interactive Data Visualisation) takes into account users’ inputs, visualisat...
A large part of the use of knowledge base systems is the interpretation of the output by the end-use...
IDP3 is a knowledge-base system, offering a rich, declarative knowledge representation language, a r...
I developed a visualization scheme for the representation of the uncertainty and relations in reason...
Hammer B, Keim D, Lawrence N, Lebanon G. Preface: Intelligent interactive data visualization. Data M...
The role of logic and machine learning in visualization is not familiar to many, but the idea of vis...
The aim of this thesis is to research how well the IDP system, developed at KU Leuven, functions in ...
Dynamic systems play a central role in fields such as planning, verification, and databases. Fragmen...
AbstractThis work describes the Interactive Derivation Viewer (IDV) tool for graphical rendering of ...
This paper presents a new information visualization framework that supports the analytical reasoning...
Declarative systems aim at solving tasks by running inference engines on a specification, to free it...
This tutorial covers the state-of-the-art research, development, and applications in the KDD area of...
The aim of this work is to research how well the IDP system, developed at KU Leuven, functions in an...
Abstract. Knowledge Visualizer (KV) uses a General Logic Diagram (GLD) to display examples and/or va...
© 2016, Ohmsha and Springer Japan. Declarative systems aim at solving tasks by running inference eng...
The development of IDV (Interactive Data Visualisation) takes into account users’ inputs, visualisat...
A large part of the use of knowledge base systems is the interpretation of the output by the end-use...
IDP3 is a knowledge-base system, offering a rich, declarative knowledge representation language, a r...
I developed a visualization scheme for the representation of the uncertainty and relations in reason...
Hammer B, Keim D, Lawrence N, Lebanon G. Preface: Intelligent interactive data visualization. Data M...
The role of logic and machine learning in visualization is not familiar to many, but the idea of vis...
The aim of this thesis is to research how well the IDP system, developed at KU Leuven, functions in ...
Dynamic systems play a central role in fields such as planning, verification, and databases. Fragmen...
AbstractThis work describes the Interactive Derivation Viewer (IDV) tool for graphical rendering of ...
This paper presents a new information visualization framework that supports the analytical reasoning...
Declarative systems aim at solving tasks by running inference engines on a specification, to free it...
This tutorial covers the state-of-the-art research, development, and applications in the KDD area of...
The aim of this work is to research how well the IDP system, developed at KU Leuven, functions in an...
Abstract. Knowledge Visualizer (KV) uses a General Logic Diagram (GLD) to display examples and/or va...
© 2016, Ohmsha and Springer Japan. Declarative systems aim at solving tasks by running inference eng...
The development of IDV (Interactive Data Visualisation) takes into account users’ inputs, visualisat...