Artificial Intelligence, Volume 13

Volume 13, Numbers 1-2, April 1980

• Terry Winograd: Extended Inference Modes in Reasoning by Computer Systems. 5-26 BibTeX
• John McCarthy: Circumscription - A Form of Non-Monotonic Reasoning. 27-39 BibTeX
• Drew V. McDermott, Jon Doyle: Non-Monotonic Logic I. 41-72 BibTeX

• Martin Davis: The Mathematics of Non-Monotonic Reasoning. 73-80 BibTeX
• Raymond Reiter: A Logic for Default Reasoning. 81-132 BibTeX
• Richard W. Weyhrauch: Prolegomena to a Theory of Mechanized Formal Reasoning. 133-170 BibTeX
• John McCarthy: Addendum: Circumscription and other Non-Monotonic Formalisms. 171-172 BibTeX

Volume 13, Number 3, May 1980

• Ria Follett: Synthesising Recursive Functions with Side Effects. 175-200 BibTeX
• Brian V. Funt: Problem-Solving with Diagrammatic Representations. 201-230 BibTeX
• Fernando C. N. Pereira, David H. D. Warren: Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks. 231-278 BibTeX
• Takeo Kanade: A Theory of Origami World. 279-311 BibTeX

• Margaret King: P. N. Johnson-Laird and P. C. Wason, Thinking: Readings in Cognitive Science. 313-322 BibTeX