Artificial Intelligence, Volume 30

Volume 30, Number 1, October 1986

• Daniel S. Weld: The Use of Aggregation in Causal Simulation. 1-34
• Matthew L. Ginsberg: Counterfactuals. 35-79
• Hector J. Levesque: Making Believers out of Computers. 81-108

Volume 30, Number 2, November 1986

• Frank M. Brown: An Experimental Logic Based on the Fundamental Deduction Principle. 117-263

Volume 30, Number 3, December 1986

• Michael Gelfond, Halina Przymusinska: Negation as Failure: Careful Closure Procedure. 273-287
• Martin Herman, Takeo Kanade: Incremental Reconstruction of 3D Scenes from Multiple, Complex Images. 289-341
• David E. Smith, Michael R. Genesereth, Matthew L. Ginsberg: Controlling Recursive Inference. 343-389