Ian Pratt-Hartmann

Search results

• Reasoning with Natural Language: Probing Transformer models' ability to perform formal reasoning in natural language

  Batawala Acharige, T. (Author), Pratt-Hartmann, I. (Supervisor) & Batista-Navarro, R. T. (Supervisor), 9 Jun 2025

  Student thesis: Phd

  File

• EXTRACTION OF TEMPORAL RELATIONSHIPS BETWEEN EVENTS FROM NEWS ARTICLES FOR TIMELINE GENERATION

  Alsayyahi, S. (Author), Pratt-Hartmann, I. (Supervisor) & Batista-Navarro, R. T. (Supervisor), 12 Jun 2024

  Student thesis: Phd

  File

• Controlled Natural Language with Temporal Features

  Adeniyi, A. (Author), Nenadic, G. (Supervisor) & Pratt-Hartmann, I. (Supervisor), 28 Mar 2018

  Student thesis: Phd

  File

• DECIDABILITY OF FINITE SATISFIABILITY OF TWO-VARIABLE FIRST-ORDER LOGIC WITH COUNTING AND LOCAL NAVIGATION IN UNORDERED UNRANKED TREES

  Guskov, Y. (Author), Pratt-Hartmann, I. (Supervisor) & Korovin, K. (Supervisor), 17 Jan 2018

  Student thesis: Phd

  File

• Temporal Controlled Natural Language for Formal Specification

  Alluhaibi, R. (Author), Ramsay, A. (Supervisor) & Pratt-Hartmann, I. (Supervisor), 3 Oct 2017

  Student thesis: Phd

  File

• Information Flow in Spatial Models of Computation

  Razavi, J. (Author), Schalk, A. (Supervisor) & Pratt-Hartmann, I. (Supervisor), 1 Feb 2017

  Student thesis: Phd

  File

• Path-Functional Dependencies and the Two-Variable Guarded Fragment with Counting

  Kourtis, G. (Author), Pratt-Hartmann, I. (Supervisor) & Schmidt, R. (Supervisor), 6 Jan 2017

  Student thesis: Phd

  File

• An Axiom System for a Spatial Logic with Convexity

  Trybus, A. (Author), Pratt-Hartmann, I. (Supervisor), 15 Dec 2011

  Student thesis: Phd

  File

• Computability of Euclidean Spatial Logics

  Nenov, Y. (Author), Pratt-Hartmann, I. (Supervisor), 29 Nov 2011

  Student thesis: Phd

  File

• AN INVESTIGATION INTO COMMONSENSE REASONING

  Jabbary Aslany, F. (Author), Pratt-Hartmann, I. (Supervisor), 18 May 2011

  Student thesis: Master of Philosophy

  File