Paper Info
Title
Rule-Based Visualization of Tableau Calculus for Propositional Logic
Abstract
This paper discusses a rule-based approach for visualizing proofs using tableaux techniques. Semantic Tableau is usually used to prove by refutation. In addition, tableaux techniques are commonly studied in different courses. Visualization is an effective teaching methodology. The availability of visualization methods that could be used by instructors is thus important.
Year
DOI
Venue
2018
10.1109/iV.2018.00069
2018 22nd International Conference Information Visualisation (IV)
Keywords
DocType
ISSN
Tableau Proof,Visualization,Constraint Handling Rules,Teaching
Conference
1550-6037
ISBN
Citations 
PageRank 
978-1-5386-7203-7
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Nada Sharaf176.99
Slim Abdennadher239460.95
Thom W. Frühwirth350148.61