Deriving sound inference rules for concept diagrams
| Title: | Deriving sound inference rules for concept diagrams |
|---|---|
| Authors: | Chapman, Peter; Stapleton, Gem; Howse, John; Oliver, Ian |
| Source: | 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) Visual Languages and Human-Centric Computing (VL/HCC), 2011 IEEE Symposium on. :87-94 Sep, 2011 |
| Relation: | 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) |
| Database: | IEEE Xplore Digital Library |