By Professor Michael Thielscher

Journal articles

Thielscher M, 1994, 'On the Completeness of SLDENF-Resolution',

Brüning S; Thielscher M; Bibel W, 1993, 'Letter to the editor', Artificial Intelligence, 64, pp. 353 - 354, http://dx.doi.org/10.1016/0004-3702(93)90110-W

Bruning S; Thielscher M; Bibel W, 1993, 'Comment on Ammon’s Note', AIJ, 64, pp. 353 - 354

Thielscher M, 1993, 'On prediction in Theorist', AIJ, 60, pp. 283 - 292

Back to profile page