Research output per year
Research output per year
Supervised Work
- 8 results
Search results
-
Controlled Natural Language with Temporal Features
Author: Adeniyi, A., 31 Dec 2018Supervisor: Nenadic, G. (Supervisor) & Pratt-Hartmann, I. (Supervisor)
Student thesis: Phd
File -
DECIDABILITY OF FINITE SATISFIABILITY OF TWO-VARIABLE FIRST-ORDER LOGIC WITH COUNTING AND LOCAL NAVIGATION IN UNORDERED UNRANKED TREES
Author: Guskov, Y., 1 Aug 2018Supervisor: Pratt-Hartmann, I. (Supervisor) & Korovin, K. (Supervisor)
Student thesis: Phd
File -
Temporal Controlled Natural Language for Formal Specification
Author: Alluhaibi, R., 1 Aug 2018Supervisor: Ramsay, A. (Supervisor) & Pratt-Hartmann, I. (Supervisor)
Student thesis: Phd
File -
Path-Functional Dependencies and the Two-Variable Guarded Fragment with Counting
Author: Kourtis, G., 1 Aug 2017Supervisor: Pratt-Hartmann, I. (Supervisor) & Schmidt, R. (Supervisor)
Student thesis: Phd
File -
Information Flow in Spatial Models of Computation
Author: Razavi, J., 1 Aug 2017Supervisor: Schalk, A. (Supervisor) & Pratt-Hartmann, I. (Supervisor)
Student thesis: Phd
File -
An Axiom System for a Spatial Logic with Convexity
Author: Trybus, A., 1 Aug 2012Supervisor: Pratt-Hartmann, I. (Supervisor)
Student thesis: Phd
File -
Computability of Euclidean Spatial Logics
Author: Nenov, Y., 31 Jul 2012Supervisor: Pratt-Hartmann, I. (Supervisor)
Student thesis: Phd
File -
AN INVESTIGATION INTO COMMONSENSE REASONING
Author: Jabbary Aslany, F., 1 Aug 2011Supervisor: Pratt-Hartmann, I. (Supervisor)
Student thesis: Master of Philosophy
File