Inference planning using digraphs and Boolean arrays
APL '89 Conference proceedings on APL as a tool of thought
A formal approach to protocols and strategies for (legal) negotiation
Proceedings of the 8th international conference on Artificial intelligence and law
An augmented directed graph base for application development
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Executable declarative business rules and their use in electronic commerce
Proceedings of the 2002 ACM symposium on Applied computing
A framework for human-computer interaction in directed graph drawing
APVis '01 Proceedings of the 2001 Asia-Pacific symposium on Information visualisation - Volume 9
Delegation logic: A logic-based approach to distributed authorization
ACM Transactions on Information and System Security (TISSEC)
Visualizing Association Rules for Text Mining
INFOVIS '99 Proceedings of the 1999 IEEE Symposium on Information Visualization
On the Analysis of Regulations using Defeasible Rules
HICSS '99 Proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences-Volume 6 - Volume 6
Visualization of association rules over relational DBMSs
Proceedings of the 2003 ACM symposium on Applied computing
A Semantic Web Primer
DR-BROKERING - A Defeasible Logic-Based System for Semantic Brokering
EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
A visual environment for developing defeasible rule bases for the semantic web
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Deploying defeasible logic rule bases for the semantic web
Data & Knowledge Engineering
Visualization of Proofs in Defeasible Logic
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Proof explanation in the DR-DEVICE system
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
A visualization algorithm for defeasible logic rule bases over RDF data
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Specifying process-aware access control rules in SBVR
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Visualizing logical dependencies in SWRL rule bases
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system
Knowledge-Based Systems
Hi-index | 0.00 |
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and conflicting information Such reasoning is useful in many Semantic Web applications, like policies, business rules, brokering, bargaining and agent negotiations Nevertheless, defeasible logic is based on solid mathematical formulations and is, thus, not fully comprehensible by end users, who often need graphical trace and explanation mechanisms for the derived conclusions Directed graphs can assist in confronting this drawback They are a powerful and flexible tool of information visualization, offering a convenient and comprehensible way of representing relationships between entities Their applicability, however, is balanced by the fact that it is difficult to associate data of a variety of types with the nodes and the arcs in the graph In this paper we try to utilize digraphs in the graphical representation of defeasible rules, by exploiting the expressiveness and comprehensibility they offer, but also trying to leverage their major disadvantage, by defining two distinct node types, for rules and atomic formulas, and four distinct connection types for each rule type in defeasible logic and for superiority relationships The paper also briefly presents a tool that implements this representation methodology.