%A C.C. Green
%T Application of theorem-proving to problem solving
%J Proceedings of the International Joint Conference
on Artificial Intelligence
%C Washington, D.C.
%D May 1969
%K ijcai ijcai1
%P 219-240

%A A. Martelli
%A U. Montanari
%T Additive AND/OR graphs
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 1-11

%A Ira Pohl
%T The avoidance of (relative) catastrophe, heuristic competence,
genuine dynamic weighting and computational issues in heuristic problem solving
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 12-17

%A T.B. Boffey
%T Some theoretical results concerning automated game-playing
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 18-22

%A Larry R. Harris
%T The bandwidth heuristic search
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 23-29

%A Jack Minker
%A Daniel H. Fishman
%A James R. McSkimin
%T The Q* algorithm - a search strategy
for a deductive question-answering system
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 31-40

%A Raymond Reiter
%T A semantically guided deductive system for automatic theorem proving
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 41-46

%A David Gelperin
%T Deletion-directed search in resolution-based proof procedures
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 47-50

%A Georg W. Ernst
%T A definition-driven theorem prover
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 51-55

%A W.W. Bledsoe
%A Peter Bruell
%T A man-machine theorem proving system
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 56-65

%A Bruce G. Buchanan
%A N.S. Sridharan
%T Analysis of behavior of chemical molecules:
rule formation on non-homogeneous classes of objects
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 67-76

%A Hans J. Berliner
%T Some necessary conditions for a master chess program
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 77-85

%A Elliot B. Koffman
%A Sumner E. Blount
%T Artificial intelligence and automatic programming in CAI
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 86-94

%A N.S. Sridharan
%T Search strategies for the task of organic chemical synthesis
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 95-104

%A Oscar Firschein
%A Martin A. Fischler
%A L. Stephen Coles
%A Jay M. Tenebaum
%T Forcasting and assessing the impact of artificial intelligence on society
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 105-120

%A John Seely Brown
%T Steps toward automatic theory formation
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 121-129

%A Alan Bundy
%T Doing arithmetic with diagrams
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 130-138

%A Gerard P. Huet
%T A mechanization of type theory
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 139-146

%A Harry E. Pople,\ Jr.
%T On the mechanization of abductive logic
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 147-152

%A D.W. Loveland
%A M.E. Stickel
%T A hole in goal trees: some guidance from resolution theory
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 153-161

%A R.S. Michalski
%T Discovering classification rules using variable-valued logic system VL1
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 162-172

%A Robert C. Moore
%T D-SCRIPT a computational theory of descriptions
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 223-229

%A Erik Sandewall
%T Conversion of predicate-calculus axioms,
viewed as non-deterministic programs, to corresponding deterministic programs
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 230-234

%A Carl Hewitt
%A Peter Bishop
%A Richard Steiger
%T A universal modular actor formalism for artificial intelligence
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 235-245

%A Daniel G. Bobrow
%A Ben Wegbreit
%T A model for control structures
for artificial intelligence programming languages
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 246-253

%A D.A. Waterman
%A A. Newell
%T PAS-II: an interactive task-free version
of an automatic protocol analysis system
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 431-445

%A G.R. Kiss
%T Outlines of a computer model of motivation
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 446-449

%A David S. Rumelhart
%A Donald A. Norman
%T Active semantic networks as a model of human memory
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 450-457

%A Marc Eisenstadt
%A Yaskov Kareev
%T Toward a model of human game playing
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 458-464

%A Charles F. Schmidt
%A John D'Addamio
%T A model of the common-sense theory of intention and personal causation
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 465-471

%A Thomas P. Moran
%T The symbolic nature of visual imagery
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 472-477

%A J. Darlington
%A R.M. Burstall
%T A system which automatically improves programs
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 479-485

%A Robert S. Boyer
%A J. Strother Moore
%T Proving theorems about Lisp functions
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 486-493

%A Robert M. Balzer
%T A global view of automatic programming
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 494-499

%A Shmual M. Katz
%A Zohar Manna
%T A heuristic approach to program verification
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 500-512

%A L.K. Schubert
%T Iterated limiting recursion and the program minimization problem
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 513-523

%A Ben Wegbreit
%T Heuristic methods for mechanically deriving inductive assertions
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 524-536

%A Jared L. Darlington
%T Automatic program synthesis in second-order logic
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 537-542

%A F. O'Gorman
%A M.B. Clowes
%T Finding picture edges through collinearity of feature points
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 543-555

%A Alan K. Macworth
%T Interpreting pictures of polyhedral scenes
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 556-563

%A Fumiaki Tomita
%A Masahiko Yachida
%A Saburo Tsuji
%T Detection of homogeneous regions by structural analysis
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 564-571

%A Ruzena Bajcsy
%T Computer description of textured surfaces
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 572-579

%A Yoram Yakimovsky
%A Jerome A. Feldman
%T A semantics-based decision theory region analyzer
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 580-588

%A Lawrence G. Tesler
%A Horace J. Enea
%A David C. Smith
%T The Lisp70 pattern matching system
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 671-676

%A David Canfield Smith
%A Horace J. Enea
%T Backtracking in Mlisp2 - an efficient backtracking method for Lisp
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 677-685

%A Warren Teitelman
%T Clisp - conversational Lisp
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 686-690

%A John Mylopoulos
%A Norman Badler
%A Lucio Melli
%A Nicholas Roussopoulos
%T 1.PAK: a SNOBOL-based programming language
for artificial intelligence applications
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 691-696

%A L. Peter Deutsch
%T A Lisp Machine with very compact programs
%J Advance Papers from the Third International Joint Conference
on Artificial Intelligence
%C Stanford, California
%D August 1973
%K ijcai ijcai3
%P 697-703

%A Mario Aiello
%A Richard Weyrauch
%T Checking proofs in the metamathematics of first order logic
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 1-8

%A H. Andreka
%A T. Gergely
%A I. Nemeti
%T On the role of mathematical language concept
in the theory of intelligent systems
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 9-14

%A W.W. Bledsoe
%T A new method for proving certain Presburger formulas
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 15-21

%A Alan Bundy
%T Analysing mathematical proofs (or reading between the lines)
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 22-28

%A Peter Florath
%T On methods to decide solvability of transformation problems
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 29-33

%A James R. Geiser
%T Commenting proofs
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 34-39

%A H. Andreka
%A T. Gergely
%A I. Nemeti
%T Description theory as basis for a creative problem solver
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 40-45

%A Lawrence J. Henschen
%T Semantic resolution for Horn sets
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 46-52

%A Ivan Kramosil
%T A note on deduction rules with negative premises
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 53-56

%A Toshio Nishimura
%A Masakazu Nakanishi
%A Yoshiaki Iwamaru
%T Gentzen-type formal system representing properties of function
and its implementation
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 57-64

%A D.A. Pospelov
%T Semiotic models in artificial intelligence problems
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 65-70

%A Mark E. Stickel
%T A complete unification algorithm for associative-commutative unification
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 71-76

%A Jophien van \ Vaalen
%T An extension of unification to substitutions
with an application to automatic theorem proving
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 77-82

%A Nick Cercone
%A Len Schubert
%T Toward a state based conceptual representation
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 83-90

%A Eugene Charniak
%T A partial taxonomy of knowledge about actions
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 91-98

%A Richard E. Fikes
%T Deductive retrieval mechanisms for state description models
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 99-106

%A Lowel Hawkinson
%T The representation of concepts in OWL
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 107-114

%A Gary G. Hendrix
%T Expanding the utility of semantic networks through partitioning
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 115-121

%A Joachim H. Laubsch
%T Some thoughs about representing knowledge in instructional systems
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 122-125

%A Douglas B. Lenat
%T Beings: knowledge as interacting experts
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 126-133

%A John Mylopoulos
%A Philip Cohen
%A Alexander Borgida
%A Laszlo Sugar
%T Semantic networks and the generation of context
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 134-142

%A Chuck Rieger
%T Conceptual overlays:
a mechanism for the interpretation of sentence meaning in context
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 143-150

%A Roger C. Schank
%A Robert P. Abelson
%T Scripts, plans, and knowledge
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 151-157

%A L.K. Schubert
%T Extending the expressive power of semantic networks
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 158-164

%A M.N. Weinzweig
%T Association memory model using the notion of "importance"
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 165-168

%A R.T. Chien
%A S. Weissman
%T Planning and execution in incompletely specified environments
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 169-174

%A Ira P. Goldstein
%T Bargaining between goals
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 175-180

%A Philip J. Hayes
%T A representation for robot plans
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 181-188

%A Carl Hewitt
%T How to use what you know
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 189-198

%A E.S. Kuzin
%A G.E. Pozdnyak
%A I.B. Fominykh
%T Planning the activity of robot with artificial intelligence
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 199-205

%A Earl D. Sacerdoti
%T The nonlinear nature of plans
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 206-214

%A Austin Tate
%T Interacting goals and their use
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 215-218

%A N.G. Zagoruiko
%T Empirical prediction algorithm
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 219-222

%A V.M. Akhutin
%A M.O. Loffe
%A G.M. Kotler
%A A.Y. Rats
%T Application of methods of adaptive learning to the problem
of automatic decision making under the conditions of apriori uncertainty
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 223-225

%A Michael A. Bauer
%T A basis for the acquisition of procedures from protocols
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 226-231

%A Cordell Green
%A David Barstow
%T Some rules for the automatic synthesis of programs
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 232-239

%A Steven Hardy
%T Synthesis of Lisp functions from examples
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 240-245

%A Frederick Hayes-Roth
%A David J. Mostow
%T An automatically compilable recognition network for structured patterns
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 246-252

%A John Knapman
%T Some principles of artificial learning that have emerged from examples
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 253-259

%A David E. Shaw
%A William R. Swartout
%A C. Cordell Green
%T Inferring Lisp programs from examples
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 260-267

%A L. Siklossy
%A D.A. Sykes
%T Automatic program synthesis from example problems
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 268-273

%A R.J. Solomonoff
%T Inductive inference theory - a unified approach
to problems in pattern recognition and artificial intelligence
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 274-280

%A Steven A. Vere
%T Induction of concepts in the predicate calculus
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 281-287

%A Zohar Manna
%A Richard Waldinger
%T Knowledge and reasoning in program synthesis
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 288-295

%A D.A. Waterman
%T Adaptive production systems
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 296-303

%A G.M. Adelson-Velskiy
%A V.L. Arlasarov
%A M.V. Donskoy
%T On the structure of an important class of exhaustive problems
and on ways of search reduction for them
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 304-308

%A Dennis de\ Champeaux
%A Lenie Sint
%T An improved bi-directional heuristic search algorithm
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 309-314

%A Teiji Furugori
%T Knowledge and its use in a prgram for going from one place to another
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 315-320

%A M.G. Gaaze-Rapoport
%A V.N. Zakharov
%A D.A. Pospelov
%T The influence of nonuniformity in the models of automata collective behaviour
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 321-327

%A H. Hagendorf
%A W. Kolbe
%A E. Sommerfield
%T About the solution of combinatorical problems with problem solving methods
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 328-333

%A Larry W. Herris
%T The heuristic search andthe game of chess:
a study of quiescence, sacrifices, and plan oriented play
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 334-339

%A G. Levi
%A F. Sirovich
%T A problem reduction model for non independent subproblems
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 340-344

%A A. Martelli
%A U. Montanari
%T From dynamic programming to search algorithms with functional costs
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 345-350

%A Charles G. Morgan
%T Automated hypothesis generation using extended inductive resolution
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 351-356

%A V.M. Ozernoi
%A M.G. Gaft
%T Method for the best solutions search in multiobjective decision problems
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 357-362

%A J.R. Quinlan
%T Predicting the length of solutions of problems
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 363-369

%A L.A. Rastrigin
%A R.H. Erenshtein
%T A collective of algorithms
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 370-373

%A Alan M. Stanier
%T BRIBIP: a bridge bidding program
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 374-378

%A V.M. Briabin
%A V.A. Serebriakov
%A V.M. Yufa
%T LORD: Lisp-oriented resolver and data-base
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 514-520

%A Bob Gerritsen
%T The application of artificial intelligence to data base management
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 521-527

%A William D. Haseman
%A Andrew B. Whinston
%T Problem solving approach in data management
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 528-533

%A A.G. Hill
%A H.R.A. Townsend
%T Deadlock-free parallel processing
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 534-537

%A Vitaly S. Lozovsky
%T Some considerations concerning the problem base of purposeful systems
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 538-541

%A P. Medema
%T A control structure for a question-answering system
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 542-548

%A Lucio F. Melli
%T The 2.PAK language: goals and descriptions
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 549-555

%A C. Montangero
%A G. Pacini
%A F. Turini
%T MAGMA-Lisp a "machine language" for artificial intelligence
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 556-561

%A Judea Pearl
%T On the storage economy of error-tolerating question-answering systems
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 562-568

%A Gregory F. Pfister
%T The description and control of changing pictures
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 569-574

%A Vladimir N. Pilshikov
%T PLANNER-BESM-6 system: implementation methods
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 575-578

%A J.G. St.\ Quinton
%A A.M. Andrew
%T A data base for A.I.
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 579-584

%A Erik Sandewall
%T Ideas about management of Lisp data bases
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 585-592

%A Douglas Skuce
%T An English-like language for qualitative scientific knowledge
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 593-600

%A Sten-Ake Tarnlund
%T An interpreter for the programming language predicate logic
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 601-608

%A M. Weinstein
%T Structured robotics
%J Advance Papers from the Fourth International Joint Conference
on Artificial Intelligence
%C Tbilisi, USSR
%D September 1975
%K ijcai ijcai4
%P 609-615

%A A. Yonezawa
%A C. Hewitt
%T Modelling distributed systems
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 370-376

%A H. Wertz
%T Understanding and improving Lisp programs
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 377

%A N. Dershowitz
%T Automatic program annotation
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 378

%A H. Samet
%T Toward automatic debugging of compilers
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 379

%A C. Green
%T A summary of the PSI program synthesis system
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 380-381

%A D. Barstow
%T A knowledge-based system for automatic program construction
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 382-388

%A R. Balzer
%A N. Goldman
%A D. Wile
%T Informality in program specifications
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 389-397

%A R. Balzer
%A N. Goldman
%A D. Wile
%T Meta-evaluation as a tool for program understanding
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 398-403

%A N. Goldman
%A R. Balzer
%A D. Wile
%T The use of a domain model in understanding informal process descriptions
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 404

%A Z. Manna
%A R. Waldinger
%T The automatic synthesis of systems of recursive programs
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 405-411

%A J.-P. Jouannaud
%A G. Guiho
%A J.-P. Treuil
%T SISP/1: an interactive system able to synthesize functions from examples
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 412-418

%A K. Clark
%A S. Sickel
%T Predicate logic: a calculus for the formal derivation of programs
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 419-420

%A C. Perdue
%A H.J. Berliner
%T EG - a case study in problem solving with king and pawn endings
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 421-427

%A H.J. Berliner
%T Experiences in evaluation with BKG - a program that plays backgammon
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 428-433

%A W.W. Bledsoe
%T Set variables
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 501-510

%A R.S. Boyer
%A J.S. Moore
%T A lemma driven automatic theorem prover for recursive function theory
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 511-519

%A J.L. Darlington
%T Improving the efficiency of higher order unification
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 520-525

%A R.E. Shostak
%T An algorithm for reasoning about equality
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 526-527

%A S. Kuhner
%A C. Mathis
%A P. Raulefs
%A J. Siekmann
%T Unification of idempotent functions
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 528

%A M.C. Harrison
%T A hierarchical approach to theorem-proving
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 529-533

%A F.M. Brown
%T A theorem prover for elementary set theory
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 534-540

%A L.J. Henschen
%A W.M. Evangelist
%T Theorem proving by covering expressions
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 541-542

%A A. Martelli
%A U. Montanari
%T Theorem proving with structure sharing and efficient unification
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 543

%A S. Sickel
%T Formal grammars as models of logic derivations
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 544-551

%A S.D. Litvinchouk
%A V.R. Pratt
%T A proof-checker for dynamic logic
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 552-558

%A Pat J. Hayes
%T In defense of logic
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 559-565

%A P.B. Andrews
%A E.L. Cohen
%T Theorem proving in type theory
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 566

%A R.D. Gumb
%T A mechanized proof procedure for free intensional logics
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 567

%A W. Teitelman
%T A display oriented programmer's assistant
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 905-915

%A D.C. Brown
%A S.C. Kwasny
%A H.N. Buttelman
%A B. Chandrasekharan
%A N.K. Sondheimer
%T NLG - natural language graphics
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 916

%A L. Travis
%A M. Honda
%A R. LeBlanc
%A S. Ziegler
%T TELOS, a language for building well-structured AI models
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 917

%A L.A. Zadeh
%T PRUF, a language for the representation of meaning in natural languages
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 918

%A V. Chavchanidze
%T Heuristico-conceptual programming
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 919

%A R. Davis
%A B.G. Buchanan
%T Meta-level knowledge: overview and applications
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 920-927

%A D.B. Lenat
%A J. McDermott
%T Less than general production system architectures
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 928-932

%A C. Forgy
%A J. McDermott
%T OPS, a domain-independent production system language
%J Proceedings of the Fifth International Joint Conference
on Artificial Intelligence
%C Cambridge, Massachusetts
%D August 1977
%K ijcai ijcai5
%P 933-939

%A Jan S. Aikins
%T Prototypes and production rules:
an approach to knowledge representation for hypothesis formation
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 1-3

%A Kiyoshi Akama
%A Atsunobu Ichikawa
%T A basic model for learning systems
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 4-6

%A Koichiro Akita
%A Hideki Kuga
%T Towards understanding color ocular fundus images
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 7-12

%A Shun-ichi Amari
%T Theory of self-organizing nerve nets
with special reference to association and concept formation
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 13-15

%A John R. Anderson
%A Paul J. Kline
%T A learning system and its psychological implications
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 16-21

%A Yuichiro Anzai
%A Naoto Ishibashi
%A Yuichi Mitsuya
%A Shoji Ura
%T Knowledge-based problem solving by a labelled production system
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 22-24

%A Kyota Aoki
%A Kokichi Tanaka
%T Interactive graph production system
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 25-30

%A Avron Barr
%T Meta-knowledge and cognition
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 31-33

%A David R. Barstow
%T Knowledge engineering in nuclear physics
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 34-36

%A David R. Barstow
%T The roles of knowledge and deduction in program synthesis
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 37-43

%A Jean Paul Barthes
%A Michel Vayssade
%A Monika Miaczynska
%T Property driven data bases
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 44-46

%A James S. Bennett
%A Robert S. Engelmore
%T SACON: a knowledge-based consultant for structural analysis
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 47-49

%A David B. Benson
%A Bruce R. Hilditch
%A J. Denbigh Starkey
%T Tree analysis techniques in tsumego
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 50-52

%A Hans Berliner
%T On the construction of evaluation functions for large domains
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 53-55
%K SNAC

%A Robert C. Berwick
%T Learning structural descriptions of grammar rules from examples
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 56-58

%A Wolfgang Bibel
%T On suntax-directed, semantics-supported program synthesis
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 59-62

%A M. Bidoit
%A C. Gresse
%A G. Guiho
%T A system which synthesizes array-manipulating programs from specifications
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 63-65

%A W.W. Bledsoe
%A Robert Shostak
%T A prover for general inequalities
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 66-69

%A Robert C. Bolles
%T Symmetry analysis of two-dimensional patterns for computer vision
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 70-72

%A R.C. Bolles
%A L.H. Quam
%A M.A. Fischler
%A H.C. Wolf
%T Automatic determination of image-to-database correspondences
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 73-78

%A Alan Bonnet
%T Understanding medical jargon as if it were a natural language
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 79-81

%A P. Bonzon
%T Learning of abstractions from structural descriptions of pictures
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 82-84

%A Mike Brady
%T Finding the axis of an egg
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 85-87

%A Mike Brady
%T Inferring the direction of the Sun
from intensity values on a generalised cone
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 88-91

%A Max A. Bramer
%T Testing correctness of strategies in game-playing programs
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 92-94

%A Ivan Bratko
%T Implementing search heuristics using the AL1 advice-taking system
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 95-97

%A M.J. Brooks
%T Surface-normals from closed paths
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 98-101

%A Ruven Brooks
%A Jon Heiser
%T Controlling question asking in a medical expert system
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 102-104

%A Rodnay A. Brooks
%A Russell Greiner
%A Thomas O. Binford
%T The ACRONYM model-based vision system
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 105-113

%A David J.H. Brown
%T Hierarchical reasoning in the game of go
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 114-116

%A William I. Bullers
%A Shimon Y. Nof
%A Andrew B. Whinston
%T A logic representation of manufacturing control
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 117-119

%A Eva Buranova
%A Svatava Machova
%A Bohumil Miniberger
%A Antonin Riha
%T Question-answering system of Charles University (abstract)
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 120

%A Jaime G. Carbonell
%T Computer models of human personality traits
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 121-123

%A Jaime G. Carbonell
%T The counterplanning process: reasoning under adversity
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 124-130

%A Michel Cayrol
%A Bernard Fade
%A Henri Farreny
%T Formal objects and feature associations in "Argos-II"
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 131-133

%A B. Chandrasekaran
%A F. Gomez
%A S. Mittal
%A K. Smith
%T An approach to medical diagnosis based on conceptual structures
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 134-142

%A C.L. Chang
%T Resolution plans in theorem proving
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 143-148

%A Kenneth W. Church
%T Co-ordinate squares: a solution to many chess pawn endgames
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 149-154

%A William J. Clancey
%T Dialogue management for rule-based tutorials
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 155-161

%A Anthony Cohn
%T Mechanizing a particularly expressive many sorted logic
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 162-164

%A Ronald W. Colman
%T Manipulation extrapolation, a system for controlling trainable robots
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 165-167

%A Daniel D. Corkill
%T Hierarchical planning in a distributed environment
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 168-175

%A Lewis D. Creary
%T Propositional attitudes: Fregean representation and simulative reasoning
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 176-181

%A Veronica Dahl
%T Quantification in three-valued logic
for natural language question-answering systems
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 182-187
%K application, natural lamguage, embedded formalism

%A Douglas P. Dankel,\ II
%T Browsing in large data bases
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 188-190

%A Dennis de\ Champeaux
%T Sub-problem finder and instance checker:
two cooperating preprocessors for theorem provers
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 191-196

%A John de\ Kleer
%T The origin and resolution of ambiguities in causal arguments
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 197-203

%A Renato de\ Mori
%A Lorenza Saitta
%T Scheduling of processes in a speech understanding system
based on approximate reasoning
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 204-207

%A Pierpaolo Degano
%A Franco Sirovich
%T Inducing function properties from computation traces
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 208-216

%A Gerald deJong
%T Prediction and substantiation: two processes that comprise understanding
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 217-222

%A Thomas G. Dietterich
%A Ryszard S. Michalski
%T Learning and generalization of characteristic descriptions:
evaluation criteria and comparative review of selected methods
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 223-231

%A Jon Doyle
%T A glimpse of truth maintenance
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 232-237

%A Marc Eisenstadt
%T Alternative parsers for conceptual dependency: getting there is half the fun
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 238-240

%A Bob Eischlager
%T Consistency of theories of ideas
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 241-243

%A Jon J. Elshout
%A Bob J. Wielinga
%T A computational approach to the study of human skill acquisition
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 244-246

%A C. Engelman
%A Charles H. Berg
%A Miriam Bischoff
%T Knobs: an experimental knowledge based tactical air mission planning system
and a rule based aircraft identification simulation facility
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 247-249

%A Robert Engelmore
%A Allan Terry
%T Structure and function of the Crysalis system
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 250-256

%A Hajime Enomoto
%A Naoki Yonezaki
%A Katsumi Nitta
%T A model for perception of structural image feature
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 257-259

%A Lawrence M. Fagan
%A John C. Kunz
%A Edward A. Feigenbaum
%A John J. Osborn
%T Representation of dynamic clinical knowledge:
measurement interpretation in the intensive care unit
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 260-262

%A William S. Faught
%T Modelling intentional behavior generation
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 263-265

%A Stephen Fickas
%A Ruven Brooks
%T Recognition in a program understanding system
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 266-268

%A Robert Elliot Filman
%T The interaction of observation and inference
in a formal representation system
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 269-274

%A Tim Finin
%A Bradley Goodman
%A Hary Tennant
%T JETS: achieving completeness throuygh coverage and closure
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 275-281

%A Mark S. Fox
%T On inheritance in knowledge representation
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 282-284

%A Peter Friedland
%T Knowledge-based experiment design in molecular genetics
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 285-287

%A Hiroya Fujisaki
%A Yasuhiro Katagiri
%T Quantitative evaluation of transmission of meaning
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 288-290

%A Kunihiko Fukushima
%T Self-organization of aneural network which gives position-invariant response
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 291-293

%A Koichi Furukawa
%T Relational strategies for processing universally quantified queries
to large data bases
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 294-299

%A John Gaschnig
%T A problem similarity approach to devising heuristics: first results
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 301-307

%A John Gaschnig
%T Preliminary performance analysis
of the Prospector consultant system for mineral exploration
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 308-310

%A Michael R. Genesereth
%T The role of plans in automated consultation
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 311-319

%A Donald B. Gennery
%T Object detection and measurement using stereo vision
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 320-327

%A M.P. Georgeff
%T A framework for control in production systems
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 328-334

%A Geroges Giralt
%A Ralph Sobek
%A Raja Chatila
%T A multi-level planning and navigation system for a mobile robot;
a first approach to Hilare
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 335-337

%A Shigeki Goto
%T Program synthesis from natural deduction proofs
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 339-341

%A Cordell Green
%A Richard P. Gabrial
%A Elaine Kant
%A Beverly I. Kedzierski
%A Brian P. McCune
%A Jorge V. Phillips
%A Steve T. Tappel
%A Stephen J. Westfold
%T Results in knowledge based program synthesis
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 342-344

%A Giovanni Guida
%A Marco Somalvico
%T A two level modular system for natural language understanding
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 345-347

%A Ake Hansson
%A Sten-Ake Tarnlund
%T A natural programming calculus
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 348-355
%K dlists

%A Robert M. Haralick
%A Gordon L. Elliott
%T Increasing tree search efficiency for constraint satisfaction problems
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 356-364

%A Larry R. Harris
%T Experience with ROBOT
in 12 commercial natural language data base query applications
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 365-368

%A Tsutomu Hasegawa
%A Hirochika Inoue
%T Modelling and monitoring a manipulation environment
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 369-371

%A Phil Hayes
%A Raj Reddy
%T Graceful interaction in man-management communication
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 372-374

%A Barbara Hayes-Roth
%A Frederick Hayes-Roth
%T Modeling planning as an incremental, opportunistic process
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 375-383

%A Masahiro Hirata
%A Toshio Nishimura
%T A prover for parallel processes
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 384-389

%A Jerry R. Hobbs
%T Conversation as planned behavior
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 390-396

%A Clifford R. Hollander
%T A knowledge-based application definition system
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 397-399

%A Michio Honda
%A Keiji nakajima
%T Interactive theorem proving on hierarchically and modularly structured set
of very many axioms - extended abstract -
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 400-402

%A Yukio Hoshino
%A Hiroyuki Kami
%A Ritsuko Ohmoti
%A Hideaki Ueda
%A Yasuhumi Mitsuzawa
%T Recognition of handprinted alphanumerics, symbols and "katakana" characters
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 403-405

%A J.M Hullot
%T Associative commutative pattern matching
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 406-412

%A Katsushi Ikeuchi
%A Berthold K.P. Horn
%T An application of the photometric stereo method
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 413-415

%A Masaharu Imai
%A Yuuji Yoshida
%A Teruo Fukumura
%T A parallel searching scheme for multiprocessor systems
and its application to combinatorial problems
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 416-418

%A Haruki Imaoka
%A Michio Sugeno
%T A model of dialog based on fuzzy set concept
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 419-421

%A Shun Ishizaki
%T Dynamic speech discrimination using an articulatory model
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 422-424

%A Ramesh Jain
%A W.N. Martin
%A J.K. Aggarwal
%T Extraction of moving object images through change detection
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 425-428

%A Jurgen M. Janas
%T How not to say "nil" -
improving answers to failing queries in data base systems
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 429-434

%A Aravind K. Joshi
%A Steve Kuhn
%T Centered logic: the role of entity centered sentence representation
in natural language inferecing
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 435-439

%A J.P. Jouannaud
%A Y. Kodratoff
%T Characterization of a class of functions synthesized from examples
by a Summers like method using a "B.M.W." matching technique
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 440-447

%A Kenneth M. Kahn
%T Making aesthetic choices
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 448-450

%A Tsuguchika Kaminuma
%T Conceptual lattice: a unified model for medical inference processes
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 451-453

%A Takeo Kanade
%T A theory of the origami world
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 454-456

%A Elaine Kant
%T A knowledge-based approach to using efficiency estimation
in program synthesis
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 457-460

%A S. Jerrold Kaplan
%A Eric Mays
%A Aravind K. Joshi
%T A technique for managing the lexicon
in a natural language interface to a changing data base
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 461-465

%A Tsutomu Kaneda
%A Shin-ya Amano
%T Japanese word processor
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 466-468

%A Eiji Kawaguchi
%A Masao Yokota
%A Tsutomu Endo
%A Tuneo Tamati
%T An understanding system of natural language and pictorial pattern
in the world of weather report
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 469-474

%A John R. Kender
%T Shape from texture: an aggregation transform
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 475-480

%A Philip Klahr
%T Conditional answers in question-answering systems
that maps a class of textures into surface orientation
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 481-483

%A Yutaka Kobayashi
%A Yasuhisa Nimii
%T A procedural representation of lexical entries
in augmented transition network grammar
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 484-486
%K ATN

%A Kurt Konolidge
%T An inference net compiler for the Prospector rule-based consultation system
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 487-489

%A William A. Kornfeld
%T ETHER - a parallel problem solving system
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 490-492

%A Kazutada Koshikawa
%T A polarimetric approach to shape understanding of glossy objects
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 493-495

%A Yoshiyuki Kotani
%T Grammatical inference on the basis of linear environments of symbol strings
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 496-498

%A Benjamin Kuipers
%T Commonsense knowledge of space: learning from experience
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 499-501

%A Toshiaji Kurokawa
%T Lisp activities in Japan
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 502-504

%A Pat Lengley
%T Rediscovering physics with Bacon.3
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 505-507

%A Jean=claude Latombe
%T Failure processing in a system for designing complex assemblies
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 508-515

%A Joachim H. Laubach
%T Interfacing a semantic net with an augmented transition network
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 516-518
%K ATN

%A Jean Louis Lauriere
%T Toward efficiency through generality
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 519-521

%A Wendy G. Lehnert
%A Mark H. Burstein
%T The role of object primitives in natural language processing
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 522-524

%A Henry H. Leitner
%A Michael W. Freeman
%T Structured inheritance networks and natural language understanding
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 525-530

%A Douglas B. Lenat
%A Frederick Hayes-Roth
%A Philip Klahr
%T Cognitive economy in artificial intelligence systems
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 531-536

%A Victor R. Lesser
%A Daniel D. Corkill
%T The application of artificial intelligence techniques
to cooperative distributed processing
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 537-540

%A L. Litvintseva
%A D.A. Pospelov
%T Time in robots and dialog systems (abstract only)
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 541

%A Zohar Manna
%A Richard Waldinger
%T A deductive approach to program synthesis
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 542-551

%A Gordon McCalla
%A Peter F. Schneider
%T The execution of plans in an independent dynamic microworld
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 553-555

%A Donald L. McCracken
%T Representation and efficiency in a production system for speech understanding
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 556-561

%A Drew McDermott
%A Jon Doyle
%T An introduction to non-monotonic logic
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 562-567

%A John McDermott
%T Learning to use analogies
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 568-576

%A Tom M. Mitchell
%T An analysis of generalization as a search problem
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 577-582

%A Fumio Mizoguchi
%A Kunihisa Maruyama
%A Takashi Yamada
%A Katsuaki Kitazawa
%A Masao Saito
%A Casimir A. Kulikowski
%T A case study of EXPERT formalism - an approach to a design
of medical consultation system through EXPERT formalism
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 583-585

%A Niichiro Mizoguchi
%A Osamu Kakusho
%T Hierarchical production system
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 586-588

%A Masaharu Mizumoto
%A Satoru Fukami
%A Kokishi Tanaka
%T Fuzzy conditional inferences and fuzzy inferences with fuzzy quantifiers
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 589-591

%A Robert Moll
%A John Wade Ulrich
%T The synthesis of programs by analogy
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 592-594

%A Fanya S. Montalvo
%A Naomi Weisstein
%T An empirical method that provides a basis
for the organization of relaxation labeling processes for vision
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 595-597

%A Hans P. Moravec
%T Visual mapping by a robot rover
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 598-600

%A Jack Mostow
%A Frederick Hayes-Roth
%T Operationalizing heuristics: some AI methods for assisting AI programming
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 601-609

%A Makoto Nagao
%A Takashi Matsuyama
%A Hisayuki Mori
%T Structural analysis of complex aerial photographs
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 610-616

%A Makoto Nagao
%A Jun-ichi Tsujii
%T S-Net: a foundation for knowledge representation languages
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 617-624

%A Makoto Nagao
%A Jun-ichi Tsujii
%A Katsuto Nakajima
%A Kei Mitamura
%A Hachidai Ito
%T Lisp machine NK3 and measurement of its performance
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 625-627

%A Sei-ichi Nakagawa
%A Toshiyuki Sakai
%T A parallel tree search method
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 628-632

%A Yasuaki Nakamura
%A Seiji Inokuchi
%T Music information processing system
and its application to comparative musicology
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 633-635

%A Masakazu Nakanishi
%A Morio Nagata
%A Kenji Ueda
%T An automatic theorem prover generating a proof in natural language
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 636-638

%A Ramakant Nevantia
%A K. Ramesh Babu
%T Linear feature extraction and description
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 639-641

%A Ram Nevatia
%A Keith Price
%A Felicia Vilnrotter
%T Describing natural textures
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 642-644

%A H. Penny Nii
%A Nelleke Aiello
%T AGE (Attemt to Generalize): a knowledge-based program
for building knowledge-based programs
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 645-655

%A Fujio Nishida
%A Gilohi Kishimoto
%A Shinohu Takamatsu
%T Extraction of items from abstracts
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 656-658

%A Fujio Nishida
%A Yonehari Fujita
%A Hiroji Kusaka
%T Problem solving of elementary algebra by hierarchical abstraction
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 659-661

%A Toyo-aki Nishiba
%A Shuji Doshita
%T The framework of knowledge representation and its retrieval in LGS
- the literature guide system
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 662-664

%A Hitoshi Ogawa
%A Tadahiro Kitahashi
%A Kokichi Tanaka
%T The theorem prover using a parallel processing system
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 665-667

%A Hitoshi Ogawa
%A Hideaki Nanba
%A Kokichi Tanaka
%T An active frame for the knowledge representation
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 668-675

%A Setsuo Ohsuga
%T Theoretical basis for a knowledge representation system
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 676-683

%A Yu-ichi Ohta
%A Takeo Kanade
%A Toshiyuki Sakai
%T A production system for region analysis
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 684-686

%A Ryu-ichi Oka
%T A infinite-connected words recognition system for male speakers
using time-space dynamic programming
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 687-689

%A Naoyuki Okada
%T SUPP: understanding moving picture patterns based on linguistic knowledge
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 690-692

%A Tokuji Okada
%T Computer control of multijointed finger system
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 693-695

%A Masanori B. Okamoto
%T A measure of closeness of weak implication to strict implication
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 696-698

%A W.A. Perkins
%T Region segmentation of images by expansion and contraction of edge points
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 699-701

%A K. Prazdny
%T Motion and structure from optical flow
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 702-704

%A J.R. Quinlan
%T A knowledge-based system for locating missing high cards in bridge
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 705-707

%A Kynne M. Reder
%A John R. Anderson
%T Use of thematic information to speed search of semantic nets
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 708-710

%A Walter Reitman
%A Bruce Wilcox
%T The structure and performance of the Interim.2 go program
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 711-719

%A Elaine Rich
%T Building and exploiting user models
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 720-722

%A Chuck Rieger
%A Steve Small
%T Word expert parsing
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 723-728

%A Steve Rosenberg
%A Bruce Roberts
%T Coreference in a frame database
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 729-734

%A Steven Rosenberg
%T Reasoning in incomplete domains
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 735-737

%A Michael D. Rychener
%T A semantic network of production rules
in a system for describing computer structures
%O 738-743

%A Erik Sandewall
%T Biological software
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 744-747

%A Barbara C. Sangster
%T An overview of an automatically compilable hierarchical definition matcher
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 748-756

%A Masahiko Sato
%T Towards a mathematical theory of program synthesis
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 757-762

%A Tomomasa Sato
%T Automotive stereo vision using deconvolution technique
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 763-765

%A Roger C. Schank
%A Janet L. Kolodner
%T Retrievaing information from an episodic memory,
or why computers' memories whould be more like people's
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 766-768

%A Roger C. Schank
%A Wendy Lehnert
%T The conceptual content of conversation
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 769-771

%A Roger C. Schank
%A Michael Lebowitz
%A Lawrence Birnbaum
%T Parsing directly into knowledge structures
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 772-777

%A Lenhart K. Schubert
%T Problems with parts
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 778-784

%A Francois Schyn
%A Gerard Guiho
%T A learning system able to synthesize arithmetical functions
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 785-787

%A T. Sembugamoorthy
%T PLAS, a paradigmatic language acquisition system: an overview
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 788-790

%A Stuart C. Shapiro
%T Numerical quantifiers and their use in reasoning with negative information
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 791-796

%A Stuart C. Shapiro
%T A scrabble crossword game playing program
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 797-799

%A Minoro Shinenaga
%A Yoshihirto Sekiguchi
%T Speech training systems using lateral shapes of vocal tract
and F1-F2 diagram for hearing-imparied children
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 800-802

%A Akira Shimazu
%A Hitoshi Iida
%T Experinmental Japanese language question answering system MSSS78
- use of case patterns with procedures
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 803-808

%A Masamichi Shimura
%T Resolution in a new model logic
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 809-814

%A David W. Shipman
%A Mitchell R. Marcus
%T Towards minimal data structures for deterministic parsing
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 815-817

%A M. Shneier
%T A compact relational structure representation
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 818-826

%A Charles Rich
%A Howard E. Shrobe
%A Richard C. Waters
%T Overview of the programmer's apprentice
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 827-828

%A Howard Elliot Shrobe
%T Dependency directed reasoning
in the analysis of programs which modify complex data structures
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 829-835

%A Reid G. Smith
%T A framwork for distributed problem solving
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 836-841

%A J. Dembigh Starkey
%T The X-O-O heuristic in game tree analysis
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 842-844

%A Mark Stefik
%T An examination of a frame-structured representation system
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 845-852

%A Selvatore J. Stolfo
%A Malcolm C. Harrison
%T Automatic discovery of heuristics for nondeterministic programs
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 853-855

%A Yasuhito Suenaga
%T A facsimile based text editor using handwritten mark recognition
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 856-858

%A Kokichi Sugihara
%T Automnatic construction of junction dictionaries
and their exploitation for the analysis of range data
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 859-864

%A Kazuo Taki
%A Yuiko Kaneda
%A Sadao Maekawa
%T The experimental Lisp machine
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 865-867

%A Mozumi Tanaka
%A Taisuke Sato
%A Fumio Motoyoshi
%T Predictive control parser: extended LINGOL
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 868-870

%A Steven L. Tanimoto
%T Inductive learning of categories from examples
using minimum cost representations
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 871-873

%A Harry Tennant
%T Experience with the evaluation of natural language question answerers
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 874-876

%A Alan M. Thompson
%T Network truth-maintenance for deduction and modelling
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 877-879

%A Perry W. Thorndyke
%T Heuristics and knowledge acquisition from maps
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 880-883

%A Fumiaki Tomita
%A Yoshiaki Shirai
%A Saburo Tsuji
%T Description of textures by a structural analysis
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 884-889

%A John K, Tsotsos
%A John Mylopulos
%A Dominic Covvey
%A Steven W. Zucker
%T ALVEN: a study of motion understanding by computers
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 890-892

%A Sadayuki Teugawa
%A Teruo Yatabe
%A Takeshi Hirose
%A Shuntetsu Matsumoto
%T An automobile with artificial intelligence
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 893-895

%A Saburo Tsuji
%A Michiharu Osada
%A Masahiko Yachida
%T Three dimensional movement analysis of dynamic line images
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 896-901

%A Koichi Yamada
%A Yahachiro Tsukamoto
%A Toshiro Terano
%T An application of decision analysis to strategy-making in game playing
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 902-907

%A Toshifumi Tsukiyama
%A Yoshitaki Shirai
%T Detection of the movements of men for autonomous vehicles
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 908-910

%A Leonard M. Uhr
%T Parallel-serial production systems
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 911-916

%A Motohide Umano
%A Masaharu Mizumoto
%A Kokichi Tanaka
%T A system for fuzzy reasoning
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 917-919

%A T. Vamos
%A M. Bathor
%A L. Mero
%T A knowledge-based interactive robot-vision system
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 920-922

%A William van\ Melle
%T A domain-independent production-rule system for consultation programs
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 923-925

%A David L. Waltz
%A Lois Boggess
%T Visual analog representations for natural language understanding
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 926-934

%A Richard C. Waters
%T A method for automatically analyzing programs
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 935-941

%A Sholom M. Weiss
%A Casimir A. Kulikowski
%T EXPERT: a system for developing consultation models
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 942-947

%A Sholom M. Weiss
%A Casimir A. Kulikowski
%A Bernard Nudel
%T Learning production rules for consultation systems
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 948-950

%A Harald Wertz
%T Automatic program debugging
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 951-953

%A Robert Wilensky
%T Understanding complex situations
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 954-959

%A David Wilkins
%T Using plans in chess
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 960-967

%A Yorick Wilkds
%A Janusz Bien
%T Speech acts and multiple environments
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 968-970

%A Robert J. Woodham
%T Relating properties of surface curvature to image intensity
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 971-977

%A Masahiko Yachida
%A Motozo Ikeda
%A Saburo Tsuji
%T Plan-guided analysis of noisy dynamic images
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 978-983

%A Masahiko Yachida
%A Motozo Ikeda
%A Saburo Tsuji
%T A knowledge directed line finder for analysis of complex scenes
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 984-981

%A Masahiko Yachida
%A Motozo Ikeda
%A Saburo Tsuji
%T Boundary detection of textured regions
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 991-994

%A Masato Yamazaki
%A Hideo Thara
%T Knowledge-driven interpretation of ESCA spectra
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 995-997

%A Toshio Yokoi
%A Shooichi Yokohama
%A Saisuke Satoo
%A Fumio Motoyoshi
%A Kazuhiro Fuchi
%T SYSP: a new programming language to the next generation
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 998-1000

%A Sho Yoshida
%T Hierarchical concepts structure for natural language understanding system
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 1001-1003

%A L.A. Zadeh
%T Approximate reasoning based on fuzzy logic
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 1004-1010

%A Gian Piero Zarri
%T From history to computer science:
a formalization of the inferential proceesses of an historian
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 1011-1013

%A Steven W. Zucker
%A Yvan G. Leclerc
%A John L. Mohammed
%T Continuous relaxation and local maxima selection
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 1014-1016

%A Alan Bundy
%A Lawrence Byrd
%A George Luger
%A Chris Mellish
%A Martha Palmer
%T Solving mechanics problems using meta-level inference
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 1017-1027

%A Harold Cohen
%T What is an image ?
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 1028-1057

%A Eiichi Goto
%A Tetsuo Ida
%A Kei Hiraki
%A Msayuki Suzuki
%A Nobuyuki Inada
%T FLATS, a machine for numerical, symbolic and associative computing
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 1058-1066

%A Barbara J. Grosz
%T Utterance and objective: issues in natural language communication
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 1067-1076

%A Eral J. Sacerdoti
%T Problem solving tactics
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 1077-1085

%A Herbert A. Simon
%T Artificial intelligence research strategies
in the light of AI models of scientific discovery
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 1086-1094

%A Kunikatsu Takase
%T Skill of intelligent robot
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 1095-1100

%A David Marr
%T Visual information processing:
the structure and creation of visual representations
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 1108-1126

%A Bernard Meltzer
%T Some speculations on language
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P 1127-1130

%A Herve Gallaire
%A Claudine Lassere
%T Controlling knowledge deduction in a declarative approach
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P S1-S6

%A Daniel Goossens
%T Meta-interpretation of recursive lisp-processing programs
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P S7-S12

%A Hitoshi Matsushima
%A Takeshi Uno
%A Masakazu Ejiri
%T Image processing by experimental arrayed processor
%J Proceedings of the Sixth International Joint Conference
on Artificial Intelligence
%C Tokyo, Japan
%D August 1979
%K ijcai ijcai6
%P S13-S15

%A Ehud Y. Shapiro
%T An algorithm that infers theories from facts
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 446-451
%K application, foundations, induction, Horn-clause theories

%A David J. Israel
%A Ronald J. Brachman
%T Distinctions and confusions: a catalogue raisonne
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 452-459

%A Ryszard S. Michalski
%A Robert E. Stepp
%T An application of AI techniques
to structuring objects into an optimal conceptual hierarchy
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 460-465

%A Alan Borning
%A Alan Bundy
%T Using matching in algebraic equation solving
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 466-471

%A Robert L. Veroff
%A Lawrence J. Henschen
%T Application of automatic equation solving
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 466-471

%A Norbert Eisinger
%T Subsumption and connection graphs
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 472-486

%A Leonard Friedman
%T Extended plausible inference
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 487-495

%A Kurt Konolidge
%T A metalanguage representation of relational databases
for deductive question-answering systems
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 496-503

%A Giuseppe Attardi
%A Maria Simi
%T Consistency and completeness of OMEGA,
a logic for knowledge representation
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 504-510

%A G. Smolka
%A A. Herold
%A C. Walther
%T The Markgraf refutation procedure
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 511-518

%A Dennis de\ Champeaux
%A Jos de\ Bruin
%T Symbolic evaluation of Lisp functions with side effects
for verification
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 519-527

%A Lawrence J. Henchen
%A Shamin A. Naqvi
%T An improved filter for literal indexing in resolution systems
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 528-529

%A Martin Davis
%T Obvious logical inferences
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 530-531

%A J. Siekmann
%A P. Szabo
%T Universal unification and regular equational ACFM theories
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 532-538

%A Vincent J. Digricoli
%T The efficacy of RUE resolution
experimental results and heuristic theory
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 539-547

%A Pierre Lescanne
%T Decomposition ordering
as a tool to prove the termination of rewriting systems
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 548-550

%A Alan Bundy
%A Bernard Silver
%T Homogenization: preparing equations for change of unknown
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 551-553

%A Ira P. Goldstein
%A Daniel G. Bobrow
%T Layered networks as a tool for software development
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 913-919

%A Richard C. Waters
%T A knowledge-based program editor
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 920-926

%A David R. Barstow
%T Overview of a display-oriented editor for Interlisp
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 927-929

%A Michael Deering
%A Joseph Faletti
%A Robert Wilensky
%T Pearl: a package for efficient access to representations in Lisp
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 930-932

%A Kenneth M. Kahn
%T Uniform: a language based upon unification
which unifies (much of) Lisp, Prolog, and Act 1
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 933-939

%A Peter Szolovits
%A William A. Martin
%T Brand X: Lisp support for semantic networks
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 940-946

%A A. Colmerauer
%A H. Kanoui
%A M. van\ Caneghem
%T Last steps towards an ultimate Prolog
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 947-948

%A Shigeo Sugimoto
%A Koichi Tabata
%A Kiyoshi Agusa
%A Yutaka Ohno
%T Concurrent Lisp on a multi-processor system
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 949-954

%A Chuck Rieger
%A Randy Trigg
%A Bob Bane
%T ZMOB: a new computing engine for AI
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 955-960

%A David Elliot Shaw
%T Non-Von: a parallel machine architecture
for knowledge-based information processing
%J Proceedings of the Seventh International Joint Conference
on Artificial Intelligence
%C Vancouver, Canada
%D August 1981
%K ijcai ijcai7
%P 961-963

%A Gerard Guiho
%T Automatic programming using abstract data types
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 1-9
%K automatic programming

%A Uday S. Reddy
%A Barat Jayaraman
%T Theory of linear equations applied to program transformation
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 10-16
%K automatic programming

%A Donald Cohen
%T Symbolic execution of the Gist specification language
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 17-20
%K automatic programming

%A P.M.D. Gray
%A D.S. Moffat
%T Manipulating descriptions of programs for database access
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 21-24
%K automatic programming

%A Shamim A. Naqvi
%A Lawrence J. Henschen
%T Synthesizing least fixed point queries
into non-recursive iterative programs
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 25-28
%K automatic programming

%A Robert L. Sedimeyer
%A William B. Thompson
%A Paul E. Johnson
%T Diagnostic reasoning in software fault localization
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 29-31
%K automatic programming

%A Douglas R. Smith
%T A problem reduction approach to program synthesis
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 32-36
%K automatic programming

%A Christian Gresse
%T Automatic programming from data types decomposition patterns
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 37-39
%K automatic programming

%A Jack Mostow
%T Program transformations for VLSI
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 40-43
%K automatic programming

%A Alain Colmerauer
%T Prolog in ten figures
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 487-499
%K logic programming

%A Joxan Jaffar
%A Jean-Louis Lassez
%A John Lloyd
%T Completeness of the negation as failure rule
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 500-506
%K logic programming

%A Masahiko Sato
%A Takafumi Sakurai
%T Qute: a Prolog/Lisp type language for logic programming
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 507-513
%K logic programming

%A William A. Kornfeld
%T Equality for Prolog
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 514-519
%K logic programming

%A Walter G. Wilson
%A Chester C. John
%T Semantic code analysis
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 520-525
%K logic programming

%A Adrian Walker
%T Prolog/Ex1, an inference engine
which explains both yes and no answers
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 526-528
%K logic programming

%A Ehud Y. Shapiro
%T Logic programs with uncertainties:
a tool for implementing rule-based systems
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 529-532
%K logic programming

%A Chris Mellish
%A Steve Hardy
%T Integrating Prolog into the Poplog environment
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 533-535
%K logic programming

%A D.C. Dodson
%A A.L. Rector
%T "Logal": algorithmic control structures for Prolog
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 536-538
%K logic programming

%A John S. Conery
%A Dennis F. Kibler
%T AND parallelism in logic programs
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 539-543
%K logic programming

%A Simon Kasif
%A Madhur Kohli
%A Jack Minker
%T PRISM: a parallel inference system for problem solving
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 544-546
%K logic programming

%A Kuniaki Mukai
%T A unification algorithm for infinite trees
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 547-549
%K logic programming

%A Alan Feuer
%T Building libraries in Prolog
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 550-552
%K logic programming

%A Anneli Edman
%A Sten-Ake Tarnlund
%T Mechanization of an oracle in a debugging system
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 553-555
%K logic programming

%A Rodney A. Brooks
%A Richard P. Gabriel
%A Guy L. Steele,\ Jr.
%T Lisp-in-Lisp: high performance and portability
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 845-849
%K systems support

%A Salvatore J. Stolfo
%A Daniel Miranker
%A David Elliot Shaw
%T Architecture and applications of DADO:
a large-scale parallel computer for artificial intelligence
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 850-854
%K systems support

%A Reid G. Smith
%T STROBE: support for structured object knowledge representation
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 855-858
%K systems support

%A Sanjai Narain
%A David McArthur
%A Phlip Klahr
%T Large-scale system development in several Lisp environments
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 859-861
%K systems support

%A Giuliani Pacini
%A Franco Turini
%T Demonizing production systems
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 862-866
%K systems support

%A L. Wos
%T Automated reasoning: real uses and potential uses
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 867-876
%K theorem proving

%A Tamas Gergely
%A Konstantin Vershinin
%T Negative hyper-resolution
for proving statements containing transitive relations
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 877-881
%K theorem proving

%A Christoph Walther
%T A many-sorted calculus based on resolution and paramodulation
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 882-891
%K theorem proving

%A W.W. Bledsoe
%T Using examples to generate instantiations of set variables
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 892-901
%K theorem proving

%A William W. McCune
%A Lawrence J. Henschen
%T Semantic paramodulation for Horn sets
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 902-908
%K theorem proving

%A Jean-Pierre Jouannaud
%A Helene Kirchmer
%A Jean-Luc Remy
%T Church-Rosser properties of weakly terminating term rewriting systems
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 909-915
%K theorem proving

%A Grigorios Antoniou
%A Hans-Jurgen Ohibach
%T TERMINATOR
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 916-919
%K theorem proving

%A Wolfgang Bibel
%A Elmar Eder
%A Bertram Fronhoefer
%T Towards an advanced implementation of the connection method
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 920-922
%K theorem proving

%A L. Fribourg
%T A superposition oriented theorem prover
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 923-925
%K theorem proving

%A Luis Farinas del\ Cerro
%T Temporal reasoning and termination of programs
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 926-929
%K theorem proving

%A Y. Kodratoff
%A J. Castaing
%T Trivializing the proof of trivial theorems
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 930-932
%K theorem proving

%A J.A. Kaiman
%A J.G. Peterson
%T Computer-aided studies of all possible shortest single axioms
for the equivalential calculus
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 933-935
%K theorem proving

%A Karl-Hans Blasius
%T Equality reasoning in clause graphics
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 936-939
%K theorem proving

%A Nachum Dershowitz
%A Jien Hsiang
%A N. Alan Josephson
%A David A. Plaisted
%T Associative-commutative rewriting
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 940-944
%K theorem proving

%A Tom M. Mitchell
%T Learning and problem solving
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 1139-1151
%K invited talk

%A Arthur L. Samuel
%T AI, where it has been and where it is going
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 1152-1157
%K invited talk

%A John Seely Brown
%A John de\ Kleer
%T The origin, form and logic of qualitative physical laws
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 1158-1169
%K invited talk

%A David Barstow
%T A perspective of automated programming
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 1170-1179
%K invited talk

%A Stan Rosenschein
%T Natural-language processing:
crucible for computational theories of cognition
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 1180-1186
%K invited talk

%A Alan Mackworth
%T On seeing things, again
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 1187-1191
%K invited talk

%A Robert Kowalski
%A Herve Gallaire
%A Toshio Yokoi
%A Robert Dewar
%T Panel on the fifth generation project
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 1192-1194
%K panel

%A Nils J. Nilsson
%A Sandra B. Cook
%A Alan C. Kay
%A Faye Duchin
%A Margaret A. Boden
%A Dennis Chamot
%T Artificial intelligence:
its impact on human occupations and distribution of income
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 1195-1198
%K panel

%A Raymond Reiter
%A Herve Gallaire
%A Jonathan J. King
%A John Mylopoulos
%A Bonnie L. Webber
%T A panel on AI and databased
%J Proceedings of the Eighth International Joint Conference
on Artificial Intelligence
%C Karlsruhe, West Germany
%D August 1983
%K ijcai ijcai8
%P 1199-1206
%K panel

%A John R. Anderson
%A C. Franklin Boyle
%A Gregg Yost
%T The geometry tutor
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1-7
%K computer aided assisted instruction education

%A Brian J. Reiser
%A John R. Anderson
%A Robert G. Farrell
%T Dynamic student modelling
in an intelligent tutor for LISP programming
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 8-14
%K computer aided assisted instruction education

%A William R. Murray
%T Heuristic and formal methods in automatic program debugging
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 15-19
%K computer aided assisted instruction education

%A Ethel Schuster
%T Grammars as user models
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 20-22
%K computer aided assisted instruction education

%A Rostam Joobbani
%A Sarosh N. Talukdar
%T An expert system for understanding expressions
from electric circuit analysis
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 23-25
%K computer aided assisted instruction education

%A Andrejz Trybulec
%A Howard Blair
%T Computer assisted reasoning with MIZAR
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 26-28
%K computer aided assisted instruction education

%A Simon Kasif
%A Jack Minker
%T The intelligent channel:
a scheme for result sharing in logic programs
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 29-30
%K architecture

%A A.L. Davis
%A S.V. Robinson
%T The architecture of the FAIM-1 symbolic multiprocessing system
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 32-38
%K architecture

%A Vineet Singh
%A Michael R. Genesereth
%T A variable supply model for distributing deductions
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 39-45
%K architecture

%A Gilles M.E. Lafue
%A Reid G. Smith
%T A modular tool kit for knowledge management
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 46-52
%K architecture

%A Dennis F. Kibler
%A John Conery
%T Parallelism in AI programs
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 53-56
%K architecture

%A Anita M. Flynn
%A John G. Harris
%T Recognition algorithms for the Connection Machine
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 57-60
%K architecture

%A David Elliot Shaw
%T NON-VON's applicability to three AI task areas
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 61-72
%K architecture

%A Ruven Brooks
%A Rosalyn Lum
%T Yes, an SIMD machine can be used for AI
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 73-79
%K architecture

%A Matthew L. Ginsberg
%T Counterfactuals
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 80-86
%K automated reasoning

%A Jon Doyle
%T Reasoned assumptions and Pareto optimality
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 87-90
%K automated reasoning

%A Jeffrey S. Rosenschein
%A Michael R. Genesereth
%T Deals among rational agents
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 91-99
%K automated reasoning

%A Erik Sandewall
%T A functional approach to non-monotonic logic
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 100-106
%K automated reasoning

%A Matthew L. Ginsberg
%T Does probability have a place in non-monotonic reasoning
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 107-110
%K automated reasoning

%A Didier Dubois
%A Henri Prade
%T Combination and propagation of uncertainty with belief functions
- a reexamination
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 111-113
%K automated reasoning

%A Tomasz Imielinski
%T Results on translating defaults to circumscription
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 114-120
%K automated reasoning

%A Vladimir Lifschitz
%T Computing circumscription
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 121-127
%K automated reasoning

%A Benjamin Kuipers
%T The limits of qualitive simulation
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 128-136
%K automated reasoning

%A Elisha Sacks
%T Qualitive mathematical reasoning
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 137-39
%K automated reasoning

%A Daniel S. Weld
%T Combining discrete and continuous process models
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 140-143
%K automated reasoning

%A David L. Poole
%T On the comparison of theories:
preferring the most specific explanation
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 144-147
%K automated reasoning

%A Alan M. Frisch
%T Using model theory to specify AI programs
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 148-154
%K automated reasoning

%A Myung W. Kim
%T EGS: a transformational approach to automatic example generation
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 155-161
%K automated reasoning

%A Lawrence Davis
%T Applying adaptive algorithms to epistatic domains
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 162-164
%K automated reasoning

%A Jack Mostow
%A Donald Cohen
%T Automating program speedup by deciding what to cache
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 165-172
%K automated reasoning

%A Eliezer L. Lozinskii
%T Evaluating queries in deductive databases by generating
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 173-177
%K automated reasoning

%A Allen J. Brown,\ Jr.
%T Modal propositional semantics for reason maintenance systems
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 178-184
%K automated reasoning

%A James W. Goodwin
%T A process theory of non-monotonic inference
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 185-187
%K automated reasoning

%A Vasant Dhar
%T An approach to dependency directed backtracking
using domain specific knowledge
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 188-190
%K automated reasoning

%A Josh D. Tenenberg
%T Taxonomic reasoning
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 191-193
%K automated reasoning

%A Garrison W. Cottrell
%T Parallelism in inheritance hierarchies with exceptions
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 194-202
%K automated reasoning

%A Robert Balzer
%T Automated enhancement of knowledge representations
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 203-207
%K automated programming

%A Nachum Dershowitz
%T Synthesis by completion
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 208-214
%K automated programming

%A Douglas R. Smith
%T Reasoning by cases and the formation of conditional programs
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 215-218
%K automated programming

%A David Eppstein
%T A heuristic approach to program inversion
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 219-221
%K automated programming

%A Zohar Manna
%A Richard Waldinger
%T The origin of the binary search paradigm
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 222-224
%K automated programming

%A David Steier
%A Elaine Kant
%T Symbolic execution in algorithm design
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 225-231
%K automated programming

%A David Barstow
%T Automatic programming for streams
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 232-237
%K automated programming

%A David S. Touretzky
%A Geoffrey E. Hinton
%T Symbols among the neurons:
details of a connectionist inference architecture
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 238-243
%K cognitive modelling

%A James A. Reggia
%T Virtual lateral inhibition
in parallel activation models pf associative memory
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 244-248
%K cognitive modelling

%A James Geller
%T The teachable letter recognizer
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 249-252
%K cognitive modelling

%A Geoffrey E. Hinton
%A Kevin J. Lang
%T Shape recognition and illusory conjunctions
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 252-259
%K cognitive modelling

%A Helen M. Gigley
%T Computational neurolinguistics - what is it all about?
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 260-266
%K cognitive modelling

%A Derek Partridge
%T Input-expectation discrepancy reduction: a ubiquitous mechanism
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 267-273
%K cognitive modelling

%A Goran Hagert
%T What's in a mental model?
on conceptual models in reasoning with spacial descriptions
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 274-277
%K cognitive modelling

%A Erik T. Mueller
%A Michael G. Dyer
%T Daydreaming in humans and computers
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 278-280
%K cognitive modelling

%A Lawrence Birnbaum
%T A short note on opportunistic planning and memory in arguments
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 281-283
%K cognitive modelling

%A Janet L. Kolodner,\ Jr.
%A Robert L. Simpson
%A Katia Sycara-Cyranski
%T A process model of case-based reasoning in problem solving
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 284-290
%K cognitive modelling

%A Seth R. Goldman
%A Michael G. Dyer
%A Margot Flowers
%T Learning to understand contractual situations
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 291-293
%K cognitive modelling

%A Katia Sycara-Cyranski
%T Arguments of persuasion in labour mediation
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 294-296
%K cognitive modelling

%A Mitsuru Ishizuka
%A Kaoki Kanai
%T Prolog-ELF incorporating fuzzy logic
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 701-703
%K logic programming

%A Tadashi Kanamori
%A Kenji Horiuchi
%T Type inference in Prolog and its applications
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 704-707
%K logic programming

%A Hideyuki Nakashima
%T Term description:
a simple powerful extenstion to Prolog data structures
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 708-710
%K logic programming

%A Randy Goebel
%T Interpreting descriptions
in a Prolog-based knowledge representation system
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 711-716
%K logic programming

%A Marc Eisenstadt
%T Retrospective zooming: a knowledge based
tracking and debugging methodology for logic programming
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 717-719
%K logic programming

%A Lee Naish
%T Prolog control rules
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 720-722
%K logic programming

%A Takashi Yokomori
%T A logic program schema and its applications
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 723-725
%K logic programming

%A Shigeki Goto
%T Concurrency in proof normalization and logic programming
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 726-729
%K logic programming

%A Wolfgang Schonfeld
%T Prolog extensions based on tableau calculus
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 730-732
%K logic programming

%A Richard Whitney
%A Darrel J. VanBuer
%A Donald P. McKay
%A Dan Kogan
%A Lynette Hirschman
%A Rebecca Davis
%T A predicate connection graph based logic with flexible control
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 733-736
%K logic programming

%A Hirohisa Seki
%T Incorporating generalization heuristics
into verification of Prolog programs
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 737-741
%K logic programming

%A Frank M. Brown
%A Peiya Liu
%T A logic programming and verification system
for recursive quantificational logic
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 742-748
%K logic programming

%A Younghwan Lim
%A Lawrence J. Henschen
%T A new hypermodulation strategy for the equality relation
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1138-1146
%K theorem proving

%A Deepak Kapur
%A Paliath Narendran
%T An euqational approach to theorem proving
in first-order predicate calculus
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1147-1153
%K theorem proving

%A Vincent J. Digricoli
%T The management of heuristic search
in boolean experiments with Rue resolution
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1154-1161
%K theorem proving

%A Manfred Schmidt-Schauss
%T A many-sorted calculus with polymorphic functions
based on resolution and paramodulation
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1162-1168
%K theorem proving

%A Anthony G. Cohn
%T On the solution of Schubert's Steamroller in many-sorted logic
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1169-1174
%K theorem proving

%A K.B. Irani
%A D.G. Shin
%T A many-sorted resolution
based on an extension of a first-order language
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1175-1177
%K theorem proving

%A Takahira Yamaguchi
%A Yoshikazu Tezuka
%A Osamu Kakusho
%T Parallel processing of resolution
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1178-1180
%K theorem proving

%A Mark E. Stickel
%T Automated deduction by theory resolution
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1181-1186
%K theorem proving

%A Neil V. Murray
%A Erik Rosenthal
%T Path resolution with link deletion
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1187-1193
%K theorem proving

%A Werner Dilger
%A Hans-Albert Schneider
%T ASSIP-T: a theorem-proving machine
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1194-1200
%K theorem proving

%A Tie Cheng Wang
%T Designing examples for semantically guided hierarchical deduction
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1201-1207
%K theorem proving

%A Jacqueline Castaing
%T How to facilitate the proof of theorems
by using the induction-matching, and by generalization
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1208-1213
%K theorem proving

%A Marta Franova
%T CM-strategy: a methodology for inductive theorem proving
or constructive well-generalized proofs
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1214-1220
%K theorem proving

%A Alan Bundy
%T Discovery and reasoning in mathematics
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1221-1230
%K invited talk

%A Hirochika Inoue
%T Building a bridge between AI and robotics
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1231-1237
%K invited talk

%A Jehn Perry
%T Self-knowledge and self-representation
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1238-1242
%K invited talk

%A Elaine Kant
%T Understanding and automating algorithm design
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1243-1553
%K invited talk

%A Edwinna L. Rissland
%T AI and legal reasoning
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1254-1260
%K panel

%A Tom J. Schwartz
%T Artificial intelligence in the personal computer environment,
today and tomorrow
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1261-1266
%K panel

%A Margaret A. Boden
%T Artificial intelligence and legal responsibility
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1267-1268
%K panel

%A Robert Kowalski
%A Marek Segot
%T Computer representation of the law
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1269-1270
%K panel

%A Marshall S. Willick
%T Constitutional law and artificial intelligence:
the potential legal recognition of computers as "persons"
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1271-1273
%K panel

%A Jay BloomBecker
%T Fifth generation computer crime law
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1274-1278
%K panel

%A Yorick Wilks
%T Responsible computers ?
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1279-1280
%K panel

%A Henry Thompson
%T Empowering automatic decision-making systems:
general intelligence, responsibility, and moral sensibility
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1281-1283
%K panel

%A John Fox
%T Judgement, policy, and the harmony machine
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1284-1288
%K panel

%A Alan Bundy
%A Richard Clutterbuck
%T Raising the standards of AI products
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1289-1294
%K panel

%A Ronald R. Yager
%T Reasoning with uncertainty for expert systems
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1295-1297
%K panel

%A D. Sleeman
%A Doug Appelt
%A Kurt Konolidge
%A Elaine Rich
%A N.S. Sridharan
%A Bill Swartout
%T User modelling
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1298-1302
%K panel

%A Howard E. Jacobson
%T The US and Japan cooperative AI research and development
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1303-1305
%K panel

%A Terry Winograd
%A Randall Davis
%A Stuart Dreyfus
%A Brian Smith
%T Expert systems: how far can they go ?
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai ijcai9
%P 1306-1309
%K panel