If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution with ISSN or ISBN

Search results

  • 2017

    The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments

    Alharbi, E., Howse, J., Stapleton, G., Hamie, A. & Touloumis, A., 4 Oct 2017, ISWC2017 The 16th International Semantic Web Conference. Vienna: Springer, p. 20-36 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review

    Open Access
    File
  • Visual Logics Help People: An Evaluation of Diagrammatic, Textual and Symbolic Notations

    Alharbi, E., Howse, J., Stapleton, G., Hamie, A. & Touloumis, A., 17 Dec 2017, IEEE Symposium on Visual Languages and Human-Centric Computing 2017. USA: IEEE, p. 0-0 1 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review

    Open Access
    File
  • 2020

    Well-matchedness in Euler and Linear Diagrams

    Stapleton, G., Rodgers, P., Touloumis, A. & Blake, A., 17 Aug 2020, Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Proceedings. Pietarinen, A-V., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J. & Linker, S. (eds.). Cham: Springer, p. 247-263 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12169 LNAI).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review

    Open Access
    File