The TPTP Format for Interpretations

by
Geoff Sutcliffe
University of Miami, USA
Alexander Steen
University of Greifswald, Germany
Pascal Fontaine
University of Liège, Belgium
Lydia Kondylidou
Ludwig-Maximilians-Universität München, Germany

Abstract