Skip to main content
SpringerLink
Log in
Book cover

International Conference on Theory and Application of Diagrams

Diagrams 2016: Diagrammatic Representation and Inference pp 293–295Cite as

Single Feature Indicator Systems in the Openbox

  • Conference paper
  • First Online:

  • 713 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9781))

Abstract

In this paper we describe a simple method for introducing instances of the class of Single Feature Indicator Systems into the Openbox, a framework for constructing heterogeneous proof environments. Single Feature Indicator Systems form a class of representation systems which employ a simple signalling strategy for representing information about their target domain. Using the new method allows Single Feature Indicator Systems to be implemented in the Openbox by describing the representation in a high-level language rather than by programming.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    Videos demonstrating the end-to-end use of the system are available at https://www.youtube.com/playlist?list=PLn4GZI3tktH-mOXaMzcDmDQLYgOZXfkgw.

References

  1. Barker-Plummer, D., Etchemendy, J., Murray, M., Pease, E., Swoboda, N.: Learning to use the openbox: a framework for the implementation of heterogeneous reasoning. In: Cox, P., Plimmer, B., Rodgers, P. (eds.) Diagrams 2012. LNCS, vol. 7352, pp. 3–3. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  2. Shimojima, A., Barker-Plummer, D.: The Barwise-Seligman model of representation systems: a philosophical explication. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrams 2014. LNCS, vol. 8578, pp. 231–245. Springer, Heidelberg (2014)

    Google Scholar 

  3. Shimojima, A., Barker-Plummer, D.: A generic approach to digrammatic representation systems: the case of single feature indicator systems. In: Jamnik, M., Uesaka, Y., Elzer Schwartz, S. (eds.) Diagrams 2016. LNCS, vol. 558, pp. 83–97. Springer, Heidelberg (2016)

    Google Scholar 

  4. Urbas, M., Jamnik, M.: A framework for heterogeneous reasoning in formal and informal domains. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrams 2014. LNCS, vol. 8578, pp. 277–292. Springer, Heidelberg (2014)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CSLI/Stanford University, Stanford, CA, 94305, USA

    Dave Barker-Plummer & Michael Murray

Authors
  1. Dave Barker-Plummer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Murray
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Dave Barker-Plummer .

Editor information

Editors and Affiliations

  1. The University of Cambridge , Cambridge, United Kingdom

    Mateja Jamnik

  2. The University of Tokyo , Tokyo, Japan

    Yuri Uesaka

  3. Millersville University , Millersville, Pennsylvania, USA

    Stephanie Elzer Schwartz

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Barker-Plummer, D., Murray, M. (2016). Single Feature Indicator Systems in the Openbox. In: Jamnik, M., Uesaka, Y., Elzer Schwartz, S. (eds) Diagrammatic Representation and Inference. Diagrams 2016. Lecture Notes in Computer Science(), vol 9781. Springer, Cham. https://doi.org/10.1007/978-3-319-42333-3_27

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-42333-3_27

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-42332-6

  • Online ISBN: 978-3-319-42333-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation