. German Research Center for Artificial Intelligence GmbH

Persistent Bibliographic Information Record
s0004-3702

Artificial Intelligence

Description:

Artificial Intelligence, which commenced publication in 1970, is now the generally accepted international forum for the publication of results of current research in this field. The journal welcomes basic and applied papers describing mature work involving computational accounts of aspects of intelligence. Specifically, it welcomes papers on:

automated reasoning
computational theories of learning;
heuristic search;
knowledge representation;
qualitative physics;
signal, image and speech understanding;
robotics;
natural language understanding;
software and hardware architectures for AI.

The journal reports results achieved; proposals for new ways of looking at AI problems must include demonstrations of effectiveness. From time to time the journal publishes survey articles.

On-line Access:: Information related to the journal is available from Elsevier Science
PBIR:: The unique LIDOS PBIR Identifier is s0004-3702
URL:: This page is located at http://www.dfki.uni-sb.de/imedia/lidos/pbir/s0004-3702.html
PURL:: Hyperlinks to this page should refer to http://purl.org/dfki/pbir/s0004-3702.html, the persistent URL of this bibliographic information record

1: K. M. Colby, S. Weber, and F. D. Hilf. Artificial Paranoia. Artificial Intelligence, 2:1-25, 1971.
2: D. Luckham and N. J. Nilsson. Extracting Information from Resolution Proof Trees. Artificial Intelligence, 2:27-54, 1971.
3: W. W. Bledsoe. Splitting and Reduction Heuristics in Automatic Theorem Proving. Artificial Intelligence, 2:55-77, 1971.
4: M. B. Clowes. On Seeing Things. Artificial Intelligence, 2:79-116, 1971.
5: C. L. Chang and J. R. Slagle. An Admissible and Optimal Algorithm for Searching AND/OR Graphs. Artificial Intelligence, 2:117-128, 1971.
6: E. Sandewall. Formal Methods in the Design of Question-Answering Systems. Artificial Intelligence, 2:129-145, 1971.
7: R. E. Kling. A Paradigm for Reasoning by Analogy. Artificial Intelligence, 2:147-178, 1971.
8: C. G. Morgan. Hypothesis Generation by Machine. Artificial Intelligence, 2:179-187, 1971.
9: R. E. Fikes and N. J. Nilsson. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence, 2:189-208, 1971.
10: A. Sloman. Interactions between Philosophy and Artificial Intelligence: The Role of Intuition and Non-Logical Reasoning in Intelligence. Artificial Intelligence, 2:209-225, 1971.
11: R. Kowalski and D. Kuehner. Linear Resolution with Selection Function. Artificial Intelligence, 2:227-260, 1971.
12: L. M. Norton. Experiments with a Heuristic Theorem-Proving Program for Predicate Calculus with Equality. Artificial Intelligence, 2:261-284, 1971.
13: D. A. Waterman and A. Newell. Protocol Analysis as a Task for Artificial Intelligence. Artificial Intelligence, 2:285-318, 1971.
14: P. M. Will and K. S. Pennington. Grid Coding: A Preprocessing Technique for Robot and Machine Vision. Artificial Intelligence, 2:319-328, 1971.
15: B. C. Bruce. A Model for Temporal References and its Application in a Question Answering Program. Artificial Intelligence, 3:1-25, 1972.
16: W. W. Bledsoe, R. S. Boyer, and W. H. Henneman. Computer Proofs of Limit Theorems. Artificial Intelligence, 3:27-60, 1972.
17: A. L. Cherniavsky. A Program for Timetable Compilation by a Look-Ahead Method. Artificial Intelligence, 3:61-76, 1972.
18: R. M. Kaplan. Augmented Transition Networks as Psychological Models of Sentence Comprehension. Artificial Intelligence, 3:77-100, 1972.
19: G. Falk. Interpretation of Imperfect Line Data as a Three-Dimensional Scence. Artificial Intelligence, 3:101-144, 1972.
20: J. J. Gillogly. The Technology Chess Program. Artificial Intelligence, 3:145-163, 1972.
21: L. Hodes. Solving Problems by Formula Manipulation in Logic and Linear Inequalities. Artificial Intelligence, 3:165-174, 1972.
22: E. Minicozzi and R. Reiter. A Note on Linear Resolution Strategies in Consequence-Finding. Artificial Intelligence, 3:175-180, 1972.
23: A. W. Biermann. On the Inference of Turing Machines from Sample Computations. Artificial Intelligence, 3:181-198, 1972.
24: K. M. Colby, F. D. Hilf, S. Weber, and H. C. Kraemer. Turing-Like Indistinguishability Tests for the Validation of a Computer Simulation of Paranoid Processes. Artificial Intelligence, 3:199-221, 1972.
25: R. B. Banerji and G. W. Ernst. Strategy Construction Using Homomorphisms between Games. Artificial Intelligence, 3:223-249, 1972.
26: R. E. Fikes, P. E. Hart, and N. J. Nilsson. Learning and Executing Generalized Robot Plans. Artificial Intelligence, 3:251-288, 1972.
27: L. Siklossy, A. Rich, and V. Marinov. Breadth-First Search: Some Surprising Results. Artificial Intelligence, 4:1-27, 1973.
28: R. Baker. A Spatially-Oriented Information Processor which Simulates the Motions of Rigid Objects. Artificial Intelligence, 4:29-40, 1973.
29: C. M. Eastman. Automated Space Planning. Artificial Intelligence, 4:41-64, 1973.
30: J.-P. Laurent. A Program that Computes Limits Using Heuristics to Evaluate the Indeterminate Forms. Artificial Intelligence, 4:69-94, 1973.
31: Y. Shirai. A Context Sensitive Line Finder for Recognition of Polyhedra. Artificial Intelligence, 4:95-119, 1973.
32: A. K. Mackworth. Interpreting Pictures of Polyhedral Scenes. Artificial Intelligence, 4:121-137, 1973.
33: G. G. Hendrix. Modeling Simultaneous Actions and Continuous Processes. Artificial Intelligence, 4:145-180, 1973.
34: H. A. Simon. The Structure of III Stuctured Problems. Artificial Intelligence, 4:181-201, 1973.
35: M. Shimura and F. H. George. Rule-Oriented Methods in Problem Solving. Artificial Intelligence, 4:203-223, 1973.
36: J. Minker, D. H. Fishman, and J. R. McSkimin. The Q* Algorithm: A Search Strategy for a Deductive Question-Answering System. Artificial Intelligence, 4:225-243, 1973.
37: S. E. Fahlman. A Planning System for Robot Construction Tasks. Artificial Intelligence, 5:1-49, 1974.
38: W. W. Bledsoe and P. Bruell. A Man-Machine Theorem-Proving System. Artificial Intelligence, 5:51-72, 1974.
39: W. A. Woods and J. Makhoul. Mechanical Inference Problems in Continuous Speech Understanding. Artificial Intelligence, 5:73-91, 1974.
40: C. C. Tappert and N. R. Dixon. A Procedure for Adaptive Control of the Interaction between Acoustic Classification and Linguistic Decoding in Automatic Recognition of Continuous Speech. Artificial Intelligence, 5:95-113, 1974.
41: E. D. Sacerdoti. Planning in a Hierarchy of Abstraction Spaces. Artificial Intelligence, 5:115-135, 1974.
42: A. K. Griffith. A Comparison and Evaluation of Three Machine Learning Procedures as Applied to the Game of Checkers. Artificial Intelligence, 5:137-148, 1974.
43: J. M. Scandura, J. H. Durnin, and W. H. Wulfeck II. Higher Order Rule Characterization of Heuristics for Compass and Straight Edge Constructions in Geometry. Artificial Intelligence, 5:149-183, 1974.
44: I. Sobel. On Calibrating Computer Controlled Cameras for Perceiving 3-D Scenes. Artificial Intelligence, 5:185-198, 1974.
45: M. Kochen. Representations and Algorithms for Cognitive Learning. Artificial Intelligence, 5:199-216, 1974.
46: L. R. Harris. The Heuristic Search under Conditions of Error. Artificial Intelligence, 5:217-234, 1974.
47: R. J. Waldinger and K. N. Levitt. Reasoning about Programs. Artificial Intelligence, 5:235-316, 1974.
48: P. C. Maxwell. Alternative Descriptions in Line Drawing Analysis. Artificial Intelligence, 5:325-348, 1974.
49: J. A. Feldman and Y. Yakimovsky. Decision Theory and Artificial Intelligence: I. A Semantics-Based Region Analyzer. Artificial Intelligence, 5:349-371, 1974.
50: R. C. Schank and C. J. Rieger III. Inference and the Computer Understanding of Natural Language. Artificial Intelligence, 5:373-412, 1974.
51: A. J. Nevins. Plane Geometry Theorem Proving Using Forward Chaining. Artificial Intelligence, 6:1-23, 1975.
52: A. J. Nevins. A Relaxation Approach to Splitting in an Automatic Theorem Prover. Artificial Intelligence, 6:25-39, 1975.
53: L. Siklossy and J. Roach. Model Verification and Improvement Using DISPROVER. Artificial Intelligence, 6:41-52, 1975.
54: Y. Wilks. A Preferential, Pattern-Seeking, Semantics for Natural Language Inference. Artificial Intelligence, 6:53-74, 1975.
55: R. M. Haralick and K. Ripken. An Associative-Categorical Model of Word Meaning. Artificial Intelligence, 6:75-99, 1975.
56: D. H. Fishman and J. Minker. Pi-Representation: A Clause Representation for Parallel Search. Artificial Intelligence, 6:103-127, 1975.
57: A. P. Ambler, H. G. Barrow, C. M. Brown, R. M. Burstall, and R. J. Popplestone. A Versatile System for Computer-Controlled Assembly. Artificial Intelligence, 6:129-156, 1975.
58: A. P. Ambler and R. J. Popplestone. Inferring the Positions of Bodies from Specified Spatial Relationships. Artificial Intelligence, 6:157-174, 1975.
59: Z. Manna and R. Waldinger. Knowledge and Reasoning in Program Synthesis. Artificial Intelligence, 6:175-208, 1975.
60: E. B. Koffman and S. E. Blount. Artificial Intelligence and Automatic Programming in CAI. Artificial Intelligence, 6:215-234, 1975.
61: H. A. Simon and J. B. Kadane. Optimal Problem-Solving Search: All-or-None Solutions. Artificial Intelligence, 6:235-247, 1975.
62: I. P. Goldstein. Summary of MYCROFT: A System for Understanding Simple Picture Programs. Artificial Intelligence, 6:249-288, 1975.
63: D. E. Knuth and R. W. Moore. An Analysis of Alpha-Beta Pruning. Artificial Intelligence, 6:293-326, 1975.
64: B. Bruce. Case Systems for Natural Language. Artificial Intelligence, 6:327-360, 1975.
65: G. M. Adelson-Velskiy, V. L. Arlazarov, and M. V. Donskoy. Some Methods of Controlling the Tree Search in Chess Programs. Artificial Intelligence, 6:361-371, 1975.
66: L. J. Mazlack. Computer Construction of Crossword Puzzles Using Precedence Relationships. Artificial Intelligence, 7:1-19, 1976.
67: C. L. Hedrick. Learning Production Systems from Examples. Artificial Intelligence, 7:21-49, 1976.
68: R. E. Shostak. Refutation Graphs. Artificial Intelligence, 7:51-64, 1976.
69: G. R. Ruth. Intelligent Program Analysis. Artificial Intelligence, 7:65-85, 1976.
70: C. Rieger. An Organization of Knowledge for Problem Solving and Language Comprehension. Artificial Intelligence, 7:89-127, 1976.
71: O. Stepankova and I. M. Havel. A Logical Theory of Robot Problem Solving. Artificial Intelligence, 7:129-161, 1976.
72: L. K. Schubert. Extending the Expressive Power of Semantic Networks. Artificial Intelligence, 7:163-198, 1976.
73: B. G. Claybrook. A New Approach to the Symbolic Factorization of Multivariate Polynomials. Artificial Intelligence, 7:203-241, 1976.
74: G. Levi and F. Sirovich. Generalizerd And/Or Graphs. Artificial Intelligence, 7:243-259, 1976.
75: D. Chester. The Translation of Formal Proofs into English. Artificial Intelligence, 7:261-278, 1976.
76: D. Brand. Analytic Resolution in Theorem Proving. Artificial Intelligence, 7:285-318, 1976.
77: L. Beckmann, A. Haraldson, Ö. Oskarsson, and E. Sandewall. A Partial Evaluator, and its Use as a Programming Tool. Artificial Intelligence, 7:319-357, 1976.
78: A. Martelli. On the Complexity of Admirable Search Algorithm. Artificial Intelligence, 8:1-14, 1977.
79: R. Davis, B. Buchanan, and E. Shortliffe. Production Rules as a Representation for a Knowledge-Based Consultation Program. Artificial Intelligence, 8:15-46, 1977.
80: S. A. Vere. Relational Production Systems. Artificial Intelligence, 8:47-68, 1977.
81: D. Gelperin. On the Optimality of Ax. Artificial Intelligence, 8:69-76, 1977.
82: R. Nevatia and T. O. Binford. Description and Recognition of Curved Objects. Artificial Intelligence, 8:77-98, 1977.
83: A. K. Mackworth. Consistency in Networks of Relations. Artificial Intelligence, 8:99-118, 1977.
84: B. Cohen. The Mechanical Discovery of Certain Problem Symmetrics. Artificial Intelligence, 8:119-132, 1977.
85: M. M. Newborn. The Efficiency of the Alpha-Beta Search on Trees with Branchdependant Terminal Nodes Scores. Artificial Intelligence, 8:137-154, 1977.
86: D. G. Bobrow, R. M. Kaplan, M. Kay, D. A. Norman, H. Thompson, and T. Winograd. GUS, A Frame-Driven Dialog System. Artificial Intelligence, 8:155-173, 1977.
87: F. M. Brown. Doing Arithmetic without Diagrams. Artificial Intelligence, 8:175-200, 1977.
88: B. K. P. Horn. Understanding Image Intensities. Artificial Intelligence, 8:201-238, 1977.
89: J. M. Tenenbaum and H. G. Barrow. Experiments in Interpretation-Guided Segmentation. Artificial Intelligence, 8:241-274, 1977.
90: J. Pitrat. A Chess Combination Program Which Uses Plans. Artificial Intelligence, 8:275-321, 1977.
91: C. Hewitt. Viewing Control Structures as Patterns of Passing Messages. Artificial Intelligence, 8:323-364, 1977.
92: W. W. Bledsoe. Non-Resolution Theorem Proving. Artificial Intelligence, 9:1-36, 1977.
93: D. Marr. Artificial Intelligence: A Personal View. Artificial Intelligence, 9:37-48, 1977.
94: H. Boley. Directed Rekursive Labelnode Hypergraphs: A New Representation-Language. Artificial Intelligence, 9:49-86, 1977.
95: K. Kahn and G. A. Gorry. Mechanizing Temporal Knowledge. Artificial Intelligence, 9:87-110, 1977.
96: R. C. Parkinson, K. M. Colby, and W. S. Faught. Conversational Language Comprehension Using Integrated Pattern-Maching and Parsing. Artificial Intelligence, 9:111-134, 1977.
97: R. M. Stallman and G. J. Sussman. Forward Reasoning and Dependency-Directed BAcktracking in a System for Computer-Aided Circuit-Analysis. Artificial Intelligence, 9:135-196, 1977.
98: J. A. Self. Concept Teaching. Artificial Intelligence, 9:197-222, 1977.
99: B. L. Cohen. A Powerful and Efficient Structured Pattern Recognition System. Artificial Intelligence, 9:223-256, 1977.
100: D. B. Lessat. The Ubiguity of Discovery. Artificial Intelligence, 9:257-286, 1977.
101: J. R. Hobbs and S. J. Rosenschein. Making Computational Senso of Montague's Intensional Logic. Artificial Intelligence, 9:287-306, 1977.
102: D. Pastre. Automatic Theorem Proving in Set Theory. Artificial Intelligence, 10:1-28, 1978.
103: J. L. Lauriere. A Language and a Program for Stating and Solving Combinatorial Problems. Artificial Intelligence, 10:29-128, 1978.
104: A. Bundy. Will it Reach the Top? Prediction in the Mechanics World. Artificial Intelligence, 10:129-146, 1978.
105: P. H. Winston. Learning by Creating and Justifying Transfer Frames. Artificial Intelligence, 10:147-172, 1978.
106: G. M. Baudet. On the Branching Factor of the Alpha-Beta Pruning Algorithm. Artificial Intelligence, 10:173-200, 1978.
107: H. J. Berliner. Review Article: A Chronology of Computer Chess and its Literature. Artificial Intelligence, 10:201-214, 1978.
108: F. O'Gorman. Edge Detection Using Walsh Functions. Artificial Intelligence, 10:215-224, 1978.
109: R. M. Weischedel, W. M. Voge, and M. James. An Artificial Intelligence Approach to Language Instruction. Artificial Intelligence, 10:225-240, 1978.
110: C. Green and D. Barstow. On Program Synthesis Knowledge. Artificial Intelligence, 10:241-279, 1978.
111: F. M. Brown. Towards the Automation of Set Theory and its Logic. Artificial Intelligence, 10:281-316, 1978.
112: C. Hewitt. Comments. Artificial Intelligence, 10:317-318, 1978.
113: B. G. Buchanan and E. A. Feigenbaum. Dendral and Meta-Dendral. Artificial Intelligence, 11:5-24, 1978.
114: R. Grishman and L. Hirschman. Question Answering from Natural Language Medical Data Basses. Artificial Intelligence, 11:25-43, 1978.
115: C. F. Schmidt, N. S. Sridharan, and J. L. Goodson. The Plan Recognition Problem: An Intersection of Psychology and Artificial Intelligence. Artificial Intelligence, 11:45-83, 1978.
116: M. Stefik. Inferring DNA Structures from Segmentation Data. Artificial Intelligence, 11:85-114, 1978.
117: P. Szolovits and S. G. Pauker. Categorical and Probabilistic Reasoning in Medical Diagnosis. Artificial Intelligence, 11:115-144, 1978.
118: S. M. Weiss, C. A. Kulikowski, S. Amarel, and A. Safir. A Model-Based Method for Computer-Aided Medical Decision-Making. Artificial Intelligence, 11:145-172, 1978.
119: W. T. Wipke. G. I. Ouchi and S. Krishnan. Simulation and Evaluation of Chemical Synthesis: SECS. Artificial Intelligence, 11:173-193, 1978.
120: Y. Wilks. Making Preferences More Active. Artificial Intelligence, 11:197-223, 1978.
121: E. Charniak. On the Use of Framed Knowledge in Language Comprehension. Artificial Intelligence, 11:225-265, 1978.
122: M. A. Bauer. Programming by Examples. Artificial Intelligence, 12:1-21, 1979.
123: H. Berliner. The B* Tree Search Algorithm: A Best-First Proof Procedure. Artificial Intelligence, 12:23-40, 1979.
124: K. Sugihara. Range-Data Analysis Guided by a Junction Dictionary. Artificial Intelligence, 12:41-69, 1979.
125: D. R. Barstow. An Experiment in Knowledge-Based Automatic Programming. Artificial Intelligence, 12:73-119, 1979.
126: R. Davis. Interactive Transfer of Expertise: Acquisition of New Inference Rules. Artificial Intelligence, 12:121-157, 1979.
127: C. L. Chang and J. R. Slagle. Using Rewriting Rules for Connection Graphs to Prove Theorems. Artificial Intelligence, 12:159-178, 1979.
128: G. C. Stockman. A Minimax Algorithm Better than Alpha-Beta? Artificial Intelligence, 12:179-196, 1979.
129: F. M. Brown and S.-A. Taernlund. Inductive Reasoning on Recursive Equations. Artificial Intelligence, 12:207-229, 1979.
130: J. Doyle. A Truth Maintenance System. Artificial Intelligence, 12:231-272, 1979.
131: R. C. Schank. Interestingness: Controlling Inferences. Artificial Intelligence, 12:273-297, 1979.
132: T. Winograd. Expended Inference Modes in Reasoning by Computer Systems. Artificial Intelligence, 13:5-26, 1980.
133: J. McCarthy. Circumscription: A Form of Non-Monotonic Reasoning. Artificial Intelligence, 13:27-39, 1980.
134: D. McDermott and J. Doyle. Non-Monotonic Logic I. Artificial Intelligence, 13:41-72, 1980.
135: M. Davis. The Mathematics of Non-Monotonic Reasoning. Artificial Intelligence, 13:73-80, 1980.
136: R. Reiter. A Logic for Default Reasoning. Artificial Intelligence, 13:81-132, 1980.
137: R. W. Weyhrauch. Prolegomena to a Theory of Mechanized Formal Reasoning. Artificial Intelligence, 13:133-170, 1980.
138: J. McCarthy. Addendum: Circumscription and Other Non-Monotonic Formalisms. Artificial Intelligence, 13:171-172, 1980.
139: R. Follett. Synthesising Recursive Functions with Side Effects. Artificial Intelligence, 13:175-200, 1980.
140: B. V. Funt. Problem-Solving with Diagrammatic Representations. Artificial Intelligence, 13:201-230, 1980.
141: F. C. N. Pereira and D. H. D. Warren. Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks. Artificial Intelligence, 13:231-278, 1980.
142: T. Kanade. A Theory of Origami World. Artificial Intelligence, 13:279-311, 1980.
143: G. J. Sussman and G. L. Steele. CONSTRAINTS- A Language for Expressing Almost-Hierarchical Descriptions. Artificial Intelligence, 14:1-39, 1980.
144: R. E. Korf. Toward a Model of Representation Changes. Artificial Intelligence, 14:41-78, 1980.
145: R. J. Popplestone, A. P. Ambler, and I. M. Bellos. An Interpreter for a Language for Describing Assemblies. Artificial Intelligence, 14:79-107, 1980.
146: J. Pearl. Asymptotic Properties of Minimax Trees and Game-Searching Procedures. Artificial Intelligence, 14:113-138, 1980.
147: S. A. Vere. Multilevel Counterfactuals for Generalizations of Relational Concepts and Productions. Artificial Intelligence, 14:139-164, 1980.
148: D. Wilkins. Using Patterns and Plans in Chess. Artificial Intelligence, 14:165-203, 1980.
149: H. J. Berliner. Backgammon Computer Program Beats World Champion. Artificial Intelligence, 14:205-220, 1980.
150: F. M. Brown. An Investigation into the Goals of Research in Automatic Theorem Proving as Related to Mathematical Reasoning. Artificial Intelligence, 14:221-242, 1980.
151: W. Bibel. Syntax-Directed, Semantics-Supported Program Synthesis. Artificial Intelligence, 14:243-261, 1980.
152: R. M. Haralick and G. L. Elliott. Increasing Tree Search Efficiency for Constraint Satisfaction Problems. Artificial Intelligence, 14:263-313, 1980.
153: E. C. Freuder. On the Knowledge Required to Label a Picture Graph. Artificial Intelligence, 15:1-17, 1980.
154: J. L. Weiner. BLAH, A System Which Explains its Reasoning. Artificial Intelligence, 15:19-48, 1980.
155: J. G. Carbonell. Towards a Process Model of Human Personality Traits. Artificial Intelligence, 15:49-74, 1980.
156: A. Adam and J.-P. Laurent. LAURA, A System to Debug Student Programs. Artificial Intelligence, 15:75-122, 1980.
157: J. F. Allen and C. R. Perrault. Analyzing Intention in Utterances. Artificial Intelligence, 15:143-178, 1980.
158: R. Davis. Meta-Rules: Reasoning about Control. Artificial Intelligence, 15:179-222, 1980.
159: R. Davis. Content Reference: Reasoning about Rules. Artificial Intelligence, 15:223-239, 1980.
160: N. Huyn, R. Dechter, and J. Pearl. Probablistic Analysis of the Complexity of A. Artificial Intelligence, 15:241-254, 1980.
161: J. Darlington. An Experimental Program Transformation and Synthesis System. Artificial Intelligence, 16:1-46, 1981.
162: D. A. Plaisted. Theorem Proving with Abstraction. Artificial Intelligence, 16:47-108, 1981.
163: M. Stefik. Planning with Constraints (MOLGEN: Part 1). Artificial Intelligence, 16:111-139, 1981.
164: M. Stefik. Planning and Meta-Planning (MOLGEN: Part 2). Artificial Intelligence, 16:141-169, 1981.
165: D. H. Sleeman and M. J. Smith. Modelling Student's Problem Solving. Artificial Intelligence, 16:171-187, 1981.
166: A. Bundy and B. Welham. Using Meta-level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation. Artificial Intelligence, 16:189-211, 1981.
167: E. P. D. Pednault, S. W. Zucker, and L. V. Muresan. On the Independence Assumption Underlying Subjective Bayesian Updating. Artificial Intelligence, 16:213-222, 1981.
168: E. Charniak. A Common Representation for Problem-Solving and Language-Comprehension Information. Artificial Intelligence, 16:225-255, 1981.
169: T. G. Dietterich and R. S. Michalski. Inductive Learning of Structural Descriptions: Evaluation Criteria and Comparative Review of Selected Methods. Artificial Intelligence, 16:257-294, 1981.
170: J. G. Carbonell. Counterplanning: A Strategy-Based Model of Adversary Planning in Real-World Situations. Artificial Intelligence, 16:295-329, 1981.
171: R. E. Fikes. Odyssey: A Knowledge-Based Assistant. Artificial Intelligence, 16:331-361, 1981.
172: M. Brady. Preface: The Changing Shape of Computer Vision. Artificial Intelligence, 17:1-15, 1981.
173: A. P. Witkin. Recovering Surface Shape and Orientation from Texture. Artificial Intelligence, 17:17-45, 1981.
174: K. A. Stevens. The Visual Interpretation of Surface Contours. Artificial Intelligence, 17:47-73, 1981.
175: H. G. Barrow and J. M. Tenenbaum. Interpreting Line Drawings as Three-Dimensional Surfaces. Artificial Intelligence, 17:75-116, 1981.
176: R. J. Woodham. Analysing Images of Curved Surfaces. Artificial Intelligence, 17:117-140, 1981.
177: K. Ikeuchi and B. K. P. Horn. Numerical Shape from Shading and Occluding Boundaries. Artificial Intelligence, 17:141-184, 1981.
178: B. K. P. Horn and B. G. Schunck. Determining Optical Flow. Artificial Intelligence, 17:185-203, 1981.
179: T. O. Binford. Inferring Surfaces from Images. Artificial Intelligence, 17:205-244, 1981.
180: L. S. Davis and A. Rosenfeld. Cooperating Processes for Low-level Vision: A Survey. Artificial Intelligence, 17:245-263, 1981.
181: H. K. Nishihara. Intensity, Visible-Surface, and Volumetric Representations. Artificial Intelligence, 17:265-284, 1981.
182: R. A. Brooks. Symbolic Reasoning Among 3-D Models and 2-D Images. Artificial Intelligence, 17:285-348, 1981.
183: J. E. W. Mayhew and J. P. Frisby. Psychophysical and Computational Studies Towards a Theory of Human Stereopsis. Artificial Intelligence, 17:349-385, 1981.
184: B. E. Flinchbaugh and B. Chandrasekaran. A Theory of Spatio-Temporal Aggregation for Vision. Artificial Intelligence, 17:387-407, 1981.
185: T. Kanade. Recovery of the Tree-Dimensional Shape of an Object from a Single View. Artificial Intelligence, 17:409-460, 1981.
186: S. W. Draper. The Use of Gradient and Dual Space in Line-Drawing Interpretation. Artificial Intelligence, 17:461-508, 1981.
187: D. E. Wilkins. Using Knowledge to Control Tree Searching. Artificial Intelligence, 18:1-51, 1982.
188: D. S. Nau. The Last Player Theorem. Artificial Intelligence, 18:53-65, 1982.
189: N. V. Murray. Completely Non-Clausal Theorem Proving. Artificial Intelligence, 18:67-85, 1982.
190: A. Newell. The Knowledge Level. Artificial Intelligence, 18:87-127, 1982.
191: M. Stefik, J. Aikins, R. Balzer, J. Benoit, L. Birnbaum, F. Hayens-Roth, and E. Sacerdoti. The Organization of Expert Systems, A Tutorial. Artificial Intelligence, 18:135-173, 1982.
192: M. P. Georgeff. Procedural Control in Production Systems. Artificial Intelligence, 18:175-201, 1982.
193: T. M. Mitchell. Generalization as Search. Artificial Intelligence, 18:203-226, 1982.
194: D. A. Plaisted. A Simplified Problem Reduction Format. Artificial Intelligence, 18:227-261, 1982.
195: W. Bibel. A Comparative Study of Several Proof Procedures. Artificial Intelligence, 18:269-293, 1982.
196: W. A. Woods. Optimal Search Strategies for Speech Understanding Control. Artificial Intelligence, 18:295-326, 1982.
197: M. C. McCord. Using Slots and Modifiers in Logic Grammars for Natural Language. Artificial Intelligence, 18:327-367, 1982.
198: D. Dennett. CORRESPONDENT'S REPORT: Recent Work in Philosophy of Interest to AI. Artificial Intelligence, 19:3-5, 1982.
199: M. Brady. CORRESPONDENT'S REPORT: Computer Vision. Artificial Intelligence, 19:7-16, 1982.
200: C. L. Forgy. Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem. Artificial Intelligence, 19:17-37, 1982.
201: J. McDermott. R1: A Rule-Based Configurer of Computer Systems. Artificial Intelligence, 19:39-88, 1982.
202: R. A. Finkel and J. P. Fishburn. Parallelism in Alpha-Beta Search. Artificial Intelligence, 19:89-106, 1982.
203: J. A. Webb and J. K. Aggarwal. Structure from Motion of Rigid and Jointed Objects. Artificial Intelligence, 19:107-130, 1982.
204: B. J. Grosz. CORRESPONDENT'S REPORT: Natural Language Processing. Artificial Intelligence, 19:131-143, 1982.
205: T. Lozano-Perez. CORRESPONDENT'S REPORT: Robotics. Artificial Intelligence, 19:137-143, 1982.
206: A. J. Palay. The B Tree Search Algorithm - New Results. Artificial Intelligence, 19:145-163, 1982.
207: S. J. Kaplan. Cooperative Responses from a Portable Natural Language Query System. Artificial Intelligence, 19:165-187, 1982.
208: D. B. Lenat. The Nature of Heuristics. Artificial Intelligence, 19:189-249, 1982.
209: Z. W. Pylyshyn. CORRESPONDENT'S REPORT: Literature from Cognitive Psychology. Artificial Intelligence, 19:251-255, 1982.
210: D. S. Nau. An Investigation of the Causes of Pathology in Games. Artificial Intelligence, 19:257-278, 1982.
211: P. S. Rosenbloom. A World-Championship-Level Othello Program. Artificial Intelligence, 19:279-320, 1982.
212: P. H. Winston. Learning New Principles From Precedents and Exercises. Artificial Intelligence, 19:321-350, 1982.
213: J. Pearl. Knowledge versus Search: A Quantitative Analysis Using A. Artificial Intelligence, 20:1-13, 1983.
214: W. G. Lehnert, M. G. Dyer, P. N. Johnson, C. J. Yang, and S. Harley. BORIS: An Experiment in In-Depth Understanding of Narratives. Artificial Intelligence, 20:15-62, 1983.
215: R. Davis and R. G. Smith. Negotiation as a Metaphor for Distributed Problem Solving. Artificial Intelligence, 20:63-109, 1983.
216: R. S. Michalski. A Theory and Methodology of Inductive Learning. Artificial Intelligence, 20:111-161, 1983.
217: J. S. Aikins. Prototypical Knowledge for Expert Systems. Artificial Intelligence, 20:163-210, 1983.
218: W. J. Clancey. The Epistemology of a Rule-Based Expert System: A Framework for Explanation. Artificial Intelligence, 20:215-251, 1983.
219: E. Kant. On the Efficient Synthesis of Efficient Programs. Artificial Intelligence, 20:253-305, 1983.
220: L. M. Norton. Automated Analysis of Instructional Text. Artificial Intelligence, 20:307-343, 1983.
221: M. S. Campbell and T. A. Marsland. A Comparison of Minimax Tree Search Algorithms. Artificial Intelligence, 20:347-367, 1983.
222: L. Rendell. A New Basis for State-Space Learning Systems and a Successful Implementation. Artificial Intelligence, 20:369-392, 1983.
223: M. P. Georgeff. Strategies in Heuristic Search. Artificial Intelligence, 20:393-425, 1983.
224: J. Pearl. On the Nature of Pathology in Game Searching. Artificial Intelligence, 20:427-453, 1983.
225: H. E. Simon. Search and Reasoning in Problem Solving. Artificial Intelligence, 21:7-29, 1983.
226: D. B. Lenat. Theory Formation by Heuristic Search. The Nature of Heuristics II: Background and Examples. Artificial Intelligence, 21:31-59, 1983.
227: D. B. Lenat. EURISCO: A Program That Learns New Heuristics and Domain Concepts. The Nature of Heuristics III: Program Design and Results. Artificial Intelligence, 21:61-218, 1983.
228: R. M. Karp and J. Pearl. Searching for an Optimal Path in a Tree with Random Costs. Artificial Intelligence, 21:99-116, 1983.
229: P. W. Purdom. Search Rearrangement Backtracking and Polynomial Average Time. Artificial Intelligence, 21:117-133, 1983.
230: B. Nudel. Consistent-Labeling Problems and their Algorithms: Expected-Complexities and Theory-Based Heuristics. Artificial Intelligence, 21:135-178, 1983.
231: V. Kumar and L. N. Kanal. A General Branch and Bound Formulation for Understanding and Synthesizing And/Or Tree Search Procedures. Artificial Intelligence, 21:179-198, 1983.
232: I. Roizen and J. Pearl. A Minimax Algorithm Better than Alpha-Beta? Yes and No. Artificial Intelligence, 21:199-220, 1983.
233: D. S. Nau. Pathology on Game Trees Revisited, and a Alternative to Minimaxing. Artificial Intelligence, 21:221-244, 1983.
234: G. Fowler, R. Haralick, F. G. Gray, C. Feustel, and C. Grinstead. Efficient Graph Automorphism by Vertex Partitioning. Artificial Intelligence, 21:245-269, 1983.
235: M. Brady. CORRESPONDENT' REPORT: Parallelism in Vision. Artificial Intelligence, 21:271-283, 1983.
236: W. R. Swartout. XPLAIN: a System for Creating and Explaining Expert Consulting Programs. Artificial Intelligence, 21:285-325, 1983.
237: B. W. Ballard. The *-Minimax Search Procedure for Trees Containing Chance Nodes. Artificial Intelligence, 21:327-350, 1983.
238: M. Lebowitz. Memory-Based Parsing. Artificial Intelligence, 21:363-404, 1983.
239: N. M. Darwish. A Quantitative Analysis of the Alpha-Beta Pruning Algorithm. Artificial Intelligence, 21:405-433, 1983.
240: S. T. Barnard. Interpreting Perspective Images. Artificial Intelligence, 21:435-462, 1983.
241: N. A. B. Gray. Applications of Artificial Intelligence for Organic Chemistry: Analysis of C-13 Spectra. Artificial Intelligence, 22:1-21, 1984.
242: P. Politakis and S. M. Weiss. Using Empirical Analysis to Refine Expert System Knowledge Bases. Artificial Intelligence, 22:23-48, 1984.
243: K. Ikeuchi. Shape from Regular Patterns. Artificial Intelligence, 22:49-75, 1984.
244: J. A. Barnett. How Much is Control Knowledge Worth? A Primitive Example. Artificial Intelligence, 22:77-89, 1984.
245: D. McDermott and E. Davis. Planning Routes through Uncertain Territory. Artificial Intelligence, 22:107-156, 1984.
246: R. Reichman-Adar. Extended Person-Machine Interface. Artificial Intelligence, 22:157-218, 1984.
247: D. C. Dennett. CORRESPONDENT'S REPORT. Artificial Intelligence, 22:231-233, 1984.
248: D. H. Ballard. Parameter Nets. Artificial Intelligence, 22:235-267, 1984.
249: D. E. Wilkins. Domain-Independent Planning: Representation and Plan Generation. Artificial Intelligence, 22:269-301, 1984.
250: L. Wos, S. Winker, B. Smith, R. Veroff, and L. Henschen. A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains. Artificial Intelligence, 22:303-356, 1984.
251: J. R. Anderson. Correspondent's Report: Cognitive Psychology. Artificial Intelligence, 23:1-11, 1984.
252: L. Mero. A Heuristic Search Algorithm with Modifiable Estimate. Artificial Intelligence, 23:13-27, 1984.
253: D. S. Nau, V. Kumar, and L. Kanal. General Branch and Bound, and its Relation to A* and AO*. Artificial Intelligence, 23:29-58, 1984.
254: K. Sugihara. An Algebraic Approach to Shape-from-Image Problems. Artificial Intelligence, 23:59-95, 1984.
255: H. Berliner and M. Campbell. Using Chunking to Solve Chess Pawn Endgames. Artificial Intelligence, 23:97-120, 1984.
256: J. F. Allen. Towards a General Theory of Action and Time. Artificial Intelligence, 23:123-154, 1984.
257: H. J. Levesque. Foundations of a Functional Approach to Knowledge Representarion. Artificial Intelligence, 23:155-212, 1984.
258: K. Kanatani. Detection of Surface Orientation and Motion from Texture by a Stereological Technique. Artificial Intelligence, 23:213-237, 1984.
259: G. D. Ritchie and F. K. Hanna. AM: A Case Study in AI Methodology. Artificial Intelligence, 23:249-268, 1984.
260: D. B. Lenat and J. S. Brown. Why AM and EURISKO Appear to Work. Artificial Intelligence, 23:269-294, 1984.
261: A. Mycroft and R. A. O'Keefe. A Polymorphic Type System for Prolog. Artificial Intelligence, 23:295-307, 1984.
262: E. C. Hildreth. Computations Underlying the Measurement of Visual Motion. Artificial Intelligence, 23:309-354, 1984.
263: D. G. Bobrow. Qualitative Reasoning about Physical Systems: An Introduction. Artificial Intelligence, 24:1-5, 1984.
264: J. de Kleer and J. S. Brown. A Qualitative Physics Based on Confluences. Artificial Intelligence, 24:7-83, 1984.
265: K. D. Forbus. Qualitative Process Theory. Artificial Intelligence, 24:85-168, 1984.
266: B. Kuipers. Commonsense Reasoning about Causality: Deriving Behavior from Structure. Artificial Intelligence, 24:169-203, 1984.
267: J. de Kleer. How Circuits Work. Artificial Intelligence, 24:205-280, 1984.
268: B. C. Williams. Qualitative Analysis of MOS Circuits. Artificial Intelligence, 24:281-346, 1984.
269: R. Davis. Diagnostic Reasoning Based on Structure and Behavior. Artificial Intelligence, 24:347-410, 1984.
270: M. R. Genesereth. The Use of Design Descriptions in Automated Diagnosis. Artificial Intelligence, 24:411-436, 1984.
271: H. G. Barrow. VERIFY: A Program for Proving Correctness of Digital Hardware Designs. Artificial Intelligence, 24:437-491, 1984.
272: B. J. Grosz. CORRESPONDENT'S REPORT: Natural-Language Processing. Artificial Intelligence, 25:1-4, 1985.
273: T. Lozano-Perez. CORRESPONDENT'S REPORT:Compliance in Robot Manipulation. Artificial Intelligence, 25:5-12, 1985.
274: G. Bossu and P. Siegel. Saturation, Nonmonotonic Reasoning and the Closed-World Assumption. Artificial Intelligence, 25:13-63, 1985.
275: A. K. Mackworth and E. C. Freuder. The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems. Artificial Intelligence, 25:65-73, 1985.
276: R. C. Moore. Semantical Considerations on Nonmonotonic Logic. Artificial Intelligence, 25:75-94, 1985.
277: C. Glymour. Independence Assumptions and Bayesian Updating. Artificial Intelligence, 25:95-99, 1985.
278: S. Niizuma and T. Kitahashi. A Problem-Decomposition Method Using Differences or Equivalence Relations between States. Artificial Intelligence, 25:117-151, 1985.
279: R. Alterman. A Dictionary Based on Concept Coherence. Artificial Intelligence, 25:153-186, 1985.
280: T. G. Dietterich and R. S. Michalski. Discovering Patterns in Sequences of Events. Artificial Intelligence, 25:187-232, 1985.
281: E. E. Smith. CORRESPONDENT'S REPORT: Cognitive Psychology. Artificial Intelligence, 25:247-253, 1985.
282: J. Hsiang. Refutational Theorem Proving Using Term-Rewriting Systems. Artificial Intelligence, 25:255-300, 1985.
283: D. Perlis. Languages with Self-Reference I: Foundations. (or: We Can Have Everything in First-Other Logic!). Artificial Intelligence, 25:301-322, 1985.
284: N. Dershowitz. Synthetic Programming. Artificial Intelligence, 25:323-373, 1985.
285: D. G. Bobrow and P. J. Hayes. Artificial Intelligence - Where Are We? Artificial Intelligence, 25:375-415, 1985.
286: D. E. Appelt. Planning English Referring Expressions. Artificial Intelligence, 26:1-33, 1985.
287: R. E. Korf. Macro-Operators: A Weak Method for Learning. Artificial Intelligence, 26:35-77, 1985.
288: M. Brady. Artificial Intelligence and Robotics. Artificial Intelligence, 26:79-121, 1985.
289: C.-H. Lee and A. Rosenfeld. Improved Methods of Estimating Shape from Shading Using the Light Source Coordinate System. Artificial Intelligence, 26:125-143, 1985.
290: S. J. Lee, R. M. Haralick, and M. C. Zhang. Understanding Objects with Curved Surfaces from a Single Perspective View of Boundaries. Artificial Intelligence, 26:145-169, 1985.
291: D. E. Smith and M. R. Genesereth. Ordering Conjunctive Queries. Artificial Intelligence, 26:171-215, 1985.
292: C. Walther. A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution. Artificial Intelligence, 26:217-224, 1985.
293: B. Hayes-Roth. A Blackboard Architecture for Control. Artificial Intelligence, 26:251-321, 1985.
294: J. Gordon and E. H. Shortliffe. A Method for Managing Evidential Reasoning in a Hierarchical Hypothesis Space. Artificial Intelligence, 26:323-357, 1985.
295: K. R. McKeown. Discourse Strategies for Generating Natural-Language Text. Artificial Intelligence, 27:1-41, 1985.
296: D. R. Smith. Top-Down Synthesis of Divide-and-Conquer Algorithms. Artificial Intelligence, 27:43-96, 1985.
297: R. E. Korf. Depth-First Iterative-Deepening: An Optimal Admissible Tree Search. Artificial Intelligence, 27:97-109, 1985.
298: A. Bundy, B. Silver, and D. Plummer. An Analytical Comparison of Some Rule-Learning Programs. Artificial Intelligence, 27:137-181, 1985.
299: Y. Descotte and J.-C. Latombe. Making Compromises among Antagonist Constraints in a Planner. Artificial Intelligence, 27:183-217, 1985.
300: L. Bic. Processing of Semantic Nets on Dataflow Architectures. Artificial Intelligence, 27:219-227, 1985.
301: V. Lifschitz. Closed-World Databases and Circumscription. Artificial Intelligence, 27:229-235, 1985.
302: W. W. Bledsoe, K. Kunen, and R. Shostak. Completeness Results for Inequality Provers. Artificial Intelligence, 27:255-288, 1985.
303: W. J. Clancey. Heuristic Classification. Artificial Intelligence, 27:289-350, 1985.
304: H. Berliner and C. Ebeling. The SUPREM Architecture: A New Intelligent Paradigm. Artificial Intelligence, 28:3-8, 1986.
305: J. Pearl. RESEARCH NOTE: On Evidential Reasoning in a Hierarchy of Hypotheses. Artificial Intelligence, 28:9-15, 1986.
306: V. Lifschitz. RESEARCH NOTE: On the Satisfiability of Circumscription. Artificial Intelligence, 28:17-27, 1986.
307: D. Perlis and J. Minker. Completeness Results for Circumscription. Artificial Intelligence, 28:29-42, 1986.
308: R. E. Stepp and R. S. Michalski. Conceptual Clustering of Structured Objects: A Goal-Oriented Approach. Artificial Intelligence, 28:43-69, 1986.
309: N. J. Nilsson. Probabilistic Logic. Artificial Intelligence, 28:71-87, 1986.
310: J. McCarthy. Applications of Circumscription to Formalizing Common-Sense Knowledge. Artificial Intelligence, 28:89-116, 1986.
311: J. de Kleer. An Assumption-Based TMS. Artificial Intelligence, 28:127-162, 1986.
312: J. de Kleer. Extending the ATMS. Artificial Intelligence, 28:163-224, 1986.
313: R. Mohr and T. C. Henderson. Arc and Path Consistency Revisited. Artificial Intelligence, 28:225-233, 1986.
314: A. R. Haas. A Syntactic Theory of Belief and Action. Artificial Intelligence, 28:245-292, 1986.
315: A. P. Pentland. Perceptual Organization and the Representation of Natural Form. Artificial Intelligence, 28:293-331, 1986.
316: R. R. Kadesch. RESEARCH NOTE: Subjective Inference with Multiple Evidence. Artificial Intelligence, 28:333-341, 1986.
317: Y. Iwasaki and H. A. Simon. Causality in Device Behavior. Artificial Intelligence, 29:3-32, 1986.
318: J. de Kleer and J. S. Brown. Theories of Causal Ordering. Artificial Intelligence, 29:33-61, 1986.
319: Y. Iwasaki and H. A. Simon. Theries of Causal Ordering: Reply to de Kleer and Brown. Artificial Intelligence, 29:63-72, 1986.
320: T. Ibaraki. Generalization of Alpha-Beta and SSS Search Procedures. Artificial Intelligence, 29:73-117, 1986.
321: R. S. Michalski and P. H. Winston. Variable Precision Logic. Artificial Intelligence, 29:121-146, 1986.
322: A. P. Pentland. Shading into Texture. Artificial Intelligence, 29:147-170, 1986.
323: M. Selfridge. A Computer Model of Child Language Learning. Artificial Intelligence, 29:171-216, 1986.
324: R. W. Johnson. RESEARCH NOTE: Intependence and Bayesian Updating Methods. Artificial Intelligence, 29:217-222, 1986.
325: J. Pearl. Fusion, Propagation, and Structuring in Belief Networks. Artificial Intelligence, 29:241-288, 1986.
326: B. Kuipers. Qualitative Simulation. Artificial Intelligence, 29:289-338, 1986.
327: P. P. Chakrabarti, S. Ghose, and S. C. DeSarkar. RESEARCH NOTE: Heuristic Search through Islands. Artificial Intelligence, 29:339-347, 1986.
328: D. S. Weld. The Use of Aggregation in Causal Simulation. Artificial Intelligence, 30:1-34, 1986.
329: M. L. Ginsberg. Counterfactuals. Artificial Intelligence, 30:35-79, 1986.
330: H. J. Levesque. Making Believers out of Computers. Artificial Intelligence, 30:81-108, 1986.
331: F. M. Brown. An Experimental Logic Based on the Fundamental Deduction Principle. Artificial Intelligence, 30:117-263, 1986.
332: M. Gelfond and H. Przymusinska. Negation as Failure: Careful Closure Procedure. Artificial Intelligence, 30:273-287, 1986.
333: M. Herman and T. Kanade. Incremental Reconstruction of 3D Scenes from Multiple, Complex Images. Artificial Intelligence, 30:289-341, 1986.
334: D. E. Smith, M. R. Genesereth, and M. L. Ginsberg. Controlling Recursive Inference. Artificial Intelligence, 30:343-389, 1986.
335: K. VanLehn. Learning One Subprocedure per Lesson. Artificial Intelligence, 31:1-40, 1987.
336: D. W. Etherington. Formalizing Nonmonotonic Reasoning Systems. Artificial Intelligence, 31:41-85, 1987.
337: P. L. Mott. RESEARCH NOTE: A Theorem on the Consistency of Circumscription. Artificial Intelligence, 31:87-98, 1987.
338: R. R. Yager. Using Approximate Reasoning to Represent Default Knowledge. Artificial Intelligence, 31:99-112, 1987.
339: D. Kapur and D. R. Musser. Proof by Consistency. Artificial Intelligence, 31:125-157, 1987.
340: J. H. Connell and M. Brady. Generating and Generalizing Models of Visual Objects. Artificial Intelligence, 31:159-183, 1987.
341: T. A. Marsland, A. Reinefeld, and J. Schaeffer. RESEARCH NOTE: Low Overhead Alternatives to SSS. Artificial Intelligence, 31:185-199, 1987.
342: D. Perlis. RESEARCH NOTE: Circumscribing with Sets. Artificial Intelligence, 31:201-211, 1987.
343: T. L. Dean and D. V. McDermott. Temporal Data Base Management. Artificial Intelligence, 32:1-55, 1987.
344: R. Reiter. A Theory of Diagnosis from First Principles. Artificial Intelligence, 32:57-95, 1987.
345: J. de Kleer and B. C. Williams. Diagnosing Multiple Faults. Artificial Intelligence, 32:97-130, 1987.
346: T. Imielinski. Results on Translating Defaults to Ciircumscription. Artificial Intelligence, 32:131-146, 1987.
347: D. E. Shaw. On the Range of Applicability of an Artificial Intelligence Machine. Artificial Intelligence, 32:151-172, 1987.
348: B. J. Grosz, D. E. Appelt, P. A. Martin, and F. C. N. Pereira. TEAM: An Experiment in the Design of Transportable Natural-Language Interfaces. Artificial Intelligence, 32:173-243, 1987.
349: J. Pearl. Evidential Reasoning Using Stochastic Simulation of Causal Models. Artificial Intelligence, 32:245-257, 1987.
350: S. Cushing. Some Quantifiers Require Two-Predicate Scopes. Artificial Intelligence, 32:259-267, 1987.
351: E. Davis. Constraint Propagation with Interval Labels. Artificial Intelligence, 32:281-331, 1987.
352: D. Chapman. Planning for Conjunctive Goals. Artificial Intelligence, 32:333-377, 1987.
353: J. Y. Halpern and M. O. Rabin. A Logic to Reason about Likelihood. Artificial Intelligence, 32:379-405, 1987.
354: J. E. Laird, A. Newell, and P. S. Rosenbloom. SOAR: An Architecture for General Intelligence. Artificial Intelligence, 33:1-64, 1987.
355: R. E. Korf. Planning as Search: A Quantitative Approach. Artificial Intelligence, 33:65-88, 1987.
356: Y. Shoham. Temporal Logics in AI: Semantical and Ontological Considerations. Artificial Intelligence, 33:89-104, 1987.
357: J. P. Delgrande. A First-Order Conditional Logic for Prototypical Properties. Artificial Intelligence, 33:105-130, 1987.
358: B. A. Huberman and T. Hogg. Phase Transitions in Artificial Intelligence Systems. Artificial Intelligence, 33:155-171, 1987.
359: J. Pearl. Distributed Revision of Composite Beliefs. Artificial Intelligence, 33:173-215, 1987.
360: S. N. Srihari and R. M. Bozinovic. A Multi-Level Perception Approach to Reading Cursive Script. Artificial Intelligence, 33:217-255, 1987.
361: G. Shafer and R. Logan. Implementing Dempster's Rule for Hierarchical Evidence. Artificial Intelligence, 33:271-298, 1987.
362: H.-H. Nagel. On the Estimation of Optical Flow: Relations between Different Approaches and Some New Results. Artificial Intelligence, 33:299-324, 1987.
363: P. S. Jacobs. Knowledge-Intensive Natural Language Generation. Artificial Intelligence, 33:325-378, 1987.
364: S. Hanks and D. McDermott. Nonmonotonic Logic and Temporal Projection. Artificial Intelligence, 33:379-412, 1987.
365: R. Dechter and J. Pearl. Network-Based Heuristics for Constraint-Satisfaction Problems. Artificial Intelligence, 34:1-38, 1988.
366: R. Fagin and J. Y. Halpern. Belief, Awareness, and Limited Reasoning. Artificial Intelligence, 34:39-76, 1988.
367: R. L. Rivest. Game Tree Searching by Min/Max Approximation. Artificial Intelligence, 34:77-96, 1988.
368: P. P. Chakrabarti, S. Ghose, and S. C. DeSarkar. Admissibility of AO*: When Heuristics Overestimate. Artificial Intelligence, 34:97-113, 1988.
369: G. Hirst. Semantic Interpretation and Ambiguity. Artificial Intelligence, 34:131-177, 1988.
370: D. Perlis. Languages with Self-Reference II: Knowledge, Belief, and Modality. Artificial Intelligence, 34:179-212, 1988.
371: M. Leyton. A Proces-Grammar for Shape. Artificial Intelligence, 34:213-247, 1988.
372: E. Charniak. Motivation Analysis, Abductive Unification, and Nonmonotonic Equality. Artificial Intelligence, 34:275-295, 1988.
373: W. K. Yeap. Towards a Computational Theory of Cognitive Maps. Artificial Intelligence, 34:297-360, 1988.
374: J. N. MacGregor. The Effects of Order on Learning Classifications by Example: Heuristics for Finding the Optimal Order. Artificial Intelligence, 34:361-370, 1988.
375: B. Nebel. Computational Complexity of Terminological Reasoning in BACK. Artificial Intelligence, 34:371-383, 1988.
376: D. Cvetkovic and I. Pevac. Man-Machine Theorem Proving in Graph Theory. Artificial Intelligence, 35:1-23, 1988.
377: J. P. Martins and S. C. Shapiro. A Model for Belief Revision. Artificial Intelligence, 35:25-79, 1988.
378: R. Greiner. Learning by Understanding Analogies. Artificial Intelligence, 35:81-125, 1988.
379: C.-H. Lee. A Comparision of Two Evidential Reasoning Schemes. Artificial Intelligence, 35:127-134, 1988.
380: C.-H. Lee. Interpreting Image Curve from Multiframes. Artificial Intelligence, 35:145-163, 1988.
381: M. L. Ginsberg and D. E. Smith. Reasoning about Action I: A Possible Worlds Approach. Artificial Intelligence, 35:165-195, 1988.
382: A. Ginsberg, S. M. Weiss, and P. Politakis. Automatic Knowledge Base Refinement for Classification Systems. Artificial Intelligence, 35:197-226, 1988.
383: R. M. Keller. Defining Operationality for Explanation-Based Learning. Artificial Intelligence, 35:227-241, 1988.
384: D. Dubois and H. Prade. Default Reasoning and Possibility Theory. Artificial Intelligence, 35:243-257, 1988.
385: J. Pearl. Embracing Causality in Default Reasoning. Artificial Intelligence, 35:259-271, 1988.
386: D. A. McAllester. Conspiracy Numbers for Min-Max Search. Artificial Intelligence, 35:287-310, 1988.
387: M. L. Ginsberg and D. E. Smith. Reasoning about Action II: The Qualification Problem. Artificial Intelligence, 35:311-342, 1988.
388: K. Konolige. On the Relation between Default and Autoepistemic Logic. Artificial Intelligence, 35:343-382, 1988.
389: P. H. Morris. The Anomalous Extension Problem in Default Reasoning. Artificial Intelligence, 35:383-399, 1988.
390: W. Bibel. Constraint Satisfaction from a Deductive Viewpoint. Artificial Intelligence, 35:401-413, 1988.
391: K.-F. Lee and S. Mahajan. A Pattern Classification Approach to Evaluation Function Learning. Artificial Intelligence, 36:1-25, 1988.
392: D. Poole. A Logical Framework for Default Reasoning. Artificial Intelligence, 36:27-47, 1988.
393: Y. Shoham and D. McDermott. Problems in Formal Temporal Reasoning. Artificial Intelligence, 36:49-61, 1988.
394: J. P. Delgrande. An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report. Artificial Intelligence, 36:63-90, 1988.
395: D. Terzopoulos, A. Witkin, and M. Kass. Constraints on Deformable Models: Recovering 3D Shape and Nonrigid Motion. Artificial Intelligence, 36:91-123, 1988.
396: C.-C. Han and C.-H. Lee. Comments on Mohr and Henderson's Path Consistency Algorithm. Artificial Intelligence, 36:125-130, 1988.
397: S. W. Smoliar. Zenon W. Pylyshyn (Ed.): The Robot's Dilemma: The Frame Problem in Artificial Intelligence. Artificial Intelligence, 36:131-137, 1988.
398: W. Buntine. Generalized Subsumption and its Applications to Induction and Redundancy. Artificial Intelligence, 36:149-176, 1988.
399: D. Haussler. Quantifying Inductive Bias: AI Learning Algorithms and Valiant's Learning Framework. Artificial Intelligence, 36:177-221, 1988.
400: D. Perlis. Autocircumscription. Artificial Intelligence, 36:223-236, 1988.
401: H.-W. Güsgen and J. Hertzberg. Some Fundamental Properties of Local Constraint Propagation. Artificial Intelligence, 36:237-247, 1988.
402: G. Escalada-Imaz and M. Ghallab. A Practically Efficient and Almost Linear Unification Alghorithm. Artificial Intelligence, 36:249-263, 1988.
403: Y. Shoham. Chronological Ignorance: Experiments in Nonmonotonic Tempeoral Reasing. Artificial Intelligence, 36:279-331, 1988.
404: D. S. Weld. Comparative Analysis. Artificial Intelligence, 36:333-373, 1988.
405: T. Dean and M. Boddy. Reasoning about Partially Ordered Events. Artificial Intelligence, 36:375-399, 1988.
406: F. van Harmelen and A. Bundy. Explanation-Based Generalisation = Partial Evaluation. Artificial Intelligence, 36:401-412, 1988.
407: D. Kapur and J. L. Mundy. Geometric Reasoning and Artificial Intelligence: Introduction to the Special Volume. Artificial Intelligence, 37:1-11, 1988.
408: D. Kapur and J. L. Mundy. Wu's Method and its Application to Perspective Viewing. Artificial Intelligence, 37:15-36, 1988.
409: D. S. Arnon. Geometric Reasoning with Logic and Algebra. Artificial Intelligence, 37:37-60, 1988.
410: D. Kapur. A Refutational Approach to Geometry Theorem Proving. Artificial Intelligence, 37:61-93, 1988.
411: H.-P. Ko. Geometry Theorem Proving by Decomposition of Quasi-Algebraic Sets: An Application of the Ritt-Wu Principle. Artificial Intelligence, 37:95-122, 1988.
412: J. A. Goguen. Modular Algebraic Specification of Some Basic Geometrical Constructions. Artificial Intelligence, 37:123-153, 1988.
413: J. T. Schwartz and M. Sharir. A Survey of Motion Planning and Related Geometric Algorithms. Artificial Intelligence, 37:157-169, 1988.
414: J. S. B. Mitchell. An Algorithmic Approach to Some Problems in Terrain Navigation. Artificial Intelligence, 37:171-201, 1988.
415: J. Canny. Constructing Roadmaps of Semi-Algebraic Sets I: Completeness. Artificial Intelligence, 37:203-221, 1988.
416: B. R. Donald. A Geometric Approach to Error Detection and Recovery for Robot Motion Planning with Uncertainty. Artificial Intelligence, 37:223-271, 1988.
417: E. L. Walker and M. Herman. Geometric Reasoning for Constructing 3D Scene Descriptions from Images. Artificial Intelligence, 37:275-290, 1988.
418: M. Barry, D. Cyrluk, D. Kapur, J. Mundy, and V.-D. Nguyen. A Multi-Level Geometric Reasoning System for Vision. Artificial Intelligence, 37:291-332, 1988.
419: R. Horaud and M. Brady. On the Geometric Interpretation of Image Contours. Artificial Intelligence, 37:333-353, 1988.
420: C. Hoffman and J. Hopcroft. The Geometry of Projective Blending Surfaces. Artificial Intelligence, 37:357-376, 1988.
421: V. J. Milenkovic. Verifiable Implementations of Geometric Algorithms Using Finite Precision Arithmetic. Artificial Intelligence, 37:377-401, 1988.
422: A. Fleming. Geometric Relationships between Toleranced Features. Artificial Intelligence, 37:403-412, 1988.
423: K. Kanatani and T.-C. Chou. Shape from Texture: General Principle. Artificial Intelligence, 38:1-48, 1989.
424: T. C. Przymusinski. An Algorithm to Compute Circumscription. Artificial Intelligence, 38:49-73, 1989.
425: M. Gelfond, H. Przymusinska, and T. Przymusinski. On the Relationship between Circumscription and Negation as Failure. Artificial Intelligence, 38:75-94, 1989.
426: J. B. H. Kwa. BS*: An Admissible Bidirectional Staged Heuristic Search Algorithm. Artificial Intelligence, 38:95-109, 1989.
427: A. Rabinov. A Generalization of Collapsible Cases of Circumscription. Artificial Intelligence, 38:111-117, 1989.
428: F. Gardin and B. Meltzer. Analogical Representations of Naive Physics. Artificial Intelligence, 38:139-159, 1989.
429: H. Berliner and C. Ebeling. Pattern Knowledge and Search: The SUPREM Architecture. Artificial Intelligence, 38:161-198, 1989.
430: G. F. Shvarts. Fixed Points in the Propositional Nonmonotonic Logic. Artificial Intelligence, 38:199-206, 1989.
431: W.-C. Lin, C.-C. Liang, and C.-T. Chen. A Computational Model for Process-Grammar. Artificial Intelligence, 38:207-224, 1989.
432: V. Lifschitz and A. Rabinov. Miracles in Formal Theories of Action. Artificial Intelligence, 38:225-237, 1989.
433: D. Pastre. MUSCADET: An Automatic Theorem Proving System Using Knowledge and Metaknowledge in Mathematics. Artificial Intelligence, 38:257-318, 1989.
434: P. F. Patel-Schneider. A Four-Valued Semantics for Terminological Logics. Artificial Intelligence, 38:319-351, 1989.
435: R. Dechter and J. Pearl. Tree Clustering for Constraint Networks. Artificial Intelligence, 38:353-366, 1989.
436: S. Marcus and J. McDermott. SALT: A Knowledge Acquisition Language for Propose-and-Revise Systems. Artificial Intelligence, 39:1-37, 1989.
437: R. P. Hall. Computational Approaches to Analogical Reasoning: A Comparative Analysis. Artificial Intelligence, 39:39-120, 1989.
438: D. E. Smith. Controlling Backward Inference. Artificial Intelligence, 39:145-208, 1989.
439: M. L. Ginsberg. A Circumscriptive Theorem Prover. Artificial Intelligence, 39:209-230, 1989.
440: G. Priest. Reasoning about Truth. Artificial Intelligence, 39:231-244, 1989.
441: D. Perlis. Truth and Meaning. Artificial Intelligence, 39:245-250, 1989.
442: P. Besnard, Y. Moinard, and R. E. Mercer. The Importance of Open and Recursive Circumscription. Artificial Intelligence, 39:251-262, 1989.
443: P. F. Patel-Schneider. Undecidability of Subsumption in NIKL. Artificial Intelligence, 39:263-272, 1989.
444: L. Shastri. Default Reasoning in Semantic Networks: A Formalization of Recognition and Inheritance. Artificial Intelligence, 39:283-355, 1989.
445: G. Tesauro and T. J. Sejnowski. A Parallel Network that Learns to Play Backgammon. Artificial Intelligence, 39:357-390, 1989.
446: J. de Kleer and K. Konolige. Eliminating the Fixed Predicates from a Circumscription. Artificial Intelligence, 39:391-398, 1989.
447: J. G. Carbonell. Introduction: Paradigms for Machine Learning. Artificial Intelligence, 40:1-9, 1989.
448: J. H. Gennari, P. Langley, and D. Fisher. Models of Incremental Concept Formation. Artificial Intelligence, 40:11-61, 1989.
449: S. Minton, J. G. Carbonell, C. A. Knoblock, D. R. Kuokka, O. Etzioni, and Y. Gil. Explanation-Based Learning: A Problem Solving Perspective. Artificial Intelligence, 40:63-118, 1989.
450: J. Mostow. Design by Derivational Analogy: Issues in the Automated Replay of Design Plans. Artificial Intelligence, 40:119-184, 1989.
451: G. E. Hinton. Connectionist Learning Procedures. Artificial Intelligence, 40:185-234, 1989.
452: L. B. Booker, D. E. Goldberg, and J. H. Holland. Classifier Systems and Genetic Algorithms. Artificial Intelligence, 40:235-282, 1989.
453: P. Langley and J. M. Zytkow. Data-Driven Approaches to Empirical Discovery. Artificial Intelligence, 40:283-312, 1989.
454: J. R. Anderson. A Theory of the Origins of Human Knowledge. Artificial Intelligence, 40:313-351, 1989.
455: R. C. Schank and D. B. Leake. Creativity and Learning in a Case-Based Explainer. Artificial Intelligence, 40:353-385, 1989.
456: B. Falkenhainer, K. D. Forbus, and D. Gentner. The Structure-Mapping Engine: Algorithm and Examples. Artificial Intelligence, 41:1-63, 1989.
457: K. B. Laskey and P. E. Lehner. Assumptions, Beliefs and Probabilities. Artificial Intelligence, 41:65-77, 1989.
458: R. Greiner, B. A. Smith, and R. W. Wilkerson. A Correction to the Algorithm in Reiter's Theory of Diagnosis. Artificial Intelligence, 41:79-88, 1989.
459: M. C. Cooper. An Optimal k-Consistency Algorithm. Artificial Intelligence, 41:89-95, 1989.
460: D. Joslin and J. Roach. A Theoretical Analysis of Conjunctive-Goal Problems. Artificial Intelligence, 41:97-106, 1989.
461: R. Reiter and A. K. Mackworth. A Logical Framework for Depiction and Image Interpretation. Artificial Intelligence, 41:125-155, 1989.
462: K. F. McCoy. Generating Context-Sensitive Responses to Object-Related Misconceptions. Artificial Intelligence, 41:157-195, 1989.
463: P. P. Chakrabarti, S. Ghose, A. Acharya, and S. C. de Sarkar. Heuristic Search in Restricted Memory. Artificial Intelligence, 41:197-221, 1989.
464: X. Nie and D. A. Plaisted. Refinements to Depth-First Iterative-Deepening Search in Automatic Theorem Proving. Artificial Intelligence, 41:223-235, 1989.
465: D. de Schreye, M. Bruynooghe, and K. Verschaetse. On the Existence of Nonterminating Queries for a Restricted Class of PROLOG-Clauses. Artificial Intelligence, 41:237-248, 1989.
466: W.-M. Shen. Functional Transformations in AI Discovery Systems. Artificial Intelligence, 41:257-272, 1990.
467: R. Dechter. Enhancement Schemes for Constraint Processing: Backjumping, Learning, and Cutset Decomposition. Artificial Intelligence, 41:273-312, 1990.
468: E. Sacks. Automatic Qualitative Analysis of Dynamic Systems Using Piecewise Linear Approximations. Artificial Intelligence, 41:314-164, 1990.
469: J. Bell. The Logic of Nonmonotonicity (Research Note). Artificial Intelligence, 41:365-374, 1990.
470: W. J. Clancey and E. Soloway. Artificial Intelligence and Learning Environments: Preface. Artificial Intelligence, 42:1-6, 1990.
471: J. R. Anderson, C. F. Boyle, A. T. Corbett, and M. W. Lewis. Cognitive Modeling and Intelligent Tutoring. Artificial Intelligence, 42:7-49, 1990.
472: W. L. Johnson. Understanding and Debugging Novice Programs. Artificial Intelligence, 42:51-97, 1990.
473: B. Y. White and J. R. Frederiksen. Causal Model Progressions as a Foundation for Intelligent Learning Environments. Artificial Intelligence, 42:99-157, 1990.
474: A. Galton. A Critical Examination of Allen's Theory of Action and Time. Artificial Intelligence, 42:159-188, 1990.
475: R. E. Korf. Real-Time Heuristic Search. Artificial Intelligence, 42:189-211, 1990.
476: P. R. Cohen and H. J. Levesque. Intention is Choice with Commitment. Artificial Intelligence, 42:213-261, 1990.
477: H. J. Levesque. All I Know: A Study in Autoepistemic Logic. Artificial Intelligence, 42:263-309, 1990.
478: J. F. Horty, R. H. Thomason, and D. S. Touretzky. A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. Artificial Intelligence, 42:311-348, 1990.
479: E. Sacks. A Dynamic Systems Perspective on Qualitative Simulation. Artificial Intelligence, 42:349-362, 1990.
480: S. Minton. Quantitative Results Concerning the Utility of Explanation-Based Learning. Artificial Intelligence, 42:363-391, 1990.
481: G. F. Cooper. The Computational Complexity of Probabilistic Inference Using Bayesian Belief Networks. Artificial Intelligence, 42:393-405, 1990.
482: H. J. Berliner and D. F. Beal. Introduction. Artificial Intelligence, 43:1-5, 1990.
483: H. J. Berliner, G. Goetsch, M. S. Campbell, and C. Ebeling. Measuring the Performance Potential of Chess Programs. Artificial Intelligence, 43:7-20, 1990.
484: K.-F. Lee and S. Mahajan. The Development of a World Class Othello Program. Artificial Intelligence, 43:21-36, 1990.
485: H. Horacek. Reasoning with Uncertainty in Computer Chess. Artificial Intelligence, 43:37-56, 1990.
486: I. Althöfer. An Incremental Negamax Algorithm. Artificial Intelligence, 43:57-65, 1990.
487: J. Schaeffer. Conspiracy Numbers. Artificial Intelligence, 43:67-84, 1990.
488: D. F. Beal. A Generalised Quiescence Search Algorithm. Artificial Intelligence, 43:85-98, 1990.
489: T. Anantharaman, M. S. Campbell, and F. Hsu. Singular Extensions: Adding Selectivity to Brute-Force Searching. Artificial Intelligence, 43:99-109, 1990.
490: S. T. Dekker, H. J. van den Herik, and I. S. Herschberg. Perfect Knowledge Revisited. Artificial Intelligence, 43:111-123, 1990.
491: A. Ligeza. Dynamic Backward Reasoning Systems. Artificial Intelligence, 43:127-152, 1990.
492: E. H. Hovy. Pragmatics and Natural Language Generation. Artificial Intelligence, 43:153-197, 1990.
493: S. S. Chen, J. M. Keller, and R. M. Crownover. Shape from Fractal Geometry. Artificial Intelligence, 43:199-218, 1990.
494: C. Elkan. A Rational Reconstruction of Nonmonotonic Truth Maintenance Systems (Research Note). Artificial Intelligence, 43:219-234, 1990.
495: B. Nebel. Terminological Reasoning Is Inherently Intractable (Research Note). Artificial Intelligence, 43:235-249, 1990.
496: R. T. Frankot and R. Chellappa. Estimation of Surface Topography from SAR Imagery Using Shape from Shading Techniques. Artificial Intelligence, 43:271-310, 1990.
497: D. S. Weld. Exaggeration. Artificial Intelligence, 43:311-368, 1990.
498: J. H. Rieger. The Geometry of View Space of Opaque Objects Bounded by Smooth Surfaces. Artificial Intelligence, 44:1-40, 1990.
499: O. D. Faugeras, E. Le Bras-Mehlman, and J. D. Boissonnat. Representing Stereo Data with the Delaunay Triangulation. Artificial Intelligence, 44:41-87, 1990.
500: B. Faltings. Qualitative Kinematics in Mechanisms. Artificial Intelligence, 44:89-119, 1990.
501: W. E. L. Grimson. The Combinatorics of Object Recognition in Cluttered Environments Using Constrained Search. Artificial Intelligence, 44:121-165, 1990.
502: S. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics. Artificial Intelligence, 44:167-207, 1990.
503: H. A. Güvenir and G. W. Ernst. Learning Problem Solving Strategies Using Refinement and Macro Generation. Artificial Intelligence, 44:209-243, 1990.
504: P. Orponen. Dempster's Rule of Combination is #P-Complete. Artificial Intelligence, 44:245-253, 1990.
505: M. P. Wellman. Fundamental Concepts of Qualitative Probabilistic Networks. Artificial Intelligence, 44:257-303, 1990.
506: T. S. Levitt and D. T. Lawton. Qualitative Navigation for Mobile Robots. Artificial Intelligence, 44:305-360, 1990.
507: D. Gentner and K. Forbus. A Note on ``Creativity and Learning in a Case-Based Explainer''. Artificial Intelligence, 44:373-375, 1990.
508: J. W. Shavlik and G. F. DeJong. Learning in Mathematically-Based Domains: Understanding and Generalizing Obstacle Cancellations. Artificial Intelligence, 45:1-45, 1990.
509: S. M. Weiss, R. S. Galen, and P. V. Tadepalli. Maximizing the Predictive Value of Production Rules. Artificial Intelligence, 45:47-71, 1990.
510: R. Bhaskar and A. Nigam. Qualitative Physics Using Dimensional Analysis. Artificial Intelligence, 45:73-111, 1990.
511: L. M. Wills. Automated Program Recognition: A Feasibility Demonstration. Artificial Intelligence, 45:113-171, 1990.
512: K. J. Hammond. Explaining and Repairing Plans that Fail. Artificial Intelligence, 45:173-228, 1990.
513: B. W. Porter, R. Bareiss, and R. C. Holte. Concept Learning and Heuristic Classification in Weak-Theory Domains. Artificial Intelligence, 45:229-263, 1990.
514: S. Kasif. On the Parallel Complexity of Discrete Relaxation in Constraint Satisfaction Networks. Artificial Intelligence, 45:275-286, 1990.
515: B. Selman and H. A. Kautz. Model-Preference Default Theories. Artificial Intelligence, 45:287-322, 1990.
516: A. Blake and C. Marinos. Shape from Texture: Estimation, Isotropy and Moments. Artificial Intelligence, 45:323-380, 1990.
517: J. de Kleer. Using Crude Probability Estimates to Guide Diagnosis. Artificial Intelligence, 45:381-391, 1990.
518: G. E. Hinton. Preface to the Special Issue on Connectionist Symbol Processing. Artificial Intelligence, 46:1-4, 1990.
519: D. S. Touretzky. BoltzCONS: Dynamic Symbol Structures in a Connectionist Network. Artificial Intelligence, 46:5-46, 1990.
520: G. E. Hinton. Mapping Part-Whole Hierarchies into Connectionist Networks. Artificial Intelligence, 46:47-75, 1990.
521: J. B. Pollack. Recursive Distributed Representations. Artificial Intelligence, 46:77-105, 1990.
522: M. Berthick. Mundane Reasoning by Settling on a Plausible Model. Artificial Intelligence, 46:107-157, 1990.
523: P. Smolensky. Tensor Product Variable Binding and the Representation of Symbolic Structures in Connectionist Systems. Artificial Intelligence, 46:159-216, 1990.
524: M. F. St. John and J. L. McClelland. Learning and Applying Contextual Constraints in Sentence Comprehension. Artificial Intelligence, 46:217-257, 1990.
525: P. Thagard, K. J. Holyoak, G. Nelson, and D. Gochfeld. Analog Retrieval by Constraint Satisfaction. Artificial Intelligence, 46:259-310, 1990.
526: J. Y. Halpern. An Analysis of First-Order Logics of Probability. Artificial Intelligence, 46:311-350, 1990.
527: T. Hrycej. Gibbs Sampling in Bayesian Networks. Artificial Intelligence, 46:351-363, 1990.
528: V. Lifschitz. Frames in the Space of Situations. Artificial Intelligence, 46:365-376, 1990.
529: D. Kirsh. Foundations of AI: The Big Issues. Artificial Intelligence, 47:3-30, 1991.
530: N. J. Nilsson. Logic and Artificial Intelligence. Artificial Intelligence, 47:31-56, 1991.
531: L. Birnbaum. Rigor Mortis: A Response to Nilsson's ``Logic and Artificial Intelligence''. Artificial Intelligence, 47:57-77, 1991.
532: C. Hewitt. Open Information Systems Semantics for Distributed Artificial Intelligence. Artificial Intelligence, 47:79-106, 1991.
533: L. Gasser. Social Conceptions of Knowledge and Action: DAI Foundations and Open Systems Semantics. Artificial Intelligence, 47:107-138, 1991.
534: R. A. Brooks. Intelligence without Representation. Artificial Intelligence, 47:139-159, 1991.
535: D. Kirsh. Today the Earwig, Tomorrow Man ? Artificial Intelligence, 47:161-184, 1991.
536: D. B. Lenat and E. A. Feigenbaum. On the Thresholds of Knowledge. Artificial Intelligence, 47:185-250, 1991.
537: B. C. Smith. The Owl and the Electric Encyclopedia. Artificial Intelligence, 47:251-288, 1991.
538: P. S. Rosenbloom, J. E. Laird, A. Newell, and R. McCarl. A Preliminary Analysis of the Soar Architecture as a Basis for General Intelligence. Artificial Intelligence, 47:289-325, 1991.
539: D. A. Norman. Approaches to the Study of Intelligence. Artificial Intelligence, 47:327-346, 1991.
540: M. Schmidt-Schauß and G. Smolka. Attributive Concept Descriptions with Complements. Artificial Intelligence, 48:1-26, 1991.
541: E. P. Sacks. Automatic Analysis of One-Parameter Planar Ordinary Differential Equations by Intelligent Numeric Simulation. Artificial Intelligence, 48:27-56, 1991.
542: D. H. Ballard. Animate Vision. Artificial Intelligence, 48:57-86, 1991.
543: R. L. Greene. Connectionist Hashed Associative Memory (Research Note). Artificial Intelligence, 48:87-98, 1991.
544: R. E. Korf. Multi-Player Alpha-Beta Pruning (Research Note). Artificial Intelligence, 48:99-111, 1991.
545: S. K. Andersen. Judea Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Artificial Intelligence, 48:117-124, 1991.
546: W. L. Johnson. J. Psotka, L. D. Massey, S. A. Mutter, eds.: Intelligent Tutoring Systems: Lessons Learned. Artificial Intelligence, 48:125-134, 1991.
547: U. Montanari and F. Rossi. Constraint Relaxation May Be Perfect. Artificial Intelligence, 48:143-171, 1991.
548: F. Voorbraak. On the Justification of Dempster's Rule of Combination. Artificial Intelligence, 48:171-197, 1991.
549: D. Makinson and K. Schlechta. Floating Conclusions and Zombie Paths: Two Deep Difficulties in the ``Directlly Skeptical'' Approach to Defeasible Inheritance Nets (Research Note). Artificial Intelligence, 48:199-209, 1991.
550: J. Bell. Extended Causal Theories (Research Note). Artificial Intelligence, 48:211-224, 1991.
551: E. Neufeld. Notes on ``A Clash of Intuitions'' (Research Note). Artificial Intelligence, 48:225-240, 1991.
552: D. McLeod and P. L. Yanover. Larry Kerschberg, ed., Expert Database Systems: Proceedings from the Second International Conference. Artificial Intelligence, 48:245-252, 1991.
553: S. W. Smoliar. John Pollack, How to Build a Person: A Prolegomenon. Artificial Intelligence, 48:253-256, 1991.
554: J. Doyle and R. S. Patil. Two Theses of Knowledge Representation: Language Restrictions, Taxonomic Classification, and the Utility of Representation Services. Artificial Intelligence, 48:261-297, 1991.
555: M. A. Peot and R. D. Shachter. Fusion and Propagation with Multiple Observations in Belief Networks. Artificial Intelligence, 48:299-318, 1991.
556: M. G. Dyer. Book Review: A Society of Ideas on Cognition: Review of Marvin Minsky's The Society of Mind. Artificial Intelligence, 48:321-334, 1991.
557: M. Ginsberg. Book Review: Marvin Minsky, The Society of Mind. Artificial Intelligence, 48:335-339, 1991.
558: G. N. Reeke. Book Review: Marvin Minsky, The Society of Mind. Artificial Intelligence, 48:341-348, 1991.
559: S. W. Smoliar. Book Review: Marvin Minsky, The Society of Mind. Artificial Intelligence, 48:349-370, 1991.
560: M. Minsky. Response: Society of Mind: A Response to Four Reviews. Artificial Intelligence, 48:371-396, 1991.
561: R. J. Brachman, H. J. Levesque, and R. Reiter. Introduction to the Special Volume on Knowledge Representation. Artificial Intelligence, 49:1-3, 1991.
562: A. B. Baker. Nonmonotonic Reasoning in the Framework of Situation Calculus. Artificial Intelligence, 49:5-23, 1991.
563: T. Bylander, D. Allemang, M. C. Tanner, and J. R. Josephson. The Computational Complexity of Abduction. Artificial Intelligence, 49:25-60, 1991.
564: R. Dechter, I. Meiri, and J. Pearl. Temporal Constraint Networks. Artificial Intelligence, 49:61-95, 1991.
565: J. Doyle and M. P. Wellman. Impediments to Universal Preference-Based Default Theories. Artificial Intelligence, 49:97-128, 1991.
566: O. Etzioni. Embedding Decision-Analytic Control in a Learning Architecture. Artificial Intelligence, 49:129-159, 1991.
567: A. M. Frisch. The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Artificial Intelligence, 49:161-198, 1991.
568: G. Hirst. Existence Assumptions in Knowledge Representation. Artificial Intelligence, 49:199-242, 1991.
569: H. A. Kautz and B. Selman. Hard Problems for Simple Default Logics. Artificial Intelligence, 49:243-279, 1991.
570: D. Poole. The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning. Artificial Intelligence, 49:281-307, 1991.
571: T. Przymusinski. Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs. Artificial Intelligence, 49:309-343, 1991.
572: M. Rayner. On the Applicability of Nonmonotonic Logic to Formal Reasoning in Continuous Time. Artificial Intelligence, 49:345-360, 1991.
573: S. Russell and E. Wefald. Principles of Metareasoning. Artificial Intelligence, 49:361-395, 1991.
574: Y. Suganuma. Learning Structures of Visual Patterns from Single Instances. Artificial Intelligence, 50:1-36, 1991.
575: F. C. N. Pereira and M. E. Pollack. Incremental Interpretation. Artificial Intelligence, 50:37-82, 1991.
576: H. J. Suermondt and G. F. Cooper. Initialization for the Method of Conditioning in Bayesian Belief Networks. Artificial Intelligence, 50:83-94, 1991.
577: R. Greiner. Finding Optimal Derivation Strategies in Redundant Knowledge Bases. Artificial Intelligence, 50:95-115, 1991.
578: G. F. DeJong and J. Gratch. Steve Minton, Learning Search Control Knowledge: An Explanation-Based Approach. Artificial Intelligence, 50:117-127, 1991.
579: N. Eisinger, H. J. Ohlbach, and A. Präcklein. Reduction Rules for Resolution-Based Systems. Artificial Intelligence, 50:141-181, 1991.
580: G. Brewka. Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules. Artificial Intelligence, 50:183-205, 1991.
581: U. K. Sarkar, P. P. Chakrabarti, S. Ghose, and S. C. De Sarkar. Reducing Reexpansions in Iterative-Deepening Search by Controlling Cutoff Bounds. Artificial Intelligence, 50:207-221, 1991.
582: D. Dubois and H. Prade. Epistemic Entrenchment and Possibilistic Logic. Artificial Intelligence, 50:223-239, 1991.
583: W. J. Clancey. Book Review: Israel Rosenfield, The Invention of Memory: A New View of the Brain. Artificial Intelligence, 50:241-284, 1991.
584: D. McDermott. A General Framework for Reason Maintenance. Artificial Intelligence, 50:289-329, 1991.
585: A. S. Maida. Maintaining Mental Models of Agents Who Have Existential Misconceptions. Artificial Intelligence, 50:331-383, 1991.
586: M. D. Vose. Generalizing the Notion of Schema in Genetic Algorithms (Research Note). Artificial Intelligence, 50:385-396, 1991.
587: W. J. Clancey. Model Construction Operators. Artificial Intelligence, 53:1-115, 1992.
588: G. D. Kleiter. Bayesian Diagnosis in Expert Systems. Artificial Intelligence, 54:1-32, 1992.
589: M. R. Wick and W. B. Thompson. Reconstructive Expert System Explanation. Artificial Intelligence, 54:33-70, 1992.
590: E. Saund. Putting Knowledge into a Visual Shape Representation. Artificial Intelligence, 54:71-119, 1992.
591: J. Van Baalen. Automated Design of Specialized Representations. Artificial Intelligence, 54:121-198, 1992.
592: C. Freksa. Temporal Reasoning Based on Semi-Intervals. Artificial Intelligence, 54:199-227, 1992.
593: H. S. Lee and M. I. Schor. Match Algorithms for Generalized Rete Networks. Artificial Intelligence, 54:249-274, 1992.
594: J. Y. Halpern and R. Fagin. Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. Artificial Intelligence, 54:275-317, 1992.
595: J. Y. Halpern and Y. Moses. A Giude to Completeness and Complexity for Modal Logics of Knowledge and Belief. Artificial Intelligence, 54:319-379, 1992.
596: C. J. Liau and B. I. Lin. Abstract Minimality and Circumscription (Research Note). Artificial Intelligence, 54:381-396, 1992.
597: M. Cadoli, T. Eiter, and G. Gottlob. An Efficient Method for Eliminating Varying Predicates from a Circumscription (Research Note). Artificial Intelligence, 54:397-410, 1992.
598: D. Lehmann and M. Magidor. What Does a Conditional Knowledge Base Entail? Artificial Intelligence, 55:1-60, 1992.
599: O. Dordan. Mathematical Problems Arising in Qualitative Simulation of a Differential Equation. Artificial Intelligence, 55:61-86, 1992.
600: R. Dechter. From Local to Global Consistency. Artificial Intelligence, 55:87-107, 1992.
601: X. Nie and D. A. Plaisted. A Semantic Backward Chaining Proof System. Artificial Intelligence, 55:109-128, 1992.
602: O. Hansson, A. Mayer, and M. Valtora. A New Result on the Complexity of Heuristic Estimates for the A* Algorithm (Research Note). Artificial Intelligence, 55:129-143, 1992.
603: B. C. Williams and J. de Kleer. Qualitative Reasoning about Physical Systems: A Return to Roots. Artificial Intelligence, 51:1-9, 1991.
604: O. Raiman. Order of Magnitude Reasoning. Artificial Intelligence, 51:11-38, 1991.
605: B. C. Williams. A Theory of Interactions: Unifying Qualitative and Quantitative Algebraic Reasoning. Artificial Intelligence, 51:39-94, 1991.
606: B. Falkenhainer and K. D. Forbus. Compositional Modeling: Finding the Right Model for the Job. Artificial Intelligence, 51:95-143, 1991.
607: S. Addanki, R. Cremonini, and J. S. Penberthy. Graphs of Models. Artificial Intelligence, 51:145-177, 1991.
608: K. M.-K. Yip. Understanding Complex Dynamics by Visual and Symbolic Reasoning. Artificial Intelligence, 51:179-221, 1991.
609: W. C. Hamscher. Modeling Digital Circuits for Troubleshooting. Artificial Intelligence, 51:223-271, 1991.
610: D. DeCoste. Dynamic Across-Time Measurement Interpretation. Artificial Intelligence, 51:273-341, 1991.
611: B. J. Kuipers, C. Chiu, D. T. Dalle Molle, and D. R. Throop. Higher-Order Derivative Constraints in Qualitative Simulation. Artificial Intelligence, 51:343-379, 1991.
612: L. Joskowicz and E. P. Sacks. Computational Kinematics. Artificial Intelligence, 51:381-416, 1991.
613: K. D. Forbus, P. Nielsen, and B. Faltings. Qualitative Spatial Reasoning: The CLOCK Project. Artificial Intelligence, 51:417-471, 1991.
614: J.-C. Latombe, A. Lazanas, and S. Shekhar. Robot Motion Planning with Uncertainty in Control and Sensing. Artificial Intelligence, 52:1-47, 1991.
615: K. Currie and A. Tate. O-Plan: The Open Planning Architecture. Artificial Intelligence, 52:49-86, 1991.
616: F. Bacchus, J. Tenenberg, and J. A. Koomen. A Non-Reified Temporal Logic (Research Note). Artificial Intelligence, 52:87-108, 1991.
617: I. Althöfer. Data Compression Using an Intelligent Generator: The Storage of Chess Games as an Example (Research Note). Artificial Intelligence, 52:109-113, 1991.
618: M. Goldszmidt and J. Pearl. On the Consistency of Defeasible Databases. Artificial Intelligence, 52:121-149, 1991.
619: C. Mellish. The Description Identification Problem (Research Note). Artificial Intelligence, 52:151-167, 1991.
620: M. Kubat. Conceptual Inductive Learning: The Case of Unreliable Teachers (Research Note). Artificial Intelligence, 52:169-182, 1991.
621: I. Althöfer and B. Balkenhol. A Game Tree with Distinct Leaf Values which Is Easy for the Alpha-Beta Algorithm (Research Note). Artificial Intelligence, 52:183-190, 1991.
622: M. Freund, D. Lehmann, and P. Morris. Rationality, Transitivity, and Contraposition (Research Note). Artificial Intelligence, 52:191-203, 1991.
623: D. W. Etherginton, S. Kraus, and D. Perlis. Nonmonotonicity and the Scope of Reasoning. Artificial Intelligence, 52:221-261, 1991.
624: H. Katsuno and A. O. Mendelzon. Propositional Knowledge Base Revision and Minimal Change. Artificial Intelligence, 52:263-294, 1991.
625: C. Beierle, U. Hedtstück, U. Pletat, P. H. Schmitt, and J. Siekmann. An Order-Sorted Logic for Knowledge Representation Systems. Artificial Intelligence, 55:149-191, 1992.
626: S. Kambhampati and J. A. Hendler. A Validation-Structure-Based Theory of Plan Modification and Reuse. Artificial Intelligence, 55:193-258, 1992.
627: L. A. Stein. Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies. Artificial Intelligence, 55:259-310, 1992.
628: S. Mahadevan and J. Connell. Automatic Programming of Behavior-Based Robots Using Reinforcement Learning. Artificial Intelligence, 55:311-365, 1992.
629: M. L. Ginsberg and W. D. Harvey. Iterative Broadening. Artificial Intelligence, 55:367-372, 1992.
630: D. A. McAllester and R. Givan. Natural Language Syntax and First-Order Inference. Artificial Intelligence, 56:1-20, 1992.
631: C. Zhang. Cooperation under Uncertainty in Distributed Expert Systems. Artificial Intelligence, 56:21-69, 1992.
632: R. M. Neal. Connectionist Learning of Belief Networks. Artificial Intelligence, 56:71-113, 1992.
633: J. York. Use of the Gibbs Sampler in Expert Systems. Artificial Intelligence, 56:115-130, 1992.
634: B. Faltings. A Symbolic Approach to Qualitative Kinematics. Artificial Intelligence 56, pp. 139-170, 1992.
635: E. W. Coiera. Qualitative Superposition. Artificial Intelligence 56, pp. 171-196, 1992.
636: J. de Kleer, A. K. Mackworth, and R. Reiter. Characterizing Diagnoses and Systems. Artificial Intelligence 56, pp. 197-222, 1992.
637: N. Gupta and D. S. Nau. On the Complexity of Blocks-World Planning. Artificial Intelligence 56, pp. 223-254, 1992.
638: D. S. Weld. Rasoning about Model Accuracy. Artificial Intelligence 56, pp. 255-300, 1992.
639: K. Inoue. Linear Resolution for Consequence Finding. Artificial Intelligence 56, pp. 301-353, 1992.
640: A. Sloman. The Emperor's Real Mind: Review of Roger Penrose's `` The Emperor's New Mind: Concerning Computers, Minds and the Laws of Physics''. Artificial Intelligence 56, pp. 355-396, 1992.
641: J. York. Use of the Gibbs Sampler in Expert Systems. Artificial Intelligence 56, pp. 397-398, 1992.
642: J. L. Pollock. How to Reason Defeasibly. Artificial Intelligence, 57:1-42, 1992.
643: M. E. Pollack. The Uses of Plans. Artificial Intelligence, 57:43-68, 1992.
644: N. Roos. A Logic for Reasoning with Inconsistent Knowledge. Artificial Intelligence, 57:69-103, 1992.
645: P. B. Ladkin and A. Reinefeld. Effective Solution of Qualitative Interval Constraint Problems. Artificial Intelligence, 57:105-124, 1992.
646: P. C. Jackson. Proving Unsatisfiability for Problems with Constant Cubic Sparsity. Artificial Intelligence, 57:125-137, 1992.
647: D. E. Foulser, M. Li, and Q. Yang. Theory and Algorithms for Plan Merging. Artificial Intelligence, 57:143-181, 1992.
648: N. Ward. A Parallel Approach to Syntax for Generation. Artificial Intelligence, 57:183-225, 1992.
649: T. Eiter and G. Gottlob. On the Complexity of Propositional Knowledge base Revision, Updates, and Counterfacuals. Artificial Intelligence, 57:227-270, 1992.
650: F. Lin and Y. Shoham. A Logic of Knowledge and Justified Assumptions. Artificial Intelligence, 57:271-289, 1992.
651: P. Van Hentenryck, Y. Deville, and C.-M. Teng. A Generic Arc-Consistency Algorithm and its Specializations. Artificial Intelligence, 57:291-321, 1992.
652: F. Giunchiglia and T. Walsh. A Theory of Abstraction. Artificial Intelligence, 57:323-389, 1992.
653: E. C. Freuder and A. K. Mackworth. Introduction to the Special Volume on Constraint-Based Reasoning. Artificial Intelligence, 58:1-2, 1992.
654: A. K. Mackworth. The Logic of Constraint Satisfaction. Artificial Intelligence, 58:3-20, 1992.
655: E. C. Freuder and R. J. Wallace. Partial Constraint Satisfaction. Artificial Intelligence, 58:21-70, 1992.
656: A. Hyvönen. Constraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach. Artificial Intelligence, 58:71-112, 1992.
657: P. Van Hentenryck, H. Simonis, and M. Dincbas. Constraint Satisfaction Using Constraint Logic Programming. Artificial Intelligence, 58:113-159, 1992.
658: S. Minton, M. D. Johnston, A. B. Philips, and P. Laird. Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems. Artificial Intelligence, 58:161-205, 1992.
659: P. R. Cooper and M. J. Swain. Arc Consistency: Parallelism amd Domain Dependence. Artificial Intelligence, 58:207-235, 1992.
660: R. Dechter and J. Pearl. Structure Identification in Relational Data. Artificial Intelligence, 58:237-270, 1992.
661: M. Zweben, E. Davis, B. Daun, E. Drascher, M. Deale, and M. Eskey. Learning to Improve Constraint-Based Scheduling. Artificial Intelligence, 58:271-296, 1992.
662: P. van Beek. Reasoning about Qualitative Temporal Information. Artificial Intelligence, 58:297-326, 1992.
663: G. A. Kramer. A Geometric Constraint Engine. Artificial Intelligence, 58:327-360, 1992.
664: Q. Yang. A Theory of Conflict Resolution in Planning. Artificial Intelligence, 58:361-392, 1992.
665: D. G. Bobrow. Dedication. Artificial Intelligence, 59:1-3, 1993.
666: D. G. Bobrow. Artificial Intelligence in Perspective: A Retrospective on Fifty Volumes of the Artificial Intelligence Journal. Artificial Intelligence, 59:5-20, 1993.
667: J. McCarthy. History of Circumscription. Artificial Intelligence, 59:23-26, 1993.
668: R. C. Moore. Autoepistemic Logic Revisited. Artificial Intelligence, 59:27-30, 1993.
669: A. Newell. Reflections on the Knowledge Level. Artificial Intelligence, 59:31-38, 1993.
670: N. J. Nilsson. Probabilistic Logic Revisited. Artificial Intelligence, 59:39-42, 1993.
671: J. Gordon and E. H. Shortliffe. A Method for Managing Evidential Reasoning in a Hierarchical Hypothesis Space: A Retrospective. Artificial Intelligence, 59:43-47, 1993.
672: J. Pearl. Belief Networks Revisited. Artificial Intelligence, 59:49-56, 1993.
673: A. K. Mackworth and E. C. Freuder. The Complexity of Constraint Satisfaction Revisited. Artificial Intelligence, 59:57-62, 1993.
674: J. de Kleer. A Perspective on Assumption-Based Truth Maintainance. Artificial Intelligence, 59:63-67, 1993.
675: H. G. Barrow and J. M. Tenenbaum. Retrospective on ``Interpreting Line Drawings as Three-Dimenonal Surfaces''. Artificial Intelligence, 59:71-80, 1993.
676: B. K. P. Horn and B. G. Schunck. ``Determining Optical Flow'': A Retrospective. Artificial Intelligence, 59:81-87, 1993.
677: K. Ikeuchi. Comment on ``Numrical Shape from Shading and Occluding Boundaries''. Artificial Intelligence, 59:89-94, 1993.
678: T. Kanade. From a Real Chair to a Negative Chair. Artificial Intelligence, 59:95-101, 1993.
679: J. de Kleer. A View on Qualitative Physics. Artificial Intelligence, 59:105-114, 1993.
680: K. D. Forbus. Qualitative Process Theory: Twelve Years After. Artificial Intelligence, 59:115-123, 1993.
681: B. J. Kuipers. Reasoning with Qualitative Models. Artificial Intelligence, 59:125-132, 1993.
682: B. J. Kuipers. Qualitative Simulation: Then and Now. Artificial Intelligence, 59:133-140, 1993.
683: Y. Iwasaki and H. A. Simon. Retrospective on ``Causality in Device Behavior''. Artificial Intelligence, 59:141-146, 1993.
684: R. Davis. Retrospective on ``Diagnostic Reasoning Based on Structure and Behavior''. Artificial Intelligence, 59:149-157, 1993.
685: M. R. Genesereth. From Dart to Designworld: A Chronicle of Research on Automated Engineering in the Stanford Logic Group. Artificial Intelligence, 59:159-165, 1993.
686: P. Szolovits and S. G. Pauker. Categorical and Probabilistic Reasoning in Medicine Revisited. Artificial Intelligence, 59:167-180, 1993.
687: R. Davis, B. G. Buchanan, and E. H. Shortliffe. Retrospective on ``Production Rules as a Representation for a Knowledge-Based Consulation Program''. Artificial Intelligence, 59:181-189, 1993.
688: W. J. Clancey. Notes on ``Heuristic Classification''. Artificial Intelligence, 59:191-196, 1993.
689: W. J. Clancey. Notes on ``Epistemology of a Rule-Based Expert System''. Artificial Intelligence, 59:197-204, 1993.
690: J. S. Aikins. Prototypical Knowledge for Expert Systems: A Retrospective Analysis. Artificial Intelligence, 59:207-211, 1993.
691: B. Hayes-Roth. Intelligent Control. Artificial Intelligence, 59:213-220, 1993.
692: M. Stefik, J. S. Aikins, R. Balzer, J. Benoit, L. Birnbaum, F. Hayes-Roth, and E. D. Sacerdoti. Retrospective on ``The Organization of Expert Systems, a Tutorial''. Artificial Intelligence, 59:221-224, 1993.
693: R. E. Fikes and N. J. Nilsson. STRIPS: A Retrospective. Artificial Intelligence, 59:227-232, 1993.
694: E. A. Feigenbaum and B. G. Buchanan. DENDRAL and Meta-DENDRAL: Roots of Knowledge Systems and Expert System Applications. Artificial Intelligence, 59:233-240, 1993.
695: J. McDermott. R1 (``XCON'') at Age 12: Lessons from an Elementary School Achiever. Artificial Intelligence, 59:241-247, 1993.
696: H. A. Simon. Allen Newell: The Entry into Complex Information Processing. Artificial Intelligence, 59:251-259, 1993.
697: M. J. Stefik and S. W. Smolair. Eight Reviews of Unified Theories of Cognition and a Response. Artificial Intelligence, 59:261-263, 1993.
698: M. A. Arbib. Allen Newell: Unified Theories of Cognition. Artificial Intelligence, 59:265-283, 1993.
699: D. C. Dennett. Allen Newell: Unified Theories of Cognition. Artificial Intelligence, 59:285-294, 1993.
700: M. Fehling. Unified Theories of Cognition: Modeling Cognitive Competence. Artificial Intelligence, 59:295-328, 1993.
701: B. Hayes-Roth. On Building Integrated Cognitive Agents: A Review of Allen Newell's Unified Theories of Cognition. Artificial Intelligence, 59:329-341, 1993.
702: M. Minsky. Allen Newell: Unified Theories of Cognition. Artificial Intelligence, 59:343-354, 1993.
703: J. B. Pollack. On Wings of Knowledge: A Review of Allen Newell's Unified Theories of Cognition. Artificial Intelligence, 59:355-369, 1993.
704: D. Purves. Brain or Mind?: A Review of Allen Newell's Unified Theories of Cognition. Artificial Intelligence, 59:371-373, 1993.
705: R. C. Schank and M. Y. Jona. Issues for Psychology, AI, and Education: A Review of Newell's Unified Theories of Cognition. Artificial Intelligence, 59:375-388, 1993.
706: P. S. Rosenbloom and J. E. Laird. On Unified Theories of Cognition: A Response to the Reviews. Artificial Intelligence, 59:389-413, 1993.
707: P. E. Agre. Interview with Allen Newell. Artificial Intelligence, 59:415-449, 1993.
708: D. Michie. Turing's Test and Conscious Thought. Artificial Intelligence, 60:1-22, 1993.
709: K. Thirunarayan and M. Kifer. A Theory of Nonmonotonic Inheritance Based on Annotated Logic. Artificial Intelligence, 60:23-50, 1993.
710: Y. Shoham. Agent-Oriented Programming. Artificial Intelligence, 60:51-92, 1993.
711: O. Etzioni. A Structural Theory of Explanation-Based Learning. Artificial Intelligence, 60:93-139, 1993.
712: P. Dagum and M. Luby. Approximating Probabilistic Inference in Bayesian Belief Networks is NP-Hard. Artificial Intelligence, 60:141-153, 1993.
713: D. L. Battle and M. D. Vose. Isomorphisms of Genetic Algorithms. Artificial Intelligence, 60:155-165, 1993.
714: C. Powley, C. Ferguson, and R. E. Korf. Depth-First Heuristic Search on a SIMD Machine. Artificial Intelligence, 60:199-242, 1993.
715: A. Mahanti and C. J. Daniels. A SIMD Approach to Parallel Heuristic Search. Artificial Intelligence, 60:243-282, 1993.
716: M. Thielscher. On Prediction in Theorist. Artificial Intelligence, 60:283-292, 1993.
717: M. Jaeger. Circumscription: Completeness Reviewed. Artificial Intelligence, 60:293-301, 1993.
718: C. Witteveen and G. Brewka. Skeptical Reason Maintenance and Belief Revision. Artificial Intelligence, 61:1-36, 1993.
719: M. J. Stefik and S. W. Smoliar. Editorial: The Commonsense Reviews. Artificial Intelligence, 61:37-40, 1993.
720: L. E. Sucar, D. F. Gillies, and D. A. Gillies. Objective Prohabilities in Expert Systems. Artificial Intelligence, 61:187-208, 1993.
721: R. K. Lindsay, B. G. Buchanan, E. A. Feigenbaum, and J. Lederberg. DENDRAL: A Case Study of the First Expert System for Scientific Hypothesis Formation. Artificial Intelligence, 61:209-261, 1993.
722: G. Gottlob and C. G. Fermüller. Removing Redundancy from a Clause. Artificial Intelligence, 61:263-289, 1993.
723: K. Ammon. An Automatic Proof of Gödel's Incompleteness Theorem. Artificial Intelligence, 61:291-306, 1993.
724: A. Bertoni and M. Dorigo. Implicit Parallelism in Genetic Algorithms. Artificial Intelligence, 61:307-314, 1993.
725: B. Tessem. Approximations for Efficient Computation in the Theory of Evidence. Artificial Intelligence, 61:315-329, 1993.
726: B. Drabble. EXCALIBUR: A Program for Planning and Reasoning with Processes. Artificial Intelligence, 62:1-40, 1993.
727: R. E. Korf. Linear-Space Best-First Search. Artificial Intelligence, 62:41-78, 1993.
728: P. Hajek. Epistemic Entrenchment and Arithmetical Hierarchy. Artificial Intelligence, 62:79-87, 1993.
729: S. W. Smoliar and M. J. Stefik. Eight Reviews on Connectionism. Artificial Intelligence, 62:89-91, 1993.
730: A. Bundy, A. Stevens, F. van Harmelen, A. Ireland, and A. Smaill. Rippling: A Heuristic for Guiding Inductive Proofs. Artificial Intelligence, 62:185-253, 1993.
731: O. Etzioni. Acquiring Search-Control Knowledge via Static Analysis. Artificial Intelligence, 62:255-301, 1993.
732: B. Selman and H. J. Levesque. The Complexity of Path-Based Defeasible Inheritance. Artificial Intelligence, 62:303-339, 1993.
733: M. Colombetti. Formal Semantics for Mutual Belief. Artificial Intelligence, 62:341-353, 1993.
734: M. S. Palmer, R. J. Passonneau, C. Weir, and T. Finin. The KERNEL Text Understanding System. Artificial Intelligence, 63:17-68, 1993.
735: J. R. Hobbs, M. E. Stickel, D. E. Appelt, and P. Martin. Interpretation as Abduction. Artificial Intelligence, 63:69-142, 1993.
736: P. S. Jacobs and L. F. Rau. Innovations in Text Interpretation. Artificial Intelligence, 63:143-191, 1993.
737: J. Pustejovsky and B. Boguraev. Lexical Knowledge Representation and Natural Language Processing. Artificial Intelligence, 63:193-223, 1993.
738: E. P. Stabler Jr. Parsing as Non-Horn Deduction. Artificial Intelligence, 63:225-264, 1993.
739: R. S. Crouch and S. G. Pulman. Time and Modality in a Natural Language Interface to a Planning System. Artificial Intelligence, 63:265-304, 1993.
740: J. Hirschberg. Pitch Accent in Context: Predicting Intonational Prominence from Text. Artificial Intelligence, 63:305-340, 1993.
741: E. H. Hovy. Automated Discourse Generation Using Discourse Structure Relations. Artificial Intelligence, 63:341-385, 1993.
742: W. Wahlster, E. Andre, W. Finkler, H.-J. Profitlich, and T. Rist. Plan-Based Integration of Natural Language and Graphics Generation. Artificial Intelligence, 63:387-427, 1993.
743: B. J. Dorr. Interlingual Machine Translation: A Parameterized Approach. Artificial Intelligence, 63:429-492, 1993.
744: S. Mahadevan, T. M. Mitchell, J. Mostow, L. Steinberg, and P. V. Tadepalli. An Apprentice-Based Approach to Knowledge Acquisition. Artificial Intelligence, 64:1-52, 1993.
745: E. Charniak and R. P. Goldman. A Bayesian Model of Plan Recognition. Artificial Intelligence, 64:53-79, 1993.
746: D. Poole. Probabilistic Horn Abduction and Bayesian Networks. Artificial Intelligence, 64:81-129, 1993.
747: P. L. Hammer and A. Kogan. Optimal Compression of Propositional Horn Knowledge Bases: Complexity and Approximation. Artificial Intelligence, 64:131-145, 1993.
748: L. M. Kirousis. Fast Parallel Constraint Satisfaction. Artificial Intelligence, 64:147-160, 1993.
749: R. Stalnaker. A Note on Non-Monotonic Modal Logic. Artificial Intelligence, 64:183-196, 1993.
750: J. B. Paris and A. Vencovska. A Model of Belief. Artificial Intelligence, 64:197-241, 1993.
751: J. Garding. Shape from Texture and Contour by Weak Isotropy. Artificial Intelligence, 64:243-297, 1993.
752: Y. Moses and Y. Shoham. Belief as Defeasible Knowledge. Artificial Intelligence, 64:299-321, 1993.
753: D. Mutchler. The Multi-Player Version of Minimax Displays Game-Tree Pathology. Artificial Intelligence, 64:323-336, 1993.
754: R. Reiter. Proving Properties of States in the Situation Calculus. Artificial Intelligence, 64:337-351, 1993.
755: E. Santos. A Linear Constraint Satisfaction Approach to Cost-Based Abduction. Artificial Intelligence, 65:1-27, 1994.
756: F. Giunchiglia and L. Serafini. Multilanguage Hierarchical Logics, or: How We Can Do Without Modal Logics. Artificial Intelligence, 65:29-70, 1994.
757: G. F. DeJong. Learning to Plan in Continuous Domains. Artificial Intelligence, 65:71-141, 1994.
758: J. Aisbett and G. Gibbon. A Tunable Distance Measure for Coloured Solid Models. Artificial Intelligence, 65:143-164, 1994.
759: J. F. Dillenburg and P. C. Nelson. Perimeter Search. Artificial Intelligence, 65:165-178, 1994.
760: C. Bessiere. Arc-Consistency and Arc-Consistency Again. Artificial Intelligence, 65:179-190, 1994.
761: P. Gärdenfors and D. Makinson. Nonmonotonic Inference Based on Expectations. Artificial Intelligence, 65:197-245, 1994.
762: R. E. Valdes-Perez. Conjecturing Hidden Entities by Means of Simplicity and Conservation Laws: Machine Discovery in Chemistry. Artificial Intelligence, 65:247-280, 1994.
763: A. Hou. A Theory of Measurement in Diagnosis from First Principles. Artificial Intelligence, 65:281-328, 1994.
764: P. P. Chakrabarti. Algorithms for Searching Explicit AND/OR Graphs and Their Applications to Problem Reduction Search. Artificial Intelligence, 65:329-345, 1994.
765: M. C. Cooper, D. A. Cohen, and P. G. Jeavons. Characterising Tractable Constraints. Artificial Intelligence, 65:347-361, 1994.
766: B. Faltings. Arc-Consistency for Continuous Variables. Artificial Intelligence, 65:363-376, 1994.
767: S. Hanks and D. McDermott. Modeling a Dynamic and Uncertain World I: Symbolic and Probabilistic Reasoning about Change. Artificial Intelligence, 66:1-55, 1994.
768: M. Gyssens, P. G. Jeavons, and D. A. Cohen. Decomposing Constraint Satisfaction Problems Using Database Techniques. Artificial Intelligence, 66:57-89, 1994.
769: L. V. Allis, M. van der Meulen, and H. J. van den Herik. Proof-Number Search. Artificial Intelligence, 66:91-124, 1994.
770: B. Nebel and C. Bäckström. On the Computational Complexity of Temporal Projection, Planning, and Plan Validation. Artificial Intelligence, 66:125-160, 1994.
771: L. Giordano and A. Martelli. On Cumulative Default Logics. Artificial Intelligence, 66:161-179, 1994.
772: P. Smets and R. Kennes. The Transferable Belief Model. Artificial Intelligence, 66:191-234, 1994.
773: H.-J. Bürckert. A Resolution Principle for Constrained Logics. Artificial Intelligence, 66:235-271, 1994.
774: D. Ourston and R. J. Mooney. Theory Refinement Combining Analytical and Empirical Methods. Artificial Intelligence, 66:273-309, 1994.
775: I. J. Cox and J. J. Leonard. Modeling a Dynamic Environment Using a Bayesian Multiple Hypothesis Approach. Artificial Intelligence, 66:311-344, 1994.
776: E. Charniak and S. E. Shimony. Cost-Based Abduction and MAP Explanation. Artificial Intelligence, 66:345-374, 1994.
777: L. Farinas del Cerro, A. Herzig, and J. Lang. From Ordering-Based Nonmonotonic Reasoning to Conditional Logics. Artificial Intelligence, 66:375-393, 1994.
778: R. L. Greene. Efficient Retrieval from Sparse Associative Memory. Artificial Intelligence, 66:395-410, 1994.
779: F. Ulupinar and R. Nevatia. Recovery of 3-D Objects with Multiple Curved Surfaces from 2-D Contours. Artificial Intelligence, 67:1-28, 1994.
780: S. Kambhampati and S. Kedar. A Unified Framework for Explanation-Based Generalization of Partially Ordered and Partially Instantiated Plans. Artificial Intelligence, 67:29-70, 1994.
781: A. Barrett and D. S. Weld. Partial-Order Planning: Evaluating Possible Efficiency Gains. Artificial Intelligence, 67:71-112, 1994.
782: G. Schwarz and M. Truszczynski. Minimal Knowledge Problem: A New Approach. Artificial Intelligence, 67:113-141, 1994.
783: Y. Iwasaki and H. A. Simon. Causality and Model Abstraction. Artificial Intelligence, 67:143-194, 1994.
784: D. A. Klein and E. H. Shortliffe. A Framework for Explaining Decision-Theoretic Advice. Artificial Intelligence, 67:201-243, 1994.
785: M. Boddy and T. L. Dean. Deliberation Scheduling for Problem Solving in Time-Constrained Environments. Artificial Intelligence, 67:245-285, 1994.
786: B. Blumenthal and B. W. Porter. Analysis and Empirical Studies of Derivational Analogy. Artificial Intelligence, 67:287-327, 1994.
787: K. L. Myers. Hybrid Reasoning Using Universal Attachment. Artificial Intelligence, 67:329-375, 1994.
788: J. L. Pollock. Justification and Defeat. Artificial Intelligence, 67:377-407, 1994.
789: E. Cohen. Computational Theory for Interpreting Handwritten Text in Constrained Domains. Artificial Intelligence, 68:1-31, 1994.
790: C. Boutilier. Unifying Default Reasoning and Belief Revision in a Modal Framework. Artificial Intelligence, 68:33-85, 1994.
791: C. Boutilier. Conditional Logics of Normality: A Modal Approach. Artificial Intelligence, 68:87-154, 1994.
792: M. Tambe and P. S. Rosenbloom. Investigating Production System Representations for Non-Combinatorial Match. Artificial Intelligence, 68:155-199, 1994.
793: R. Dechter and I. Meiri. Experimental Evaluation of Preprocessing Algorithms for Constraint Satisfaction Problems. Artificial Intelligence, 68:211-241, 1994.
794: C. A. Knoblock. Automatically Generating Abstractions for Planning. Artificial Intelligence, 68:243-302, 1994.
795: W. W. Cohen. Grammatically Biased Learning: Learning Logic Programs Using an Explicit Antecedent Description Language. Artificial Intelligence, 68:303-366, 1994.
796: J. Heinsohn, D. Kudenko, B. Nebel, and H.-J. Profitlich. An Empirical Analysis of Terminological Representation Systems. Artificial Intelligence, 68:367-397, 1994.
797: S. E. Shimony. Finding MAPs for Belief Networks is NP-Hard. Artificial Intelligence, 68:399-410, 1994.
798: A. Segre and C. Elkan. A High-Performance Explanation-Based Learning Algorithm. Artificial Intelligence, 69:1-50, 1994.
799: F. Zhao. Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Space. Artificial Intelligence, 69:51-92, 1994.
800: A. M. Frisch and P. Haddawy. Anytime Deduction for Probabilistic Logic. Artificial Intelligence, 69:93-122, 1994.
801: G. Satta and O. Stock. Bidirectional Context-Free Grammar Parsing for Natural Language Processing. Artificial Intelligence, 69:123-164, 1994.
802: T. Bylander. The Computational Complexity of Propositional STRIPS Planning. Artificial Intelligence, 69:165-204, 1994.
803: S.-J. Lee and D. A. Plaisted. Problem Solving by Searching for Models with a Theorem Prover. Artificial Intelligence, 69:205-233, 1994.
804: S. Kambhampati. Multi-Contributor Causal Structures for Planning: A Formalization and Evaluation. Artificial Intelligence, 69:235-278, 1994.
805: H. Almuallim and T. G. Dietterich. Learning Boolean Concepts in the Presence of Many Irrelevant Features. Artificial Intelligence, 69:279-305, 1994.
806: S. Kasif and A. L. Delcher. Local Consistency in Parallel Constraint Satisfaction Networks. Artificial Intelligence, 69:307-327, 1994.
807: G. Gottlob and Z. Mingyi. Cumulative Default Logic: Finite Characterization, Algorithms, and Complexity. Artificial Intelligence, 69:329-345, 1994.
808: C. H. Papadimitriou and M. Sideri. Default Theories that always have Extensions. Artificial Intelligence, 69:347-357, 1994.
809: T. Hogg and C. P. Williams. The Hardest Constraint Problems: A Double Phase Transition. Artificial Intelligence, 69:359-377, 1994.
810: G. N. Kartha. Two Counterexamples Related to Baker's Approach to the Frame Problem. Artificial Intelligence, 69:379-391, 1994.
811: G. Sablon, L. De Raedt, and M. Bruynooghe. Iterative Versionspaces. Artificial Intelligence, 69:393-409, 1994.
812: D. C. Wilkins and Y. Ma. The Refinement of Probabilistic Rule Sets: Sociopathic Interactions. Artificial Intelligence, 70:1-32, 1994.
813: G. Gerla. Inferences in Probability Logic. Artificial Intelligence, 70:33-52, 1994.
814: V. Lifschitz. Minimal Belief and Negation as Failure. Artificial Intelligence, 70:53-72, 1994.
815: C. P. Williams and T. Hogg. Exploiting the Deep Structure of Constraint Problems. Artificial Intelligence, 70:73-117, 1994.
816: G. G. Towell and J. W. Shavlik. Knowledge-Based Artificial Neural Networks. Artificial Intelligence, 70:119-165, 1994.
817: J. P. Delgrande, T. Schaub, and W. K. Jackson. Alternative Approaches to Default Logic. Artificial Intelligence, 70:167-237, 1994.
818: P. Parodi and V. Torre. On the Complexity of Labeling Perspective Projections of Polyhedral Scenes. Artificial Intelligence, 70:239-276, 1994.
819: P. P. Nayak. Causal Approximations. Artificial Intelligence, 70:277-334, 1994.
820: I. P. Gent and T. Walsh. Easy Problems are Sometimes Hard. Artificial Intelligence, 70:335-345, 1994.
821: A. Gerevini and L. Schubert. On Point-Based Temporal Disjointness. Artificial Intelligence, 70:347-361, 1994.
822: L. Lismont and P. Mongin. A Non-Minimal But Very Weak Axiomatization of Common Belief. Artificial Intelligence, 70:363-374, 1994.
823: L. De Raedt and S. Dzeroski. First-Order jk-Clausal Theories are PAC-Learnable. Artificial Intelligence, 70:375-392, 1994.
824: L. A. Stein and L. Morgenstern. Motivated Action Theory: A Formal Theory of Causal Reasoning. Artificial Intelligence, 71:1-42, 1994.
825: F. Bacchus and Q. Yang. Downward Refinement and the Efficiency of Hierarchical Problem Solving. Artificial Intelligence, 71:43-100, 1994.
826: C. Walther. On Proving the Termination of Algorithms by machine. Artificial Intelligence, 71:101-157, 1994.
827: R. J. Bayardo and D. P. Miranker. An Optimal Backtrack Algorithm for Tree-Structured Constraint Satisfaction Problems. Artificial Intelligence, 71:159-181, 1994.
828: G. Simonet and R. Ducournau. On Stein's Paper: Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies. Artificial Intelligence, 71:183-193, 1994.
829: P. Dasgupta, P. P. Chakrabarti, and S. C. DeSarkar. Agent Searching in a Tree and the Optimality of Iterative Deepening. Artificial Intelligence, 71:195-208, 1994.
830: G. Lakemeyer. Limited Reasoning in First-Order Knowledge Bases. Artificial Intelligence, 71:213-255, 1994.
831: Y. Roth and R. Jain. Knowledge Caching for Sensor-Based Systems. Artificial Intelligence, 71:257-280, 1994.
832: L. Li. Possible World Semantics and Autoepistemic Reasoning. Artificial Intelligence, 71:281-320, 1994.
833: M. Dorigo and M. Colombetti. Robot Shaping: Developing Autonomous Agents Through Learning. Artificial Intelligence, 71:321-370, 1994.
834: R. H. Wilson and J.-C. Latombe. Geometric Reasoning about Mechanical Assembly. Artificial Intelligence, 71:371-396, 1994.
835: A. Reinefeld and P. Ridinger. Time-Efficient State Space Search. Artificial Intelligence, 71:397-408, 1994.
836: P. E. Agre. Computational Research on Interaction and Agency. Artificial Intelligence, 72:1-52, 1995.
837: M. A. Arbib and J.-S. Liaw. Sensorimotor Transformations in the Worlds of Frogs and Robots. Artificial Intelligence, 72:53-79, 1995.
838: A. G. Barto, S. J. Bradtke, and S. P. Singh. Learning to Act Using Real-Time Dynamic Programming. Artificial Intelligence, 72:81-138, 1995.
839: K. Basye, T. Dean, and L. Pack Kaelbling. Learning Dynamics: System Identification for Perceptually Challenged Agents. Artificial Intelligence, 72:139-171, 1995.
840: R. D. Beer. A Dynamical Systems Perspective on Agent-Environment Interaction. Artificial Intelligence, 72:173-215, 1995.
841: B. R. Donald. On Information Invariants in Robotics. Artificial Intelligence, 72:217-304, 1995.
842: K. J. Hammond, T. M. Converse, and J. W. Grass. The Stabilization of Environments. Artificial Intelligence, 72:305-327, 1995.
843: B. Hayes-Roth. An Architecture for Adaptive Intelligent Systems. Artificial Intelligence, 72:329-365, 1995.
844: I. Horswill. Analysis of Adaption and Environment. Artificial Intelligence, 73:1-30, 1995.
845: D. Kirsh. The Intelligent Use of Space. Artificial Intelligence, 73:31-68, 1995.
846: Y. Lesperance and H. J. Levesque. Indexical Knowledge and Robot Action: A Logical Account. Artificial Intelligence, 73:69-115, 1995.
847: D. M. Lyons and A. J. Hendriks. Exploiting Patterns of Interaction to Achieve Reactive Behavior. Artificial Intelligence, 73:117-148, 1995.
848: S. J. Rosenschein and L. Pack Kaelbling. A Situated View of Representation and Control. Artificial Intelligence, 73:149-173, 1995.
849: M. Schoppers. The Use of Dynamics in an Intelligent Controller for a Space Faring Rescue Robot. Artificial Intelligence, 73:175-230, 1995.
850: Y. Shoham and M. Tennenholtz. On Social Laws for Artificial Agent Societies: Off-Line Design. Artificial Intelligence, 73:231-252, 1995.
851: B. Webber, N. Badler, B. di Eugenio, C. Geib, L. Levison, and M. Moore. Instructions, Intentions and Expectations. Artificial Intelligence, 73:253-269, 1995.
852: S. D. Whitehead and L.-J. Lin. Reinforcement Learning of Non-Markov Decision Processes. Artificial Intelligence, 73:271-306, 1995.
853: A. Gelsey. Automated Reasoning about Machines. Artificial Intelligence, 74:1-53, 1995.
854: R. Olsson. Inductive Functional Programming Using Incremental Program Transformation. Artificial Intelligence, 74:55-81, 1995.
855: D. J. Musliner, E. H. Durfee, and K. G. Shin. World Modeling for the Dynamic Construction of Real-Time Control Plans. Artificial Intelligence, 74:83-127, 1995.
856: H. Kautz, M. Kearns, and B. Selman. Horn Approximations of Empirical Data. Artificial Intelligence, 74:129-145, 1995.
857: M. Shanahan. Default Reasoning about Spatial Occupancy. Artificial Intelligence, 74:147-163, 1995.
858: A. Prieditis and R. Davis. Quantitatively Relating Abstractness to the Accuracy of Admissible Heuristics. Artificial Intelligence, 74:165-175, 1995.
859: H. Xu. Computing Marginals for Arbitrary Subsets from Marginal Representation in Markov Trees. Artificial Intelligence, 74:177-189, 1995.
860: R. E. Valdes-Perez. Machine Discovery in Chemistry: New Results. Artificial Intelligence, 74:191-201, 1995.
861: A. Gerevini and L. Schubert. Efficient Algorithms for Qualitative Reasoning about Time. Artificial Intelligence, 74:207-248, 1995.
862: M. Schaerf and M. Cadoli. Tractable Reasoning via Approximation. Artificial Intelligence, 74:249-310, 1995.
863: A. J. Grove. Naming and Identity in Epistemic Logic Part II: A First-Order Logic for Naming. Artificial Intelligence, 74:311-350, 1995.
864: V. Lifschitz. Nested Abnormality Theories. Artificial Intelligence, 74:351-365, 1995.
865: V. Brusoni, L. Console, and P. Terenziani. On the Computational Complextity of Querying Bounds on Differences Constraints. Artificial Intelligence, 74:367-379, 1995.
866: J. Y. Halpern and G. Lakemeyer. Levesque's Axiomatization of only Knowing is Incomplete. Artificial Intelligence, 74:381-387, 1995.
867: D. Bojadziev. Sloman's View of Gödel's Sentence. Artificial Intelligence, 74:389-393, 1995.
868: T. Nishida and S. Doshita. Qualitative Analysis of Behavior of Systems of Piecewise Linear Differential Equations with Two State Variables. Artificial Intelligence, 75:3-29, 1995.
869: S. Sato. MBT2: A Method for Combining Fragments of Examples in Example-Based Translation. Artificial Intelligence, 75:31-49, 1995.
870: M. Ishikawa. Learning of Modular Structured Networks. Artificial Intelligence, 75:51-62, 1995.
871: K.-I. Yoshida and H. Motoda. CLIP: Concept Learning from Inference Patterns. Artificial Intelligence, 75:63-92, 1995.
872: T. Matsuyama and T. Nitta. Geometric Theorem Proving by Integrated Logical and Algebraic Reasoning. Artificial Intelligence, 75:93-113, 1995.
873: S. Goto and H. Nojima. Equilibrium Analysis of the Distribution of Information in Human Society. Artificial Intelligence, 75:115-130, 1995.
874: J. K. Tsotsos. Behaviorist Intelligence and the Scaling Problem. Artificial Intelligence, 75:135-160, 1995.
875: T.-C. Wang. A Typed Resolution Principle for Deduction with Conditional Typing Theory. Artificial Intelligence, 75:161-194, 1995.
876: N. R. Jennings. Controlling Cooperative Problem Solving in Industrial Multi-Agent Systems Using Joint Intentions. Artificial Intelligence, 75:195-240, 1995.
877: R. Sun. Robust Reasoning: Integrating Rule-Based and Similarity-Based Reasoning. Artificial Intelligence, 75:241-295, 1995.
878: S. Kraus, J. Wilkenfeld, and G. Zlotkin. Multiagent Negotiation under Time Constraints. Artificial Intelligence, 75:297-345, 1995.
879: G. Manzini. BIDA: An Improved Perimeter search Algorithm. Artificial Intelligence, 75:347-360, 1995.
880: J. Y. Halpern. The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic. Artificial Intelligence, 75:361-372, 1995.

Gerd Herzog
Last update: Sat Nov 23 16:18:00 MET 1996

Send comments to herzog@acm.org

Persistent Bibliographic Information Record s0004-3702 Artificial Intelligence

Description:

Contents:

Persistent Bibliographic Information Record
s0004-3702

Artificial Intelligence