Artificial Intelligence, Volume 13

Volume 13, Numbers 1-2, April 1980

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

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

Volume 13, Number 3, May 1980

• Ria Follett:
  Synthesising Recursive Functions with Side Effects. 175-200
  
• Brian V. Funt:
  Problem-Solving with Diagrammatic Representations. 201-230
  
• 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
  
• Takeo Kanade:
  A Theory of Origami World. 279-311
  

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

Last update Sat May 25 19:33:24 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page