An Interactive Interpretation Viewer for Typed First-order Logic

Authors

DOI:

https://doi.org/10.32473/flairs.36.133073

Keywords:

Interactive, Interpretation, Logic, First-order

Abstract

This poster describes the Interactive Interpretation Viewer - IIV, for finite interpretations in typed first-order logic written in the (new) TPTP format for interpretations.

Accessibility Summary:

In accordance with Title II regulations this content meets all points of exemption as Archived web content and/or Preexisting conventional electronic documents.

Downloads

Published

08-05-2023

How to Cite

McKeown, J., & Sutcliffe, G. (2023). An Interactive Interpretation Viewer for Typed First-order Logic. The International FLAIRS Conference Proceedings, 36(1). https://doi.org/10.32473/flairs.36.133073

Issue

Vol. 36 (2023): Proceedings of FLAIRS-36

Section

Posters

License

Copyright (c) 2023 Jack McKeown, Geoff Sutcliffe

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.