Add to ORKGA 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
The visualization of information is an astonishing cultural technique. It is employed in sev- eral s...
This is an author's peer-reviewed final manuscript, as accepted by the publisher. The published arti...
© 2016, Ohmsha and Springer Japan. Declarative systems aim at solving tasks by running inference eng...
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...
Dynamic systems play a central role in fields such as planning, verification, and databases. Fragmen...
The development of IDV (Interactive Data Visualisation) takes into account users’ inputs, visualisat...
I developed a visualization scheme for the representation of the uncertainty and relations in reason...
Graphical visualization has demonstrated enormous power in helping people to understand complexity i...
AbstractThis work describes the Interactive Derivation Viewer (IDV) tool for graphical rendering of ...
The field of Knowledge Representation is devoted to the study of how knowledge can be represented an...
per Predicate Logic as a Programming Language was a breakthrough for the use of logic in computer sc...
IDP is a knowledge base system based on first order logic. It is finding its way to a larger public ...
The role of logic and machine learning in visualization is not familiar to many, but the idea of vis...
The area of Knowledge Representation and Reasoning, a subfield of Artificial Intelligence, studies h...
The visualization of information is an astonishing cultural technique. It is employed in sev- eral s...
This is an author's peer-reviewed final manuscript, as accepted by the publisher. The published arti...
© 2016, Ohmsha and Springer Japan. Declarative systems aim at solving tasks by running inference eng...
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...
Dynamic systems play a central role in fields such as planning, verification, and databases. Fragmen...
The development of IDV (Interactive Data Visualisation) takes into account users’ inputs, visualisat...
I developed a visualization scheme for the representation of the uncertainty and relations in reason...
Graphical visualization has demonstrated enormous power in helping people to understand complexity i...
AbstractThis work describes the Interactive Derivation Viewer (IDV) tool for graphical rendering of ...
The field of Knowledge Representation is devoted to the study of how knowledge can be represented an...
per Predicate Logic as a Programming Language was a breakthrough for the use of logic in computer sc...
IDP is a knowledge base system based on first order logic. It is finding its way to a larger public ...
The role of logic and machine learning in visualization is not familiar to many, but the idea of vis...
The area of Knowledge Representation and Reasoning, a subfield of Artificial Intelligence, studies h...
The visualization of information is an astonishing cultural technique. It is employed in sev- eral s...
This is an author's peer-reviewed final manuscript, as accepted by the publisher. The published arti...
© 2016, Ohmsha and Springer Japan. Declarative systems aim at solving tasks by running inference eng...