Author:Geoff Sutcliffe

Publications
EasyChair Preprint no. 10329
EasyChair Preprint no. 126
Geoff Sutcliffe (editors)

Keyphrases

automated theorem proving2, automated theorem proving process, Bard, connection calculus, Description Logics, difference, EPR, first-order logic, interpretation, interpretations, logic, logics2, model, proof, Quality, tableau calculus, theorem proving3, TPTP5, TPTP language, TPTP Process Instruction language, translation2, Vampire, verification.