Handbook of logic in artificial intelligence and logic programming (vol. 3)
Prolog programming in depth
Defeasible logic graphs: I. Theory
Decision Support Systems - Special issue: logic modeling
Explanation component of software system
Crossroads - Special issue on object oriented programming
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Graph Visualization and Navigation in Information Visualization: A Survey
IEEE Transactions on Visualization and Computer Graphics
Visual Tools to Debug Prolog IV Programs
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Explanation: A Source of Guidance for Knowledge Representation
Knowledge Representation and Organization in Machine Learning
An Agent Based Approach to Expert System Explanation
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference
Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence)
A survey of trust in computer science and the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Foundations and Trends in Web Science
Visual Stratification of Defeasible Logic Rule Bases
ICTAI '07 Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence - Volume 02
Proof explanation for a nonmonotonic Semantic Web rules language
Data & Knowledge Engineering
Towards the generation of explanations for semantic web services in OWL-S
Proceedings of the 2008 ACM symposium on Applied computing
Deploying defeasible logic rule bases for the semantic web
Data & Knowledge Engineering
Semantic Web Framework for Knowledge-Centric Clinical Decision Support Systems
AIME '07 Proceedings of the 11th conference on Artificial Intelligence in Medicine
The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
Visualization of Proofs in Defeasible Logic
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
A review of current defeasible reasoning implementations
The Knowledge Engineering Review
Question answering based on pervasive agent ontology and Semantic Web
Knowledge-Based Systems
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Multi Visualization and Dynamic Query for Effective Exploration of Semantic Data
ISWC '09 Proceedings of the 8th International Semantic Web Conference
A proof markup language for Semantic Web services
Information Systems
Proof explanation in the DR-DEVICE system
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Probe-it!: visualization support for provenance
ISVC'07 Proceedings of the 3rd international conference on Advances in visual computing - Volume Part II
The OO jDREW engine of rule responder: Naf Hornlog RuleML query answering
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Short communication: Comparison of a Deductive Database with a Semantic Web reasoning engine
Knowledge-Based Systems
Developer-friendly verification of process-based systems
Knowledge-Based Systems
Web explanations for semantic heterogeneity discovery
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Visualizing defeasible logic rules for the semantic web
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
The aesthetics of graph visualization
Computational Aesthetics'07 Proceedings of the Third Eurographics conference on Computational Aesthetics in Graphics, Visualization and Imaging
An architecture for defeasible-reasoning-based cooperative distributed planning
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Semantically-enhanced authoring of defeasible logic rule bases in the semantic web
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
HARM: a hybrid rule-based agent reputation model based on temporal defeasible logic
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web
International Journal on Semantic Web & Information Systems
Information Systems Frontiers
Toward cognitive support for OWL justifications
Knowledge-Based Systems
Hi-index | 0.01 |
The Semantic Web aims at improving the current Web, by augmenting its content with semantics and encouraging the cooperation among human users and machines. Since the basic Semantic Web infrastructure is reaching sufficient maturity, research efforts are shifting towards logic, proof and trust and rule-based systems inevitably concentrate most of the attention. Nevertheless, in order for human users to trust system answers, they have to be presented with adequate explanations that justify the derived results. And, even more importantly, these explanations have to be presented in a user-comprehensible format. Consequently, the focus in this work is on humans and the research area called proof visualization that features three main approaches: tree-based, graphical and logical/textual. Since each of the approaches presents advantages and disadvantages, this article proposes a fourth, hybrid visualization approach that combines the pros of all three approaches and attempts to leverage the respective cons. The article also presents a software tool that implements the proposed hybrid approach. The tool is called VProof"H and visualizes defeasible logic proofs, offering multiple representations that adapt to user needs. Extensive scalability and user evaluation tests prove the software tool's usability.