%A Edward A. Feigenbaum %T Themes and case studies of knowledge engineering %B Expert systems in the microelectronic age %E Donald Michie %I Edinburgh University Press %D 1979 %P 3-25 %A D.A. Waterman %T User-oriented Sms for capturing expertise: a rule-based approach %B Expert systems in the microelectronic age %E Donald Michie %I Edinburgh University Press %D 1979 %P 26-34 %A Richard M. Young %T Production systems for modelling human cognition %B Expert systems in the microelectronic age %E Donald Michie %I Edinburgh University Press %D 1979 %P 35-45 %A Mike Brady %T Expert problem solvers %B Expert systems in the microelectronic age %E Donald Michie %I Edinburgh University Press %D 1979 %P 49 %A Alan Bundy %A Lawrence Byrd %A George Luger %A Chris Mellish %A Martha Palmer %T Solving mechanics problems using meta-level inference %B Expert systems in the microelectronic age %E Donald Michie %I Edinburgh University Press %D 1979 %P 50-64 %A Raymond E. Carhart %T Congen: an expert system aiding the structural chemist %B Expert systems in the microelectronic age %E Donald Michie %I Edinburgh University Press %D 1979 %P 65-82 %A Ivan Bratko %A Tim Niblett %T Conjectures and refutations in a framework for chess endgame knowledge %B Expert systems in the microelectronic age %E Donald Michie %I Edinburgh University Press %D 1979 %P 83-102 %A J.A. Robinson %T The logical basis of programming by assertion and query %B Expert systems in the microelectronic age %E Donald Michie %I Edinburgh University Press %D 1979 %P 105-111 %A David Warren %T Prolog on the DECsystem-10 %B Expert systems in the microelectronic age %E Donald Michie %I Edinburgh University Press %D 1979 %P 112-121 %A K.L. Clark %A F.G. McCabe %T The control facilities of IC-Prolog %B Expert systems in the microelectronic age %E Donald Michie %I Edinburgh University Press %D 1979 %P 122-149 %A Richard Duda %A John Gaschnig %A Peter Hart %T Model design in the Prospector consultant system for mineral exploration %B Expert systems in the microelectronic age %E Donald Michie %I Edinburgh University Press %D 1979 %P 153-167 %A J.R. Quinlan %T Discovering rules by induction from large collections of examples %B Expert systems in the microelectronic age %E Donald Michie %I Edinburgh University Press %D 1979 %P 168-201 %K chess %A I.H. Chisholm %A D.H. Sleeman %T An aide for theory formation %B Expert systems in the microelectronic age %E Donald Michie %I Edinburgh University Press %D 1979 %P 202-212 %A J.A.M. Howe %T Learning through model building %B Expert systems in the microelectronic age %E Donald Michie %I Edinburgh University Press %D 1979 %P 215-225 %A Tim O'Shea %T Rule-based computer tutors %B Expert systems in the microelectronic age %E Donald Michie %I Edinburgh University Press %D 1979 %P 226-232 %A Aaron Sloman %T Epistemology and artificial intelligence %B Expert systems in the microelectronic age %E Donald Michie %I Edinburgh University Press %D 1979 %P 235-241 %A Patrick H. Hayes %T The naive physics manifesto %B Expert systems in the microelectronic age %E Donald Michie %I Edinburgh University Press %D 1979 %P 242-270 %A J. McCarthy %T First-order theories of individual concepts and propositions %B Expert systems in the microelectronic age %E Donald Michie %I Edinburgh University Press %D 1979 %P 271-287