Pratt-Hartmann, Ian - School of Computer Science, University of Manchester Institute of Science and Technology

Advanced Search

Pratt-Hartmann, Ian - School of Computer Science, University of Manchester Institute of Science and Technology

Psychological Inference, Constitutive Rationality and Logical Closure
The Two-Variable Fragment with Counting
Fundamenta Informaticae 34 (2000) 1{31 1 Empiricism and Rationalism in Region-based Theories of
Computational Complexity in Natural Ian Pratt-Hartmann1
Finite-variable fragments of first-order logic
COMPUTATIONAL PROPERTIES OF SPATIAL LOGICS IN THE REAL
Analysis and the Attitudes \Lambda If I believe, as I do, that the Loch Ness monster does not exist, then my
Shape Representation using Fourier Coefficients of the Sinusoidal Transform \Lambda
Conditionalization and Total Knowledge Ian Pratt-Hartmann
An Algorithm for Planning `Sensible' Routes \Lambda Department of Computer Science
Encoding Psychological Knowledge \Lambda A widely accepted philosophical view has it that our grasp of the psycho
Ian Pratt-Hartmann: Publications Academic journal articles (all anonymously refereed)
Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders
The Two-Variable Fragment with Counting Ian Pratt-Hartmann
No Syllogisms for the Numerical Syllogistic Ian Pratt-Hartmann
Interpreting Topological Logics over Euclidean Spaces Roman Kontchakov
Proceedings, 17th National Conference on Artificial Intelligence (AAAI-00), 2000, pp. 423428 1 Total Knowledge
LOGICAL ANALYSIS OF FRAGMENTS OF NATURAL
Logics with Counting Ian Pratt-Hartmann
Guarded Fragments with 6.1 The guarded fragment
Logics with counting: Very Challenging Presentation Topics
A Topological Constraint Language with Component Counting
Functions Definable by Arithmetic Circuits Ian Pratt-Hartmann1
One Variable Fragments with Counting
COMPUTABILITY OF EUCLIDEAN SPATIAL LOGICS