Artificial Intelligence, Volume 30

Volume 30, Number 1, October 1986

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

Volume 30, Number 2, November 1986

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

Volume 30, Number 3, December 1986

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