Alan Bundy Ben du Bulay Jim Howe Gordon Plotkin 1993 10 11 2000 [1] 1 [2] Edinburgh 3.2.6 3.2.7 i. ii. [1] MA Master of Arts, MA Msc Master of Science, Msc PgDip Postgraduate Diploma, Postgraduate, Undergraduate( ) PgDip MPhil Master of Philosophy, PH.D: Doctorate of Philosophy, [2] M.Phil Ph.D.
iii. 100,000 i. / ii. iii. 60,000 6.1 Working Paper Working paper 2 33 45 21 33 16 3 3.1
3.2 a) b) c) d) e) 3.3 / BUG 3.4 AI 3.5 a) b) c)
3.6 3.7 Occam 3.8 3.9 3.10
3.11 4 4.1 5 [1] 4.2 4.3 4.4 [1]
1. 2. 4.5 4.6 5 1) 2) 3) 4)
[1] 6 AB 6.1 1 6.2 2 6.3 3 6.4 4 1-3 6.5 5 [1]
6.6 6 / 6.7 7 4 5 7 / 8 troff LaTeX 7.1 7.2 7.3 [1] / LOGO tutle [1]
7.4 7.5 7.6 11 7.7 5-15 10-30 [Booth75] Forrest Hill 8 [Cooper64]
9
Fr. Aloysius Hacker "The Computational Modelling of Religious Concepts" by Fr. Aloysius Hacker 1) 2) 3) 4) 5)
9 9.1 AI 11.4 AI [Boden77] [Winston77] [Bundy78] 9.2 9.3 /
X 10 1) 2) 3) 4) 5) 6) 1 3 6 2 4 4 5 5 /
/ BUG 11 Peter Ross 11.1 AI Artificial Intelligence Bobrow D. Xerox Parc, 3333 Coyote Hill Rd, Palo Alto, Ca. USA. Cognitive Science Norman D. Department of Psychology, University of California, San Diego, La Jolla, CA 92093, USA. AI Computational Intelligence Cerconne, N. and McCalla, G. Department of Computing Science,
Simon Fraser University, Burnaby, British Columbia, Canada, V5A 1S6. Journal of Experimental and Theoretical Artificial Intelligence Dietrich E. and Fields C., Computing Research Laboratory, Box 30001/3CRL, New Mexico State University, Las Cruces, NM 88003?001, USA. 11.2 International Journal of Approximate Reasoning Bezdek J.C., Dept. of Computer Science, University of South Carolina, Columbia, SC 29208, USA Applied Artificial Intelligence Trappl R. Austrian Institute for Artificial Intelligence, University of Vienna, Austria. Journal of Artificial Intelligence in Education Marks G.H., Association for Computers in Mathematcis and Science Teaching, P.O. Box 60730, Phoenix, Arizona AZ 85082 AI Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AI EDAM) Dym C.L., Dept. of Civil Engineering, University of Massachusetts at Amherst, Amherst, Masachusetts
Artificial Intelligence and Society Gill K.S., Director SEAKE Centre, Faculty of Information Technology, Brighton Polytechnic, Brighton, UK. Journal of the Association of Computing Machinery Fischer M.J. Department of Computer Science, Yale University, PO Box 2158 New Haven, CT 06520, USA. Journal of Automated Reasoning Wos, L. Argonne National Lab., Math. and Computer Science Division, 9700 S. Cass Avenue, Argonne IL 60440, USA. Cognition Mehler J. Laboratoire de Psychologie 54 Blvd Raspall* F-5006 Paris, France. Cognitive Psychology Hunt E. Department of Psychology, University of Washington, Seattle, Washington 98195, USA. Communications and Cognition Heefer, A. and Vervenne, D.
Blandijnberg 2, B-9000 Gent, Belgium. Journal of Computer and System Sciences Blun E.K. Department of Mathematics, University of Southern California, Los Angeles, CA 90089, USA. Data and Knowledge Engineering van de Riet, R. Dept. of Math. and Computer Science, Free University, 1081 HU Amsterdam, The Netherlands. Expert Systems Evison Look H. Learned Information, Besselsleigh Road, Abingdon, Oxon, OX13 6LG. International Journal of Expert Systems Research and Applications Harandi M.T., Dept. of Computer Science, University of Illinois at Urbana-Champaign 1304 West Springfield Avenue, Urbana, IL 61801, USA. Future Computing Systems Shaw M.L., Sugeno M. Department of Computer Science, York University, 4700 Keele Street, Downsview, Ontario, Canada, M3J 1P3. Future Generation Computer Systems Aiso H., Kuo F., Raulefs P. University of Kaiserslautern,
Fachbereich Informatik, Postfach 3049, D-6750 Kaiserslautern, FRG. IKBS Journal of Intelligent Systems George F.H., Johnson L., Wright M., Lovejoy A. A.A. Publishing Services, 39 Oakleigh Gardens, London N20 9AB, UK. Knowledge Acquisition Gasines B.R. Centre for person-computer Studies, University of Calgary, Calgary, Canada The Knowledge Engineering Review Fox J. Imperial Cancer Research Fund, Lincoln's Inn Fields, London WC2 3PX, England. Language and Cognitive Processes Tyler L. MRC Applied Psychology Unit, 15 Chaucer Road, Cambridge CB2 2EF, UK. Journal of Logic Programming Lassez J.-L., IBM Thomas J. Watson Research Centre, Yorktown Heights, New York NY 10598 Machine Learning Langley P. Dept. of Information & Computer Science University of California, Irvine, CA 92717, USA.
International Journal of Man-Machine Studies Gaines B. and Hill D. Department of Computer Science, York University, 4700 Keele Street, Downsview, Ontario, Canada, M3J 1P3. CAI, NLU,, Education and Computing Levrat B. University of Geneva, 24 Rue General-Dufour, 1211 Geneva 4, Switzerland. IEEE Pattern Analysis & Machine Intelligence Pavlidis T. Rm. 2C-519, Bell Labs., 600 Mountain Ave., Murray Hill, NJ 07974, USA. Journal of Pragmatics Mey J.L and Haberland H. IEEE Journal of Robotics and Automation Bekey G.A The Robotics Institute, School of Engineering, University of Southern California, Los Angeles, CA 90089, USA. Journal of Intelligent and Robotic Systems Spyros G. Tzafestas National Technical University, Division of Computer Science, Department of Electrical Engineering,
15773 Zographou, Athens, Greece. Journal of Robotic Systems Beni G. and Hackwood S. University of California, Santa Barbara, CA International Journal of Robotics Research Brady J.M and Paul R. Artificial Intelligence Laboratory, Massachusetts Institute of Technology, 545 Technology Square, Cambridge, MA 02139, USA. Journal of Symbolic Computation Buchberger B. Johannes-Kepler-Universitat, Institut fur Mathematik, A-4040 Linz, Austria. Knowledge-based Systems Sawyer H. Butterworth Scientific Ltd. PO Box 63 Westbury House Bury Street Guildford, Surrey GU2 5BH 11.3 AISB Quarterly Sharples M. Cognitive Studies Programme, University of Sussex, Brighton, BN1 9QN. AAAI Magazine
Englemore B. Teknowledge Inc., 525 University Ave, Palo Alto, CA 94301. AISB Quarterly SIGART Newsletter Price K. Image Processing Institute, University of Southern California, Los Angeles Ca 90007 AISB Quarterly 11.4 ACM -- Computing Review Basil Blackwell -- Artificial Intelligence Abstracts INSPEC Marketing -- Key Abstracts (Artificial Intelligence) SIGART Turing Institute -- Abstracts in Artificial Intelligence 11.5 IJCAI (International Joint Conference on Artificial Intelligence) ECAI (European Conference on Artificial Intelligence) AAAI (American Association for Artificial Intelligence) AISB (Artificial Intelligence and the Study of Behaviour) CSCSI (Canadian Society for Computational Studies of Intelligence) IFIP (International Federation for Information Processing) AI
Meeting of the ACL (Association for Computational Linguistics) COLING (International Conference on Computational Linguistics) Meeting of the European Chapter of ACL COLING BCS Expert Systems Group 12 12 [Bligh72] Bligh D., What's the use of lectures?, Penguin, 1972 [Boden77] Boden M., Artificial Intelligence and Natural Man, Harvester Press, 1977 [Booth75] Booth V., ``Writing a scientific paper'', in Biochemical Society Transactions, vol 3, 1975 [Bundy78] Bundy A., R.M.Burstall, S.Weir and R.M.Young, ``To Artificial Intelligence'', Dept. of AI Occasional Paper 3, 1978 [Cooper64] Cooper B., Writing Teachnical Reports, Pelican, 1964 [Orwell68] Orwell G., The Collected Essays, Penguin, 1968 [Parsons73] Parsons C.J., Theses and Project Work, George Allen and Unwin, 1973 [Winston77] Winston P., Artificial Intelligence, Addison-Wesley, 1977