Pratt-Hartmann, Ian

2 publications

IJCAI 2011 On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev

AAAI 2000 Total Knowledge Ian Pratt-Hartmann