Artificial Intelligence Review, Volume 15

Volume 15, Number 1/2, March 2001

• Alan F. Blackwell: Introduction: Thinking with Diagrams. 1-3
• Atsushi Shimojima: The Graphic-Linguistic Distinction Exploring Alternatives. 5-27
• Keith Stenning, Oliver Lemon: Aligning Logical and Psychological Perspectives on Diagrammatic Reasoning. 29-62
• Patrick Olivier: Diagrammatic Reasoning: An Artificial Intelligence Perspective. 63-78
• Peter C.-H. Cheng, Ric K. Lowe, Michael Scaife: Cognitive Science Approaches To Understanding Diagrammatic Representations. 79-94
• Alan F. Blackwell, Kirsten N. Whitley, Judith Good, Marian Petre: Cognitive Factors in Programming with Diagrams. 95-114
• Paul Brna, Richard Cox, Judith Good: Learning to Think and Communicate with Diagrams: 14 Questions to Consider. 115-134
• Ellen Yi-Luen Do, Mark D. Gross: Thinking with Diagrams in Architectural Design. 135-149

Volume 15, Number 3, May 2001

• Marin Vlada: Algorithms for Testing Satisfiability Formulas. 153-163
• Koen Bertels, Luc Neuberg, Stamatis Vassiliadis, D. G. Pechanek: On Chaos and Neural Networks: The Backpropagation Paradigm. 165-187
• Jixin Ma, Brian Knight: Reified Temporal Logics: An Overview. 189-217
• Kwang Mong Sim: Bilattices and Reasoning in Artificial Intelligence: Concepts and Foundations. 219-240

Volume 15, Number 4, June 2001

• Ian Miguel, Qiang Shen: Solution Techniques for Constraint Satisfaction Problems: Foundations. 243-267
• Ian Miguel, Qiang Shen: Solution Techniques for Constraint Satisfaction Problems: Advanced Approaches. 269-293
• Elliot Smith, Peter Hancox: Representation, Coherence and Inference. 295-323