%A Zohar Manna
%T The correctness of nondeterministic programs
%J Artificial Intelligence
%K aij
%V 1
%D 1970
%P 1-26

%A Richard E. Fikes
%T REF-ARF: a system for solving problems stated as procedures
%J Artificial Intelligence
%K aij
%V 1
%D 1970
%P 27-120

%A D.A. Waterman
%T Generalization learning techniques
for automating the learning of heuristics
%J Artificial Intelligence
%K aij
%V 1
%D 1970
%P 121-170

%A P.C. Gilmore
%T An examination of the geometry theorem machine
%J Artificial Intelligence
%K aij
%V 1
%D 1970
%P 171-187

%A B. Meltzer
%T The semantics of induction
and the possibility of complete systems of inductive inference
%J Artificial Intelligence
%K aij
%V 1
%D 1970
%P 189-192

%A Ira Pohl
%T Heuristic search viewed as path finding in a graph
%J Artificial Intelligence
%K aij
%V 1
%D 1970
%P 193-204

%A Claude R. Brice
%A Claude L. Fennema
%T Scene analysis using regions
%J Artificial Intelligence
%K aij
%V 1
%D 1970
%P 205-226

%A Ugo Montanari
%T Heuristically guided search and chromosome matching
%J Artificial Intelligence
%K aij
%V 1
%D 1970
%P 227-245

%A C.L. Chang
%T Renamable paramodulation for automatic theorem proving with equality
%J Artificial Intelligence
%K aij
%V 1
%D 1970
%P 247-256

%A Robert A. Yates
%A Bertram Raphael
%A Timothy P. Hart
%T Resolution graphs
%J Artificial Intelligence
%K aij
%V 1
%D 1970
%P 257-289

%A K.M. Colby
%A S. Weber
%A F.D. Hilf
%T Artificial paranoia
%J Artificial Intelligence
%K aij
%V 2
%D 1971
%P 1-26

%A D. Luckham
%A N.J. Nilsson
%T Extracting information from resolution proof trees
%J Artificial Intelligence
%K aij
%V 2
%D 1971
%P 27-54

%A W.W. Bledsoe
%T Splitting and reduction heuristics in automatic theorem proving
%J Artificial Intelligence
%K aij
%V 2
%D 1971
%P 55-78

%A M.B. Clowes
%T On seeing things
%J Artificial Intelligence
%K aij
%V 2
%D 1971
%P 79-116

%A C.L. Chang
%A J.R. Slagle
%T An admissible and optimal algorithm for searching AND/OR graphs
%J Artificial Intelligence
%K aij
%V 2
%D 1971
%P 117-128

%A Erik Sandewall
%T Formal methods in the design of question-answering systems
%J Artificial Intelligence
%K aij
%V 2
%D 1971
%P 129-146

%A Robert E. Kling
%T A paradigm for reasoning by analogy
%J Artificial Intelligence
%K aij
%V 2
%D 1971
%P 147-178

%A Charles G. Morgan
%T Hypothesis generation by machine
%J Artificial Intelligence
%K aij
%V 2
%D 1971
%P 179-188

%A Richard E. Fikes
%A Nils J. Nilsson
%T STRIPS: a new approach to the application
of theorem proving to problem solving
%J Artificial Intelligence
%K aij
%V 2
%D 1971
%P 189-208

%A Aaron Sloman
%T Interactions between philosophy and artificial intelligence:
the role of intuition and non-logical reasoning in intelligence
%J Artificial Intelligence
%K aij
%V 2
%D 1971
%P 209-226

%A Robert Kowalski
%A Donald Kuehner
%T Linear resolution with selection function
%J Artificial Intelligence
%K aij
%V 2
%D 1971
%P 227-260
%K foundations, precursor, clausal logic, completeness proof

%A Lewis M. Norton
%T Experiments with a heuristic theorem-proving program
for predicate calculus with equality
%J Artificial Intelligence
%K aij
%V 2
%D 1971
%P 261-284

%A D.A. Waterman
%A A. Newell
%T Protocol analysis as a task for artificial intelligence
%J Artificial Intelligence
%K aij
%V 2
%D 1971
%P 285-318

%A P.M. Will
%A K.S. Pennington
%T Grid coding: a preprocessing technique for robot and machine vision
%J Artificial Intelligence
%K aij
%V 2
%D 1971
%P 319-329

%A Bertram C. Bruce
%T A model for temporal references
and its application in a question answering program
%J Artificial Intelligence
%K aij
%V 3
%D 1972
%P 1-26

%A W.W. Bledsoe
%A R.S. Boyer
%A W.H. Henneman
%T Computer proofs of limit theorems
%J Artificial Intelligence
%K aij
%V 3
%D 1972
%P 27-60

%A A.L. Cherniavsky
%T A program for timetable compilation by a look-ahead method
%J Artificial Intelligence
%K aij
%V 3
%D 1972
%P 61-76

%A Ronald M. Kaplan
%T Augmented transition networks
as psychological models of sentence comprehension
%J Artificial Intelligence
%K aij
%V 3
%D 1972
%P 77-100

%A Gilbert Falk
%T Interpretation of imperfect line data as a three-dimensional scene
%J Artificial Intelligence
%K aij
%V 3
%D 1972
%P 101-144

%A James J. Gillogly
%T The technology chess program
%J Artificial Intelligence
%K aij
%V 3
%D 1972
%P 145-164

%A Louis Hodes
%T Solving problems by formula manipulation
in logic and linear inequalities
%J Artificial Intelligence
%K aij
%V 3
%D 1972
%P 165-174

%A Eliana Minicozzi
%A Raymond Reiter
%T A note on linear resolution strategies in consequence-finding
%J Artificial Intelligence
%K aij
%V 3
%D 1972
%P 175-180

%A A.W. Biermann
%T On the inference of Turing machines from sample computations
%J Artificial Intelligence
%K aij
%V 3
%D 1972
%P 181-198

%A Kenneth Mark Colby
%A Franklin Dennis Hilf
%A Sylvia Weber
%A Helena C. Kraemer
%T Turing-like indistinguishability tests
for the validation of a computer simulation of paranoid processes
%J Artificial Intelligence
%K aij
%V 3
%D 1972
%P 199-222

%A R.B. Banerji
%A G.W. Ernst
%T Strategy construction using homomorphisms between games
%J Artificial Intelligence
%K aij
%V 3
%D 1972
%P 223-250

%A Richard E. Fikes
%A Peter E. Hart
%A Nils J. Nilsson
%T Learning and executing generalized robot plans
%J Artificial Intelligence
%K aij
%V 3
%D 1972
%P 251-288

%A L. Siklossy
%A A. Rich
%A V. Marinov
%T Breadth-first search: some surprising results
%J Artificial Intelligence
%K aij
%V 4
%D 1973
%P 1-28

%A Richard Baker
%T A spatially-oriented information processor
which simulates the motions of rigid objects
%J Artificial Intelligence
%K aij
%V 4
%D 1973
%P 29-40

%A Charles M. Eastman
%T Automated space planning
%J Artificial Intelligence
%K aij
%V 4
%D 1973
%P 41-64

%A Jean-Pierre Laurent
%T A program that computes limits
using heuristics to evaluate the indeterminate forms
%J Artificial Intelligence
%K aij
%V 4
%D 1973
%P 69-94

%A Yoshiaki Shirai
%T A context-sensitive line finder for recognition of polyhedra
%J Artificial Intelligence
%K aij
%V 4
%D 1973
%P 95-120

%A A.K. Mackworth
%T Interpreting pictures of polyhedral scenes
%J Artificial Intelligence
%K aij
%V 4
%D 1973
%P 121-138

%A Gary G. Hendrix
%T Modeling simultaneous actions and continuous processes
%J Artificial Intelligence
%K aij
%V 4
%D 1973
%P 145-180

%A Herbert A. Simon
%T The structure of ill structured problems
%J Artificial Intelligence
%K aij
%V 4
%D 1973
%P 181-202

%A Masamichi Shimura
%T Rule-oriented methods in problem solving
%J Artificial Intelligence
%K aij
%V 4
%D 1973
%P 203-224

%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 Artificial Intelligence
%K aij
%V 4
%D 1973
%P 225-244

%A Scott Elliot Fahlman
%T A planning system for robot construction tasks
%J Artificial Intelligence
%K aij
%V 5
%D 1974
%P 1-50

%A W.W. Bledsoe
%A Peter Bruell
%T A man-machine theorem-proving system
%J Artificial Intelligence
%K aij
%V 5
%D 1974
%P 51-72

%A W.A. Woods
%A J. Makhoul
%T Mechanical inference problems in continuous speech understanding
%J Artificial Intelligence
%K aij
%V 5
%D 1974
%P 73-92

%A C.C. Tappert
%A N.R. Dixon
%T A procedure for adaptive control of the interaction
between acoustic classification and linguistic decoding
in automatic recognition of continuous speech
%J Artificial Intelligence
%K aij
%V 5
%D 1974
%P 95-114

%A Earl D. Sacerdoti
%T Planning in a hierarchy of abstraction spaces
%J Artificial Intelligence
%K aij
%V 5
%D 1974
%P 115-136

%A Arnold K. Griffith
%T A comparison and evaluation of three machine learning procedures
as applied to the game of checkers
%J Artificial Intelligence
%K aij
%V 5
%D 1974
%P 137-148

%A Joseph M. Scandura
%A John H. Durnin
%A Wallace H. Wulfeck,\ II
%T Higher order rule characterization of heuristics
for compass and straight edge constructions in geometry
%J Artificial Intelligence
%K aij
%V 5
%D 1974
%P 149-184

%A Irwin Sobel
%T On calibrating computer controlled cameras for perceiving 3-D scenes
%J Artificial Intelligence
%K aij
%V 5
%D 1974
%P 185-198

%A Manfred Kochen
%T Representation and algorithms for cognitive learning
%J Artificial Intelligence
%K aij
%V 5
%D 1974
%P 199-216

%A Larry R. Harris
%T The heuristic search under conditions or error
%J Artificial Intelligence
%K aij
%V 5
%D 1974
%P 217-234

%A R.J. Waldinger
%A K.N. Levitt
%T Reasoning about programs
%J Artificial Intelligence
%K aij
%V 5
%D 1974
%P 235-316

%A P.C. Maxwell
%T Alternative descriptions in line drawing analysis
%J Artificial Intelligence
%K aij
%V 5
%D 1974
%P 325-348

%A Jerome A. Feldman
%A Yoram Yakimovsky
%T Decision theory and artificial intelligence:
I. a semantics-based region analyzer
%J Artificial Intelligence
%K aij
%V 5
%D 1974
%P 349-372

%A Roger C. Schank
%A Charles J. Rieger,\ III
%T Inference and the computer understanding of natural language
%J Artificial Intelligence
%K aij
%V 5
%D 1974
%P 373-412

%A Arthur J. Nevins
%T Plane geometry theorem proving using forward chaining
%J Artificial Intelligence
%K aij
%V 6
%D 1975
%P 1-24

%A Arthur J. Nevins
%T A relaxation approach to splitting in an automatic theorem prover
%J Artificial Intelligence
%K aij
%V 6
%D 1975
%P 25-40

%A L. Siklossy
%A J. Roach
%T Model verification and improvement using DISPROVER
%J Artificial Intelligence
%K aij
%V 6
%D 1975
%P 41-52

%A Yorick Wilks
%T A preferential, pattern-seeking, semantics
for natural language inference
%J Artificial Intelligence
%K aij
%V 6
%D 1975
%P 53-74

%A Robert M. Haralick
%A Knut Ripken
%T An associative-categorical model of word meaning
%J Artificial Intelligence
%K aij
%V 6
%D 1975
%P 75-100

%A Daniel H. Fishman
%A Jack Minker
%T Pi-representation: a clause representation for parallel search
%J Artificial Intelligence
%K aij
%V 6
%D 1975
%P 103-128

%A A.P. Ambler
%A H.G. Barrow
%A C.M. Brown
%A R.M. Burstall
%A R.J. Popplestone
%T A versatile system for computer-controlled assembly
%J Artificial Intelligence
%K aij
%V 6
%D 1975
%P 129-156

%A A.P. Ambler
%A R.J. Popplestone
%T Inferring the positions of bodies
from specified spatial relationships
%J Artificial Intelligence
%K aij
%V 6
%D 1975
%P 157-174

%A Zohar Manna
%A Richard Waldinger
%T Knowledge and reasoning in program synthesis
%J Artificial Intelligence
%K aij
%V 6
%D 1975
%P 175-208

%A Elliot B. Koffman
%A Sumner E. Blount
%T Artificial intelligence and automatic programming in CAI
%J Artificial Intelligence
%K aij
%V 6
%D 1975
%P 209-214

%A Herbert A. Simon
%A Joseph B. Kadane
%T Optimal problem-solving search: all-or-none solutions
%J Artificial Intelligence
%K aij
%V 6
%D 1975
%P 215-234

%A Ira P. Goldstein
%T Summary of MYCROFT:
a system for understanding simple picture programs
%J Artificial Intelligence
%K aij
%V 6
%D 1975
%P 235-288

%A Donald E. Knuth
%A Ronald W. Moore
%T An analysis of alpha-beta pruning
%J Artificial Intelligence
%K aij
%V 6
%D 1975
%P 293-326

%A Bertram Bruce
%T Case systems for natural language
%J Artificial Intelligence
%K aij
%V 6
%D 1975
%P 327-360

%A G.M. Adelson-Velskiy
%A V.L. Arlazarov
%A M.V. Donskoy
%T Some methods of controlling the tree search in chess programs
%J Artificial Intelligence
%K aij
%V 6
%D 1975
%P 361-372

%A Lawrence J. Mazlack
%T Computer construction of crossword puzzles
using precedence relationships
%J Artificial Intelligence
%K aij
%V 7
%D 1976
%P 1-19

%A Charles L. Hedrick
%T Learning production systems from examples
%J Artificial Intelligence
%K aij
%V 7
%D 1976
%P 21-49

%A Robert E. Shostak
%T Refutation graphs
%J Artificial Intelligence
%K aij
%V 7
%D 1976
%P 51-64

%A Gregory R. Ruth
%T Intelligent program analysis
%J Artificial Intelligence
%K aij
%V 7
%D 1976
%P 65-85

%A Chuck Rieger
%T An organization of knowledge
for problem solving and language comprehension
%J Artificial Intelligence
%K aij
%V 7
%D 1976
%P 89-127

%A Olga Stepankova
%A Ivan M. Havel
%T A logical theory of robot problem solving
%J Artificial Intelligence
%K aij
%V 7
%D 1976
%P 129-161

%A L.K. Schubert
%T Extending the expressive power of semantic networks
%J Artificial Intelligence
%K aij
%V 7
%D 1976
%P 163-198

%A Billy G. Claybrook
%T A new approach to the symbolic factorization
of multivariate polynomials
%J Artificial Intelligence
%K aij
%V 7
%D 1976
%P 203-241

%A Giorgio Levi
%A Franco Sirovich
%T Generalized And/Or graphs
%J Artificial Intelligence
%K aij
%V 7
%D 1976
%P 243-259

%A Daniel Chester
%T The translation of formal proofs into English
%J Artificial Intelligence
%K aij
%V 7
%D 1976
%P 261-278

%A D. Brand
%T Analytic resolution in theorem proving
%J Artificial Intelligence
%K aij
%V 7
%D 1976
%P 285-318

%A Lennart Beckman
%A Anders Haraldson
%A Osten Oskarsson
%A Erick Sandewall
%T A partial evaluator, and its use as a programming tool
%J Artificial Intelligence
%K aij
%V 7
%D 1976
%P 319-357

%A Alberto Martelli
%T On the complexity of admissible search algorithms
%J Artificial Intelligence
%K aij
%V 8
%D 1977
%P 1-13

%A Randall Davis
%A Bruce Buchanan
%A Edward Shortliffe
%T Production rules as a representation
for a knowledge-based consultation program
%J Artificial Intelligence
%K aij
%V 8
%D 1977
%P 15-45
%K MYCIN

%A Steven A. Vere
%T Relational production systems
%J Artificial Intelligence
%K aij
%V 8
%D 1977
%P 47-68
%K STRIPS

%A David Gelperin
%T On the optimality of A*
%J Artificial Intelligence
%K aij
%V 8
%D 1977
%P 69-76

%A Ramakant Nevatia
%A Thomas O. Binford
%T Description and recognition of curved objects
%J Artificial Intelligence
%K aij
%V 8
%D 1977
%P 77-98

%A Alan K. Mackworth
%T Consistency in networks of relations
%J Artificial Intelligence
%K aij
%V 8
%D 1977
%P 99-118

%A Brian Cohen
%T The mechanical discovery of certain problem symmetries
%J Artificial Intelligence
%K aij
%V 8
%D 1977
%P 119-131

%A M.M. Newborn
%T The efficiency of the alpha-beta search
on trees with branch-dependent terminal node scores
%J Artificial Intelligence
%K aij
%V 8
%D 1977
%P 137-153

%A Daniel G. Bobrow
%A Ronald M. Kaplan
%A Martin Kay
%A Donald A. Norman
%A Henry Thompson
%A Terry Winograd
%T GUS, a frame-driven dialog system
%J Artificial Intelligence
%K aij
%V 8
%D 1977
%P 155-173

%A F. Malloy Brown
%T Doing arithmetic without diagrams
%J Artificial Intelligence
%K aij
%V 8
%D 1977
%P 175-200

%A Berthold K.P. Horn
%T Understanding image intensities
%J Artificial Intelligence
%K aij
%V 8
%D 1977
%P 201-231

%A J.M. Tenenbaum
%A H.G. Barrow
%T Experiments in interpretation-guided segmentation
%J Artificial Intelligence
%K aij
%V 8
%D 1977
%P 241-274

%A Jacques Pitrat
%T A chess combination program which uses plans
%J Artificial Intelligence
%K aij
%V 8
%D 1977
%P 275-321

%A Carl Hewitt
%T Viewing control structures as patterns of passing messages
%J Artificial Intelligence
%K aij
%V 8
%D 1977
%P 323-364

%A W.W. Bledsoe
%T Non-resolution theorem proving
%J Artificial Intelligence
%K aij
%V 9
%D 1977
%P 1-35

%A D. Marr
%T Artificial intelligence - a personal view
%J Artificial Intelligence
%K aij
%V 9
%D 1977
%P 37-48

%A Harold Boley
%T Directed recursive labelnode hypergraphs:
a new representation-language
%J Artificial Intelligence
%K aij
%V 9
%D 1977
%P 49-85

%A Kenneth Kahn
%A G. Anthony Gorry
%T Mechanizing temporal knowledge
%J Artificial Intelligence
%K aij
%V 9
%D 1977
%P 87-108

%A Roger C. Parkinson
%A Kenneth Mark Colby
%A William S. Faught
%T Conversational language comprehension
using integrated pattern-matching and parsing
%J Artificial Intelligence
%K aij
%V 9
%D 1977
%P 109-134

%A Richard M. Stallman
%A Gerald J. Sussman
%T Forward reasoning and dependency-directed backtracking
in a system for computer-aided circuit analysis
%J Artificial Intelligence
%K aij
%V 9
%D 1977
%P 135-196

%A John A. Self
%T Concept teaching
%J Artificial Intelligence
%K aij
%V 9
%D 1977
%P 197-221

%A Brian L. Cohen
%T A powerful and efficient structural pattern recognition system
%J Artificial Intelligence
%K aij
%V 9
%D 1977
%P 223-255

%A Douglas B. Lenat
%T The ubiquity of discovery
%J Artificial Intelligence
%K aij
%V 9
%D 1977
%P 257-285

%A Jerry R. Hobbs
%A Stanley J. Rosenschein
%T Making computational sense of Montague's intensional logic
%J Artificial Intelligence
%K aij
%V 9
%D 1977
%P 287-306

%E M.F. Medress
%T Speech understanding systems - report of the Steering Committee
%J Artificial Intelligence
%K aij
%V 9
%D 1977
%P 307-316

%A D. Pastre
%T Automatic theorem proving in set theory
%J Artificial Intelligence
%K aij
%V 10
%D 1978
%P 1-27

%A Jean-Louis Lauriere
%T A language and a program
for stating and solving combinatorial problems
%J Artificial Intelligence
%K aij
%V 10
%D 1978
%P 29-127

%A Alan Bundy
%T Will it reach the top ? prediction in the mechanics world
%J Artificial Intelligence
%K aij
%V 10
%D 1978
%P 129-146

%A Patrick H. Winston
%T Learning by creating and justifying transfer frames
%J Artificial Intelligence
%K aij
%V 10
%D 1978
%P 147-172

%A Gerard M. Baudet
%T On the branching factor of the alpha-beta pruning algorithm
%J Artificial Intelligence
%K aij
%V 10
%D 1978
%P 173-199

%A Hans J. Berliner
%T A chronology of computer chess and its literature
%J Artificial Intelligence
%K aij
%V 10
%D 1978
%P 201-214

%A Frank O'Gorman
%T Edge detection using Walsh functions
%J Artificial Intelligence
%K aij
%V 10
%D 1978
%P 215-223

%A Ralph M. Weischedel
%A Wilfried M. Voge
%A Mark James
%T An artificial intelligence approach to language instruction
%J Artificial Intelligence
%K aij
%V 10
%D 1978
%P 225-240

%A Cordell Green
%A David Barstow
%T On program synthesis knowledge
%J Artificial Intelligence
%K aij
%V 10
%D 1978
%P 241-279

%A Frank Mallow Brown
%T Towards the automation of set theory and its logic
%J Artificial Intelligence
%K aij
%V 10
%D 1978
%P 281-316

%A Bruce G. Buchanan
%A Edward A. Feigenbaum
%T Dendral and Meta-Dendral: their applications dimension
%J Artificial Intelligence
%K aij
%V 11
%D 1978
%P 5-24

%A Ralph Grishman
%A Lynette Hirschman
%T Question answering from natural language medical data bases
%J Artificial Intelligence
%K aij
%V 11
%D 1978
%P 25-43

%A C.F. Schmidt
%A N.S. Sridharan
%A J.L. Goodson
%T The plan recognition problem
%J Artificial Intelligence
%K aij
%V 11
%D 1978
%P 45-83

%A Mark Stefik
%T Inferring DNA structures from segmentation data
%J Artificial Intelligence
%K aij
%V 11
%D 1978
%P 85-114

%A Peter Szolovits
%A Stephen G. Pauker
%T Categorical and probabilistic reasoning in medical diagnosis
%J Artificial Intelligence
%K aij
%V 11
%D 1978
%P 115-144

%A Sholom M. Weiss
%A Casimir A. Kulikowski
%A Saul Amarel
%T A model-based method for computer-aided medical decision-making
%J Artificial Intelligence
%K aij
%V 11
%D 1978
%P 145-172

%A W. Todd Wipke
%A Glenn I. Ouchi
%A S. Krishnan
%T Simulation and evaluation of chemical synthesis - SECS:
an application of artificial intelligence techniques
%J Artificial Intelligence
%K aij
%V 11
%D 1978
%P 173-193

%A Yorick Wilks
%T Making preferences more active
%J Artificial Intelligence
%K aij
%V 11
%D 1978
%P 195-223

%A Eugene Charniak
%T On the use of framed knowledge in language comprehension
%J Artificial Intelligence
%K aij
%V 11
%D 1978
%P 225-265

%A Michael A. Bauer
%T Programming by examples
%J Artificial Intelligence
%K aij
%V 12
%D 1979
%P 1-21

%A Hans Berliner
%T The B* search algorithm: a best-first proof procedure
%J Artificial Intelligence
%K aij
%V 12
%D 1979
%P 23-40

%A Kokichi Sugihara
%T Range-data analysis guided by a junction dictionary
%J Artificial Intelligence
%K aij
%V 12
%D 1979
%P 41-69

%A David R. Barstow
%T An experiment in knowledge-based automatic programming
%J Artificial Intelligence
%K aij
%V 12
%D 1979
%P 73-119
%K PECOS

%A Randall Davis
%T Interactive transfer of expertise: acquisition of new inference rules
%J Artificial Intelligence
%K aij
%V 12
%D 1979
%P 121-157

%A C.L. Chang
%A J.R. Slagle
%T Using rewriting rules for connection graphs to prove theorems
%J Artificial Intelligence
%K aij
%V 12
%D 1979
%P 159-178

%A G.C. Stockman
%T A minimax algorithm better than alpha-beta ?
%J Artificial Intelligence
%K aij
%V 12
%D 1979
%P 179-196

%A Frank Alloy Brown
%A Sten-Ake Tarnlund
%T Inductive reasoning on recursive equations
%J Artificial Intelligence
%K aij
%V 12
%D 1979
%P 207-229

%A Jon Doyle
%T A truth maintenance system
%J Artificial Intelligence
%K aij
%V 12
%D 1979
%P 231-272

%A Roger C. Schank
%T Interestingness: controlling inferences
%J Artificial Intelligence
%K aij
%V 12
%D 1979
%P 273-297

%A T. Winograd
%T Extended inference modes in reasoning by computer systems
%J Artificial Intelligence
%K aij
%V 13
%D 1980
%P 5-26

%A J. McCarthy
%T Circumscription - a form of non-monotonic reasoning
%J Artificial Intelligence
%K aij
%V 13
%D 1980
%P 27-39

%A D. McDermott
%A J. Doyle
%T Non-monotonic logic I
%J Artificial Intelligence
%K aij
%V 13
%D 1980
%P 41-72

%A M. Davis
%T The mathematics of non-monotonic reasoning
%J Artificial Intelligence
%K aij
%V 13
%D 1980
%P 73-80

%A R. Reiter
%T A logic for default reasoning
%J Artificial Intelligence
%K aij
%V 13
%D 1980
%P 81-132

%A R.W. Weyhrauch
%T Prolegomena to a theory of mechanized formal reasoning
%J Artificial Intelligence
%K aij
%V 13
%D 1980
%P 133-170

%A J. McCarthy
%T Addendum: circumscription and other non-monotonic formalisms
%J Artificial Intelligence
%K aij
%V 13
%D 1980
%P 171-172

%A R. Folett
%T Synthesising recursive functions with side effects
%J Artificial Intelligence
%K aij
%V 13
%D 1980
%P 175-200

%A B.V. Funt
%T Problem-solving with diagrammatic representations
%J Artificial Intelligence
%K aij
%V 13
%D 1980
%P 201-230

%A Fernando C.N. Pereira
%A David H.D. Warren
%T Definite clause grammars for language analysis
- a survey of the formalism
and a comparison with augmented transition networks
%J Artificial Intelligence
%K aij
%V 13
%D 1980
%P 231-278
%K application, natural language grammars, parsing

%A T. Kanade
%T A theory of origami world
%J Artificial Intelligence
%K aij
%V 13
%D 1980
%P 279-311

%A Gerald Jay Sussman
%A Guy Lewis Steele,\ Jr.
%T CONSTRAINTS -
a language for expressing almost-hierarchical descriptions
%J Artificial Intelligence
%K aij
%V 14
%D 1980
%P 1-39

%A Richard E. Korf
%T Toward a model of representation changes
%J Artificial Intelligence
%K aij
%V 14
%D 1980
%P 41-78

%A R.J. Popplestone
%A A.P. Ambler
%A I.M. Bellos
%T An interpreter for a language for describing assemblies
%J Artificial Intelligence
%K aij
%V 14
%D 1980
%P 79-107

%A Judea Pearl
%T Asymptotic properties of minimax trees and game-searching procedures
%J Artificial Intelligence
%K aij
%V 14
%D 1980
%P 113-138

%A Steven A. Vere
%T Multilevel counterfactuals
for generalizations of relational concepts and productions
%J Artificial Intelligence
%K aij
%V 14
%D 1980
%P 139-164

%A David Wilkins
%T Using patterns and plans in chess
%J Artificial Intelligence
%K aij
%V 14
%D 1980
%P 165-203
%K PARADISE

%A Hans J. Berliner
%T Backgammon computer program beats world champion
%J Artificial Intelligence
%K aij
%V 14
%D 1980
%P 205-220

%A Frank Malloy Brown
%T An investigation into the goals of research
in automatic theorem proving as related to mathematical reasoning
%J Artificial Intelligence
%K aij
%V 14
%D 1980
%P 221-242

%A Wolfgang Bibel
%T Syntax-directed, semantics-supported program synthesis
%J Artificial Intelligence
%K aij
%V 14
%D 1980
%P 243-261

%A Robert M. Haralick
%A Gordon L. Elliott
%T Increasing tree search efficiency
for constraint satisfaction problems
%J Artificial Intelligence
%K aij
%V 14
%D 1980
%P 263-313

%A Eugene C. Freuder
%T On the knowledge required to label a picture graph
%J Artificial Intelligence
%K aij
%V 15
%D 1980
%P 1-17

%A J.L. Weiner
%T BLAH, a system which explains its reasoning
%J Artificial Intelligence
%K aij
%V 15
%D 1980
%P 19-48

%A Jaime G. Carbonell
%T Towards a process model of human personality traits
%J Artificial Intelligence
%K aij
%V 15
%D 1980
%P 49-74

%A Anne Adam
%A Jean-Pierre Laurent
%T LAURA, a system to debug student programs
%J Artificial Intelligence
%K aij
%V 15
%D 1980
%P 75-122

%A James F. Allen
%A C. Raymond Perrault
%T Analyzing intention in utterances
%J Artificial Intelligence
%K aij
%V 15
%D 1980
%P 143-178

%A Randall Davis
%T Meta-rules: reasoning about control
%J Artificial Intelligence
%K aij
%V 15
%D 1980
%P 179-222

%A Randall Davis
%T Content reference: reasoning about rules
%J Artificial Intelligence
%K aij
%V 15
%D 1980
%P 223-239

%A Nam Huyn
%A Rina Dechter
%A Judea Pearl
%T Probabilistic analysis of the complexity of A*
%J Artificial Intelligence
%K aij
%V 15
%D 1980
%P 241-254

%A John Darlington
%T An experimental program transformation and synthesis system
%J Artificial Intelligence
%K aij
%V 16
%D 1981
%P 1-46

%A David A. Plaisted
%T Theorem proving with abstraction
%J Artificial Intelligence
%K aij
%V 16
%D 1981
%P 47-108

%A Mark Stefik
%T Planning with constraints (MOLGEN: part 1)
%J Artificial Intelligence
%K aij
%V 16
%D 1981
%P 111-139

%A Mark Stefik
%T Planning with constraints (MOLGEN: part 2)
%J Artificial Intelligence
%K aij
%V 16
%D 1981
%P 141-169

%A D.H. Sleeman
%A M.J. Smith
%T Modelling student's problem solving
%J Artificial Intelligence
%K aij
%V 16
%D 1981
%P 171-187

%A Alan Bundy
%A Bob Welham
%T Using meta-level inference for selective application
of multiple rewrite rule sets in algebraic manipulation
%J Artificial Intelligence
%K aij
%V 16
%D 1981
%P 189-211

%A E.P.D. Pednault
%A S.W. Zucker
%A L.V. Muresan
%T On the independence assumption
underlying subjective Bayesian updating
%J Artificial Intelligence
%K aij
%V 16
%D 1981
%P 213-222

%A Eugene Charniak
%T A common representation
for problem-solving and language-comprehension information
%J Artificial Intelligence
%K aij
%V 16
%D 1981
%P 225-255

%A Thomas G. Dietterich
%A Ryszyard S. Michalski
%T Inductive learning of structural descriptions:
evaluation criteria and comparative review of selected methods
%J Artificial Intelligence
%K aij
%V 16
%D 1981
%P 257-294

%A Jaime G. Carbonell
%T Counterplanning: a strategy-based model
of adversary planning in real-world situations
%J Artificial Intelligence
%K aij
%V 16
%D 1981
%P 295-329

%A Richard E. Fikes
%T Odyssey: a knowledge-based assistant
%J Artificial Intelligence
%K aij
%V 16
%D 1981
%P 331-361

%A Michael Brady
%T The changing shape of computer vision
%J Artificial Intelligence
%K aij
%V 17
%D 1981
%P 1-15

%A Andrew P. Witkin
%T Recovering surface shape and orientation from texture
%J Artificial Intelligence
%K aij
%V 17
%D 1981
%P 17-45

%A Kent A. Stevens
%T The visual interpretation of surface contours
%J Artificial Intelligence
%K aij
%V 17
%D 1981
%P 47-73

%A H.G. Barrow
%A J.M. Tenenbaum
%T Interpreting line drawings as three-dimensional surfaces
%J Artificial Intelligence
%K aij
%V 17
%D 1981
%P 75-116

%A Robert J. Woodham
%T Analysing images of curved surfaces
%J Artificial Intelligence
%K aij
%V 17
%D 1981
%P 117-140

%A Katsushi Ikeuchi
%A Berthold K.P. Horn
%T Numerical shape from shading and occluding boundaries
%J Artificial Intelligence
%K aij
%V 17
%D 1981
%P 141-184

%A Berthold K.P. Horn
%A Brian G. Schunck
%T Determining optical flow
%J Artificial Intelligence
%K aij
%V 17
%D 1981
%P 185-203

%A Thomas O. Binford
%T Inferring surfaces from images
%J Artificial Intelligence
%K aij
%V 17
%D 1981
%P 205-244

%A Larry S. Davis
%A Azriel Rosenfeld
%T Cooperating processes for low-level vision: a survey
%J Artificial Intelligence
%K aij
%V 17
%D 1981
%P 245-263

%A H.K. Nishihara
%T Intensity, visible-surface, and volumetric representations
%J Artificial Intelligence
%K aij
%V 17
%D 1981
%P 265-284

%A Rodney A. Brooks
%T Symbolic reasoning among 3-D models and 2-D images
%J Artificial Intelligence
%K aij
%V 17
%D 1981
%P 285-348

%A John E.W. Mayhew
%A John P. Frisby
%T Psychophysical and computational studies
towards a theory of human stereopsis
%J Artificial Intelligence
%K aij
%V 17
%D 1981
%P 349-385

%A Bruce E. Flinchbaugh
%A B. Chandrasekaran
%T A theory of spatio-temporal aggregation for vision
%J Artificial Intelligence
%K aij
%V 17
%D 1981
%P 387-407

%A Takeo Kanade
%T Recovery of the three-dimensional shape of an object
from a single view
%J Artificial Intelligence
%K aij
%V 17
%D 1981
%P 409-460

%A Stephen W. Draper
%T The use of gradient and dual space in line-drawing interpretation
%J Artificial Intelligence
%K aij
%V 17
%D 1981
%P 461-508

%A David E. Wilkins
%T Using knowledge to control tree searching
%J Artificial Intelligence
%K aij
%V 18
%D 1982
%P 1-51

%A Dana S. Nau
%T The last player theorem
%J Artificial Intelligence
%K aij
%V 18
%D 1982
%P 53-65

%A Neil V. Murray
%T Completely non-clausal theorem proving
%J Artificial Intelligence
%K aij
%V 18
%D 1982
%P 67-85

%A Allen Newell
%T The knowledge level
%J Artificial Intelligence
%K aij
%V 18
%D 1982
%P 87-127

%A Mark Stefik
%A Jan Atkins
%A Robert Balzer
%A John Benoit
%A Lawrence Birnbaum
%A Frederick Hayes-Roth
%A Earl Sacerdoti
%T The organization of expert systems, a tutorial
%J Artificial Intelligence
%K aij
%V 18
%D 1982
%P 135-173

%A M.P. Georgeff
%T Procedural control in production systems
%J Artificial Intelligence
%K aij
%V 18
%D 1982
%P 175-201

%A Tom M. Mitchell
%T Generalization as search
%J Artificial Intelligence
%K aij
%V 18
%D 1982
%P 203-226

%A David A. Plaisted
%T A simplified problem reduction format
%J Artificial Intelligence
%K aij
%V 18
%D 1982
%P 227-261

%A Wolfgang Bibel
%T A comparative study of several proof procedures
%J Artificial Intelligence
%K aij
%V 18
%D 1982
%P 269-293

%A W.A. Woods
%T Optimal search strategies for speech understanding control
%J Artificial Intelligence
%K aij
%V 18
%D 1982
%P 295-326

%A Michael C. McCord
%T Using slots and modifiers in logic grammars for natural language
%J Artificial Intelligence
%K aij
%V 18
%D 1982
%P 327-367

%A Daniel Dennett
%T Recent work in philosophy of interest to AI
%J Artificial Intelligence
%K aij
%V 19
%D 1982
%P 3-5

%A Michael Brady
%T Computer vision
%J Artificial Intelligence
%K aij
%V 19
%D 1982
%P 7-16

%A Charles L. Forgy
%T Rete: a fast algorithm for the many pattern/many object
pattern match problem
%J Artificial Intelligence
%K aij
%V 19
%D 1982
%P 17-37

%A John McDermott
%T R1: a rule-based configurer of computer systems
%J Artificial Intelligence
%K aij
%V 19
%D 1982
%P 39-88

%A Raphael A. Finkel
%A John P. Fishburn
%T Parallelism in alpha-beta search
%J Artificial Intelligence
%K aij
%V 19
%D 1982
%P 89-106

%A Jon A. Webb
%A J.K. Aggarwal
%T Structure from motion of rigid and jointed objects
%J Artificial Intelligence
%K aij
%V 19
%D 1982
%P 107-130

%A Barbara J. Grosz
%T Natural language processing
%J Artificial Intelligence
%K aij
%V 19
%D 1982
%P 131-136

%A Tomas Lozano-Perez
%T Robotics
%J Artificial Intelligence
%K aij
%V 19
%D 1982
%P 137-143

%A Andrew J. Palay
%T The B* tree search algorithm - new results
%J Artificial Intelligence
%K aij
%V 19
%D 1982
%P 145-163

%A S. Jerrold Kaplan
%T Cooperative responses from a portable natural language query system
%J Artificial Intelligence
%K aij
%V 19
%D 1982
%P 165-187

%A Douglas B. Lenat
%T The nature of heuristics
%J Artificial Intelligence
%K aij
%V 19
%D 1982
%P 189-249

%A Zenon W. Pylyshyn
%T Literature from cognitive psychology
%J Artificial Intelligence
%K aij
%V 19
%D 1982
%P 251-255

%A Dana S. Nau
%T An investigation of the causes of pathology in games
%J Artificial Intelligence
%K aij
%V 19
%D 1982
%P 257-278

%A Paul S. Rosenbloom
%T A world-championship level Othello program
%J Artificial Intelligence
%K aij
%V 19
%D 1982
%P 279-320

%A Patrick H. Winston
%T Learning new principles from precedents and exercises
%J Artificial Intelligence
%K aij
%V 19
%D 1982
%P 321-350

%A Judea Pearl
%T Knowledge versus search: a quantitative analysis using A*
%J Artificial Intelligence
%K aij
%V 20
%D 1983
%P 1-13

%A Wendy G. Lehnert
%A Michael G. Dyer
%A Peter N. Johnson
%A C.J. Yang
%A Steve Harley
%T BORIS - an experiment in in-depth understanding of narratives
%J Artificial Intelligence
%K aij
%V 20
%D 1983
%P 15-62

%A Randall Davis
%A Reid G. Smith
%T Negotiation as a metaphor for distributed problem solving
%J Artificial Intelligence
%K aij
%V 20
%D 1983
%P 63-109

%A Ryszard S. Michalski
%T A theory and methodology of inductive learning
%J Artificial Intelligence
%K aij
%V 20
%D 1983
%P 111-161

%A Janice S. Aikins
%T Prototypical knowledge for expert systems
%J Artificial Intelligence
%K aij
%V 20
%D 1983
%P 163-210

%A William J. Clancey
%T The epistemology of a rule-based expert system
- a framework for explanation
%J Artificial Intelligence
%K aij
%V 20
%D 1983
%P 215-251

%A Elaine Kant
%T On the efficient synthesis of efficient programs
%J Artificial Intelligence
%K aij
%V 20
%D 1983
%P 253-305

%A Lewis M. Norton
%T Automated analysis of instructional text
%J Artificial Intelligence
%K aij
%V 20
%D 1983
%P 307-344

%A Murray S. Campbell
%A T.A. Marsland
%T A comparison of minimax tree search algorithms
%J Artificial Intelligence
%K aij
%V 20
%D 1983
%P 347-367

%A Larry Rendell
%T A new basis for state-space learning systems
and a successful implementation
%J Artificial Intelligence
%K aij
%V 20
%D 1983
%P 369-392

%A M.P. Georgeff
%T Strategies in heuristic search
%J Artificial Intelligence
%K aij
%V 20
%D 1983
%P 393-425

%A Judea Pearl
%T On the nature of pathology in game searching
%J Artificial Intelligence
%K aij
%V 20
%D 1983
%P 427-453

%A Herbert A. Simon
%T Search and reasoning in problem solving
%J Artificial Intelligence
%K aij
%V 21
%D 1983
%P 7-29

%A Douglas B. Lenat
%T Theory formation by heuristic search
%J Artificial Intelligence
%K aij
%V 21
%D 1983
%P 31-59

%A Douglas B. Lenat
%T EURISKO: a program that learns new heuristics and domain concepts
%J Artificial Intelligence
%K aij
%V 21
%D 1983
%P 61-98

%A Richard M. Karp
%A Judea Pearl
%T Searching for an optimal path in a tree with random costs
%J Artificial Intelligence
%K aij
%V 21
%D 1983
%P 99-116

%A Paul Walton Purdom,\ Jr.
%T Search rearrangement backtracking and polynomial average time
%J Artificial Intelligence
%K aij
%V 21
%D 1983
%P 117-133

%A Bernard Nudel
%T Consistent-labeling problems and their algorithms:
expected-complexities and theory-based heuristics
%J Artificial Intelligence
%K aij
%V 21
%D 1983
%P 135-178

%A Vipin Kumar
%A Laveen N. Kanal
%T A general branch and bound formulation
for understanding and synthesizing and/or tree search procedures
%J Artificial Intelligence
%K aij
%V 21
%D 1983
%P 179-198

%A Igor Roizen
%A Judea Pearl
%T A minimax algorithm better than alpha-beta? yes and no
%J Artificial Intelligence
%K aij
%V 21
%D 1983
%P 199-220

%A Dana S. Nau
%T Pathology on game trees revisited,
and an alternative to minimaxing
%J Artificial Intelligence
%K aij
%V 21
%D 1983
%P 221-244

%A Glenn Fowler
%A Robert Haralick
%A F. Gail Gray
%A Charles Feustel
%A Charles Grinstead
%T Efficient graph automorphism by vertex partitioning
%J Artificial Intelligence
%K aij
%V 21
%D 1983
%P 245-269

%A Michael Brady
%T Parallelism in vision
%J Artificial Intelligence
%K aij
%V 21
%D 1983
%P 271-283

%A William R. Swartout
%T XPLAIN:
a system for creating and explaining expert consulting programs
%J Artificial Intelligence
%K aij
%V 21
%D 1983
%P 285-325

%A Bruce W. Ballard
%T The *-minimax search procedure for trees containing chance nodes
%J Artificial Intelligence
%K aij
%V 21
%D 1983
%P 327-350

%A Michael Lebowitz
%T Memory-based parsing
%J Artificial Intelligence
%K aij
%V 21
%D 1983
%P 363-404

%A Nevin M. Darwish
%T A quantitative analysis of the alpha-beta pruning algorithm
%J Artificial Intelligence
%K aij
%V 21
%D 1983
%P 405-433

%A Stephen T. Barnard
%T Interpreting perspective images
%J Artificial Intelligence
%K aij
%V 21
%D 1983
%P 435-462

%A Neil A.B. Gray
%T Applications of artificial intelligence for organic chemistry:
analysis of C-13 spectra
%J Artificial Intelligence
%K aij
%V 22
%D 1984
%P 1-21

%A Peter Politakis
%A Sholom M. Weiss
%T Using empirical analysis to refine expert system knowledge bases
%J Artificial Intelligence
%K aij
%V 22
%D 1984
%P 23-48

%A Katsushi Ikeuchi
%T Shape from regular patterns
%J Artificial Intelligence
%K aij
%V 22
%D 1984
%P 49-75

%A Jeffrey A. Barnett
%T How much in control knowledge worth ? a primitive example
%J Artificial Intelligence
%K aij
%V 22
%D 1984
%P 77-89

%A Drew McDermott
%A Ernest Davis
%T Planning routes through uncertain territory
%J Artificial Intelligence
%K aij
%V 22
%D 1984
%P 107-156

%A Rachel Reichman-Adar
%T Extended person-machine interface
%J Artificial Intelligence
%K aij
%V 22
%D 1984
%P 157-218

%A Daniel C. Dennett
%T Recent work in philosophy II
%J Artificial Intelligence
%K aij
%V 22
%D 1984
%P 231-233

%A Dana H. Ballard
%T Parameter nets
%J Artificial Intelligence
%K aij
%V 22
%D 1984
%P 235-267

%A David E. Wilkins
%T Domain-independent planning: representation and plan generation
%J Artificial Intelligence
%K aij
%V 22
%D 1984
%P 269-301

%A L. Wos
%A S. Winker
%A B. Smith
%A R. Veroff
%A L. Henschen
%T A new use of an automated reasoning assistant: open questions
in equivalential calculus and the study of infinite domains
%J Artificial Intelligence
%K aij
%V 22
%D 1984
%P 303-356

%A John R. Anderson
%T Cognitive psychology
%J Artificial Intelligence
%K aij
%V 23
%D 1984
%P 1-11

%A Laszlo Mero
%T A heuristic search algorithm with modifiable estimate
%J Artificial Intelligence
%K aij
%V 23
%D 1984
%P 13-27

%A Dana S. Nau
%A Vipin Kumar
%A Laveen Kanal
%T General branch and bound, and its relation to A* and AO*
%J Artificial Intelligence
%K aij
%V 23
%D 1984
%P 29-58

%A Kokichi Sugihara
%T An algebraic approach to shape-from-image problems
%J Artificial Intelligence
%K aij
%V 23
%D 1984
%P 59-95

%A Hans Berliner
%A Murray Campbell
%T Using chunking to solve chess pawn endgames
%J Artificial Intelligence
%K aij
%V 23
%D 1984
%P 97-120

%A James F. Allen
%T Towards a general theory of action and time
%J Artificial Intelligence
%K aij
%V 23
%D 1984
%P 123-154

%A Hector J. Levesque
%T Foundations of a functional approach to knowledge representation
%J Artificial Intelligence
%K aij
%V 23
%D 1984
%P 155-212

%A Ken-ichi Kanatani
%T Detection of surface orientation and motion from texture
by a stereological technique
%J Artificial Intelligence
%K aij
%V 23
%D 1984
%P 213-237

%A G.D. Ritchie
%A F.K. Hanna
%T AM: a case study in AI methodology
%J Artificial Intelligence
%K aij
%V 23
%D 1984
%P 249-268

%A Douglas B. Lenat
%A John Seely Brown
%T Why AM and EURISKO appear to work
%J Artificial Intelligence
%K aij
%V 23
%D 1984
%P 269-294

%A Alan Mycroft
%A Richard A. O'Keefe
%T A polymorphic type system for Prolog
%J Artificial Intelligence
%K aij
%V 23
%D 1984
%P 295-307

%A Ellen C. Hildreth
%T Computations underlying the measurement of visual motion
%J Artificial Intelligence
%K aij
%V 23
%D 1984
%P 309-354

%A Daniel G. Bobrow
%T Qualitative reasoning about physical systems: an introduction
%J Artificial Intelligence
%K aij
%V 24
%D 1984
%P 1-5

%A John de\ Kleer
%A John Seely Brown
%T A qualitative physics based on confluences
%J Artificial Intelligence
%K aij
%V 24
%D 1984
%P 7-83

%A Kenneth D. Forbus
%T Qualitative process theory
%J Artificial Intelligence
%K aij
%V 24
%D 1984
%P 85-168

%A Benjamin Kuipers
%T Commonsense reasoning about causality:
deriving behavior from structure
%J Artificial Intelligence
%K aij
%V 24
%D 1984
%P 169-203

%A Johan de\ Kleer
%T How circuits work
%J Artificial Intelligence
%K aij
%V 24
%D 1984
%P 205-280

%A Brian C. Williams
%T Qualitative analysis of MOS circuits
%J Artificial Intelligence
%K aij
%V 24
%D 1984
%P 281-346

%A Randall Davis
%T Diagnostic reasoning based on structure and behavior
%J Artificial Intelligence
%K aij
%V 24
%D 1984
%P 347-410

%A Michael R. Genesereth
%T The use of design descriptions in automated diagnosis
%J Artificial Intelligence
%K aij
%V 24
%D 1984
%P 411-436

%A Harry G. Barrow
%T VERIFY: a program for proving correctness of digital hardware designs
%J Artificial Intelligence
%K aij
%V 24
%D 1984
%P 437-491

%A Barbara J. Grosz
%T Natural-language processing
%J Artificial Intelligence
%K aij
%V 25
%D 1985
%P 1-4

%A Tomas Lozano-Perez
%T Compliance in robot manipulation
%J Artificial Intelligence
%K aij
%V 25
%D 1985
%P 5-12

%A Genevieve Bossu
%A Pierre Siegel
%T Saturation, nonmonotonic reasoning and the closed-world assumption
%J Artificial Intelligence
%K aij
%V 25
%D 1985
%P 13-63

%A Alan K. Mackworth
%A Eugene C. Freuder
%T The complexity of some polynomial network consistency algorithms
for constraint satisfaction problems
%J Artificial Intelligence
%K aij
%V 25
%D 1985
%P 65-74

%A Robert C. Moore
%T Semantical considerations on nonmonotonic logic
%J Artificial Intelligence
%K aij
%V 25
%D 1985
%P 75-94

%A Clark Glymour
%T Independence assumptions and Bayesian updating
%J Artificial Intelligence
%K aij
%V 25
%D 1985
%P 95-99

%A Seizaburo Niizuma
%A Tadahiro Kitahashi
%T A problem-decomposition method
using differences or equivalence relations between states
%J Artificial Intelligence
%K aij
%V 25
%D 1985
%P 117-151

%A Richard Alterman
%T A dictionary based on concept coherence
%J Artificial Intelligence
%K aij
%V 25
%D 1985
%P 153-186

%A Thomas G. Dietterich
%A Ryszard S. Michalski
%T Discovering patterns in sequences of events
%J Artificial Intelligence
%K aij
%V 25
%D 1985
%P 187-232

%A Edard E. Smith
%T Cognitive psychology
%J Artificial Intelligence
%K aij
%V 25
%D 1985
%P 247-253

%A Jich Hsiang
%T Refutational theorem proving using term-rewriting systems
%J Artificial Intelligence
%K aij
%V 25
%D 1985
%P 255-300

%A Donald Perlis
%T Languages with self-reference I: foundations
(or: we can have everything in first-order logic!)
%J Artificial Intelligence
%K aij
%V 25
%D 1985
%P 301-322

%A Nachum Dershowitz
%T Synthetic programming
%J Artificial Intelligence
%K aij
%V 25
%D 1985
%P 323-373

%A Daniel G. Bobrow
%A Patrick J. Hayes
%T Artificial intelligence - where are we ?
%J Artificial Intelligence
%K aij
%V 25
%D 1985
%P 375-415

%A Douglas E. Appelt
%T Planning English referring expressions
%J Artificial Intelligence
%K aij
%V 26
%D 1985
%P 1-33

%A Richard E. Korf
%T Macro-operators: a weak method for learning
%J Artificial Intelligence
%K aij
%V 26
%D 1985
%P 35-77

%A Michael Brady
%T Artificial intelligence and robotics
%J Artificial Intelligence
%K aij
%V 26
%D 1985
%P 79-121

%A Chia-Hoang Lee
%A Azriel Rosenfeld
%T Improved methods of estimating shape from shading
using the light source coordinate system
%J Artificial Intelligence
%K aij
%V 26
%D 1985
%P 125-143

%A Shih Jong Lee
%A Robert M. Haralick
%A Ming Chua Zhang
%T Understanding objects with curved surfaces
from a single perspective view of boundaries
%J Artificial Intelligence
%K aij
%V 26
%D 1985
%P 145-169

%A David E. Smith
%A Michael R. Genesereth
%T Ordering conjunctive queries
%J Artificial Intelligence
%K aij
%V 26
%D 1985
%P 171-215

%A Christoph Walther
%T A mechanical solution of Schubert's steamroller
by many-sorted resolution
%J Artificial Intelligence
%K aij
%V 26
%D 1985
%P 217-224

%A Barbara Hayes-Roth
%T A blackboard architecture for control
%J Artificial Intelligence
%K aij
%V 26
%D 1985
%P 225-321

%A Jean Gordon
%A Edward H. Shortliffe
%T A method for managing evidential reasoning
in a hierarchical hypothesis space
%J Artificial Intelligence
%K aij
%V 26
%D 1985
%P 323-357

%A Kathleen R. McKeown
%T Discourse strategies for generating natural-language text
%J Artificial Intelligence
%K aij
%V 27
%D 1985
%P 1-41

%A Douglas R. Smith
%T Top-down synthesis of divide-and-conquer algorithms
%J Artificial Intelligence
%K aij
%V 27
%D 1985
%P 43-96

%A Richard E. Korf
%T Depth-first iterative-deepening: an optimal admissible tree search
%J Artificial Intelligence
%K aij
%V 27
%D 1985
%P 97-109

%A Alan Bundy
%A Bernard Silver
%A Dave Plummer
%T An analytical comparison of some rule-learning programs
%J Artificial Intelligence
%K aij
%V 27
%D 1985
%P 137-181

%A Vannick Descotte
%A Jean-Claude Latombe
%T Making compromises among antagonist constraints in a planner
%J Artificial Intelligence
%K aij
%V 27
%D 1985
%P 183-217

%A Lubomir Bic
%T Processing of semantic nets on dataflow architectures
%J Artificial Intelligence
%K aij
%V 27
%D 1985
%P 219-227

%A Vladimir Lifschitz
%T Closed-world databases and circumscription
%J Artificial Intelligence
%K aij
%V 27
%D 1985
%P 229-235

%A W.W. Bledsoe
%A K. Kunen
%A R. Shostak
%T Completeness results for inequality provers
%J Artificial Intelligence
%K aij
%V 27
%D 1985
%P 255-288

%A William J. Clancy
%T Heuristic classification
%J Artificial Intelligence
%K aij
%V 27
%D 1985
%P 289-350

%A Hans Berliner
%A Carl Ebeling
%T The SUPREM architecture: a new intelligent paradigm
%J Artificial Intelligence
%K aij
%V 28
%D 1986
%P 3-8
%K chess, Hitech

%A Judea Pearl
%T On evidential reasoning in a hierarchy of hypotheses
%J Artificial Intelligence
%K aij
%V 28
%D 1986
%P 9-15

%A Vladimir Lifschitz
%T On the satisfyability of circumscription
%J Artificial Intelligence
%K aij
%V 28
%D 1986
%P 17-27

%A Donald Perlis
%A Jack Minker
%T Completeness results for circumscription
%J Artificial Intelligence
%K aij
%V 28
%D 1986
%P 29-42

%A Robert E. Stepp
%A Ryszard S. Michalski
%T Conceptual clustering of structured objects:
a goal-oriented approach
%J Artificial Intelligence
%K aij
%V 28
%D 1986
%P 43-69

%A Nils J. Nilsson
%T Probabilistic logic
%J Artificial Intelligence
%K aij
%V 28
%D 1986
%P 71-87

%A John McCarthy
%T Applications of circumscription
to formalizing common-sense knowledge
%J Artificial Intelligence
%K aij
%V 28
%D 1986
%P 89-116

%A Johan de\ Kleer
%T An assumption-based TMS
%J Artificial Intelligence
%K aij
%V 28
%D 1986
%P 127-162

%A Johan de\ Kleer
%T Extending the ATMS
%J Artificial Intelligence
%K aij
%V 28
%D 1986
%P 163-196
%K TMS

%A Johan de\ Kleer
%T Problem solving with the ATMS
%J Artificial Intelligence
%K aij
%V 28
%D 1986
%P 197-224
%K TMS

%A Roger Mohr
%A Thomas C. Henderson
%T Arc and path consistency revisited
%J Artificial Intelligence
%K aij
%V 28
%D 1986
%P 225-233

%A Andrew R. Haas
%T A syntactic theory of belief and action
%J Artificial Intelligence
%K aij
%V 28
%D 1986
%P 245-292

%A Alex P. Pentland
%T Perceptual organization and the representation of natural form
%J Artificial Intelligence
%K aij
%V 28
%D 1986
%P 293-331

%A R.R. Kadesch
%T Subjective inference with multiple evidence
%J Artificial Intelligence
%K aij
%V 28
%D 1986
%P 333-341

%A Yumi Iwasaki
%A Herbert A. Simon
%T Causality in device behavior
%J Artificial Intelligence
%K aij
%V 29
%D 1986
%P 3-32

%A Johan de\ Kleer
%A John Selly Brown
%T Theories of causal ordering
%J Artificial Intelligence
%K aij
%V 29
%D 1986
%P 33-61

%A Yumi Iwasaki
%A Herbert A. Simon
%T Theories of causal ordering: reply to de Kleer and Brown
%J Artificial Intelligence
%K aij
%V 29
%D 1986
%P 63-72

%A T. Ibaraki
%T Generalization of alpha-beta and SSS* search procedures
%J Artificial Intelligence
%K aij
%V 29
%D 1986
%P 73-117

%A Ryszard S. Michalski
%A Patrick H. Winston
%T Variable precision logic
%J Artificial Intelligence
%K aij
%V 29
%D 1986
%P 121-146

%A Alex P. Pentland
%T Shading into texture
%J Artificial Intelligence
%K aij
%V 29
%D 1986
%P 147-170

%A Mallory Selfridge
%T A computer model of child language learning
%J Artificial Intelligence
%K aij
%V 29
%D 1986
%P 171-216

%A Rodney W. Johnson
%T Independence and Bayesian updating methods
%J Artificial Intelligence
%K aij
%V 29
%D 1986
%P 217-222

%A Judea Pearl
%T Fusion, propagation, and structuring in belief networks
%J Artificial Intelligence
%K aij
%V 29
%D 1986
%P 241-288

%A Benjamin Kuipers
%T Qualitative simulation
%J Artificial Intelligence
%K aij
%V 29
%D 1986
%P 289-338

%A P.P. Chakrabarti
%A S. Ghose
%A S.C. DeSarkar
%T Heuristic search through islands
%J Artificial Intelligence
%K aij
%V 29
%D 1986
%P 339-347

%A Daniel S. Weld
%T The use of aggregation in causal simulation
%J Artificial Intelligence
%K aij
%V 30
%D 1986
%P 1-34

%A Matthew L. Ginsberg
%T Counterfactuals
%J Artificial Intelligence
%K aij
%V 30
%D 1986
%P 35-79

%A Hector J. Levesque
%T Making believers out of computers
%J Artificial Intelligence
%K aij
%V 30
%D 1986
%P 81-108

%A Frank M. Brown
%T An experimental logic based on the fundamental deduction principle
%J Artificial Intelligence
%K aij
%V 30
%D 1986
%P 117-263

%A Michael Gelfond
%A Halina Przymusinska
%T Negation as failure: careful closure procedure
%J Artificial Intelligence
%K aij
%V 30
%D 1986
%P 273-287

%A Martin Herman
%A Takeo Kanade
%T Incremental reconstruction of 3D scenes from multiple, complex images
%J Artificial Intelligence
%K aij
%V 30
%D 1986
%P 289-341

%A David E. Smith
%A Michael R. Genesereth
%A Matthew L. Ginsberg
%T Controlling recursive inference
%J Artificial Intelligence
%K aij
%V 30
%D 1986
%P 343-389

%A Kurt VanLehn
%T Learning one subprocedure per lesson
%J Artificial Intelligence
%K aij
%V 31
%D 1987
%P 1-40

%A David W. Etherington
%T Formalizing nonmonotonic reasoning systems
%J Artificial Intelligence
%K aij
%V 31
%D 1987
%P 41-85

%A Peter L. Mott
%T A theorem on the consistency of circumscription
%J Artificial Intelligence
%K aij
%V 31
%D 1987
%P 87-98

%A Ronald R. Yager
%T Using approximate reasoning to represent default knowledge
%J Artificial Intelligence
%K aij
%V 31
%D 1987
%P 99-112

%A Deepak Kapur
%A David R. Musser
%T Proof by consistency
%J Artificial Intelligence
%K aij
%V 31
%D 1987
%P 125-157

%A Jonathan H. Connell
%A Michael Brady
%T Generating and generalizing models of visual objects
%J Artificial Intelligence
%K aij
%V 31
%D 1987
%P 159-183

%A T.A. Marsland
%A Alexander Reinefeld
%A Jonathan Schaeffer
%T Low overhead alternatives to SSS*
%J Artificial Intelligence
%K aij
%V 31
%D 1987
%P 185-199

%A Donald Perlis
%T Circumscribing with sets
%J Artificial Intelligence
%K aij
%V 31
%D 1987
%P 201-211

%A Henry E. Kyburg,\ Jr.
%T Bayesian and non-Bayesian evidential updating
%J Artificial Intelligence
%K aij
%V 31
%D 1987
%P 271-293

%A Bruce R. McDonald
%T A search algorithm for motion planning with six degrees of freedom
%J Artificial Intelligence
%K aij
%V 31
%D 1987
%P 295-353

%A David G. Lowe
%T Three-dimensional object recognition from single two-dimensional images
%J Artificial Intelligence
%K aij
%V 31
%D 1987
%P 355-395

%A Thomas L. Dean
%A Drew V. McDermott
%T Temporal data base management
%J Artificial Intelligence
%K aij
%V 32
%D 1987
%P 1-55

%A Raymond Reiter
%T A theory of diagnosis from first principles
%J Artificial Intelligence
%K aij
%V 32
%D 1987
%P 57-95

%A Johan de\ Kleer
%A Brian C. Williams
%T Diagnosing multiple faults
%J Artificial Intelligence
%K aij
%V 32
%D 1987
%P 97-130

%A Tomasz Imielinski
%T Results on translating defaults to circumscription
%J Artificial Intelligence
%K aij
%V 32
%D 1987
%P 131-146

%A David Elliot Shaw
%T On the range of applicability of an artificial intelligence machine
%J Artificial Intelligence
%K aij
%V 32
%D 1987
%P 151-172
%K Non-Von

%A Barbara J. Grosz
%A Douglas E. Appelt
%A Paul A. Martin
%A Fernando C.N. Pereira
%T TEAM: an experiment in the design
of transportable natural-language interfaces
%J Artificial Intelligence
%K aij
%V 32
%D 1987
%P 173-243

%A Judea Pearl
%T Evidential reasoning using stochastic simulation of causal models
%J Artificial Intelligence
%K aij
%V 32
%D 1987
%P 245-257

%A Steven Cushing
%T Some quantifiers require two-predicate scopes
%J Artificial Intelligence
%K aij
%V 32
%D 1987
%P 259-267

%A Ernest Davis
%T Constraint propagation with interval labels
%J Artificial Intelligence
%K aij
%V 32
%D 1987
%P 281-331

%A David Chapman
%T Planning for conjunctive goals
%J Artificial Intelligence
%K aij
%V 32
%D 1987
%P 333-377

%A Joseph Y. Halpern
%A Michael O. Rabin
%T A logic to reason about likelihood
%J Artificial Intelligence
%K aij
%V 32
%D 1987
%P 379-405

%A John E. Laird
%A Allen Newell
%A Paul S. Rosenbloom
%T SOAR: an architecture for general intelligence
%J Artificial Intelligence
%K aij
%V 33
%N 1
%D September 1987
%P 1-64

%A Richard E. Korf
%T Planning as search: a quantitative approach
%J Artificial Intelligence
%K aij
%V 33
%N 1
%D September 1987
%P 65-88

%A Yoav Shoham
%T Temporal logics in AI: semantical and ontological considerations
%J Artificial Intelligence
%K aij
%V 33
%N 1
%D September 1987
%P 89-104

%A James P. Delgrande
%T A first-order conditional logic for prototypical properties
%J Artificial Intelligence
%K aij
%V 33
%N 1
%D September 1987
%P 105-130

%A Bernardo A. Huberman
%A Tad Hogg
%T Phase transitions in artificial intelligence systems
%J Artificial Intelligence
%K aij
%V 33
%N 2
%D October 1987
%P 155-171

%A Judea Pearl
%T Distributed revision of composite beliefs
%J Artificial Intelligence
%K aij
%V 33
%N 2
%D October 1987
%P 173-215

%A Sargur N. Srihari
%A Radmilo M. Bozinovic
%T A multi-level perception approach to reading cursive script
%J Artificial Intelligence
%K aij
%V 33
%N 2
%D October 1987
%P 217-255

%A Glenn Shafer
%A Roger Logan
%T Implementing Dempster's rule for hierarchical evidence
%J Artificial Intelligence
%K aij
%V 33
%N 3
%D November 1987
%P 271-298

%A Hans-Hellmut Nagel
%T On the estimation of optical flow:
relations between different approaches and some new results
%J Artificial Intelligence
%K aij
%V 33
%N 3
%D November 1987
%P 299-324

%A Paul S. Jacobs
%T Knowledge-intensive natural language generation
%J Artificial Intelligence
%K aij
%V 33
%N 3
%D November 1987
%P 325-378
%K Ace, King

%A Steve Hanks
%A Drew McDermott
%T Nonmonotonic logic and temporal projection
%J Artificial Intelligence
%K aij
%V 33
%N 3
%D November 1987
%P 379-412