Towards a standard upper ontology
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Journal of Automated Reasoning
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
P.rex: An Interactive Proof Explainer
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
prefuse: a toolkit for interactive information visualization
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
An Interactive Derivation Viewer
Electronic Notes in Theoretical Computer Science (ENTCS)
Explaining answers from the Semantic Web: the Inference Web approach
Web Semantics: Science, Services and Agents on the World Wide Web
Reasoning support for expressive ontology languages using a theorem prover
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Common sense reasoning – from cyc to intelligent assistant
Ambient Intelligence in Everyday Life
The science of analytic reporting
Information Visualization
Hi-index | 0.00 |
We describe an interactive visualization tool for large natural deduction proof searches. The tool permits the display of a search as it progresses, as well as the proof tree itself. We discuss the feature set and architecture of the tool, including aspects of extensibility and the interface for interaction with other user-provided analysis and visualization code.