Machine Intelligence

(0)
  • Michie, D. (ed) (1967) Michie, D. (ed) "Machine Intelligence 1" Edinburgh: Oliver & Boyd 1967 Proceedings of the First International Machine Intelligence Workshop, held at Edinburgh, September 1965
  • Clowes, M. (1965)Clowes, M. "Perception, picture processing, and computers II"
  • Coulouris, G. (1965)Coulouris, G. F. Principles for implementing useful subsets of advanced programming Languages
  • Napper, R. B. E. (1965)Napper, R. B. E. "The Third-Order Compiler: a Context for Free Man Machine Communication"
  • Dale et al (1968) "Machine Intelligence 2", Dale, Ella and Michie, Donald (Eds) Oliver and Boyd, Edinburgh 1968. Proceedings of the Second Annual Machine Intelligence Workshop, University of Edinburgh, September 1966.
  • Burstall and Popplestone (1966)Burstall, R. M. and Popplestone, R. J. "POP-2 Reference Manual"
  • Popplestone (1966)Popplestone, R. "POP-1: An Online Language", pp 185-194
  • (1968) Machine Intelligence 3 (ed) Michie, Donald Department of Machine Intelligence and Perception, University of Edinburgh, Edinburgh University Press, 1968
  • Elcock, E.W. (1968)Elcock, E.W. "Descriptions" pp173-180
  • Foster, J.M. (1968)Foster, J.M. "Assertions: Programs written without specifying unnecessary order"
  • Popplestone (1968)Popplestone, Robin "The design philosophy of POP-2" pp393-
  • Meltzer, Bernard and Michie, Donald (eds) (1969) Meltzer, Bernard and Michie, Donald (eds) "Machine Intelligence 4" Edinburgh University Press, 1969
  • Clowes (1969)Clowes, M. B. "Pictorial relationships - a syntactic approach"
  • J.M. Foster et al, (1969)J.M. Foster et al, "ABSYS 1: An Incremental Compiler for Assertions"
  • (1970) "Machine Intelligence 5", Meltzer, Bernard and Michie, Donald (eds) Edinburgh University Press 1970
  • Hayes, P. J. (1970)Hayes, P. J. "Robotologic"
  • (1971) "Machine Intelligence 6", Meltzer, Bernard and Michie, Donald (eds) Edinburgh University Press, 1971
  • Elcock et al (1971)Elcock, E. W.; Foster, J. M.; Gray, P. M. D.; McGregor, J. J. and A. M. Murray "Abset a Programming Language Based on Sets: Motivation and Examples"
  • Hayes, P. J. (1971)Hayes, P. J. "A Logic of Actions"
  • Robinson, J.A. (1971)Robinson, J.A. "Computational logic: The unification computation" pp63-72
  • (1972) "Machine Intelligence 7", Meltzer, Bernard and Michie, Donald (eds) Edinburgh University Press, 1972
  • Bayer, R.S., and Moore, JS. (1972)Bayer, R.S., and Moore, JS. "The sharing of structure in theorem proving programs" pp101-116
  • Machine Intelligence 10, J.E. (1982) Machine Intelligence 10, J.E. Hayes, Donald Michie, and Y-H. Pao, editors, Ellis Horwood Ltd., Chicester, England, 1982.
  • Bratko, I (1981)Bratko, I "Knowledge-based problem-solving in AL3" p73
  • Clark and McCabe (1982)Clark, K. L. and F. G. McCabe "PROLOG: a language for implementing expert systems" pp455-470
  • Green and Westfold (1982)Green, C. C. and S. J. Westfold, "Knowledge-based programming self-applied"
  • Robinson, John A. and Sibert, E.E. (1982)Robinson, John A. and Sibert, E.E. "LOGLISP: an alternative to Prolog"
  • Machine Intelligence 11. (1987) Machine Intelligence 11. J. E. Hayes, D. Michie, and J. Richards, editors, Ellis Horwood, Chichester, 1987.
  • Robinson, J. A. (1987)Robinson, J. A. "Beyond LOGLISP: Combining functional and relational programming in a reduction setting"
  • (1995) Machine Intelligence 15 K. Furukawa, D. Michie, and S. Muggleton (eds). Oxford University Press 1995
  • Lloyd (1995)Lloyd, John W. "Debugging for a Declarative Programming Language"