Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic

Conference proceeding

Peer reviewed

Alexander Steen, Geoff Sutcliffe, Pascal Fontainev and Jack McKeown

Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Vol.94, pp.369-385

2023

Abstract

interpretations

TPTP

verification

url

https://doi.org/10.29007/1rhxView

Published (Version of record) Open

1 Record Views

Title: Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic
Creators: Alexander Steen - Universität Greifswald
Geoff Sutcliffe - University of Miami
Pascal Fontainev - University of Liège
Jack McKeown - University of Miami
Publication Details: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Vol.94, pp.369-385
Number of pages: 17
Academic Unit: College of A&S; A&S - Computer Science
Language: English
Resource Type: Conference proceeding
Record Identifier: 991032796013602976