Annals of Mathematics and Artificial Intelligence, Volume 8

Volume 8, Number 1-2, 1993

• Alexis Manaster-Ramer: Capacity, Complexity, Construction. 1-16
• Walter J. Savitch: Why it Might Pay to Assume That Languages are infinite. 17-25
• R. Suzanne Zeitman: Somewhat Finite Approaches to Infinite Sentences. 27-36
• András Kornai: The Generative Power of Feature Geometry. 37-46
• Munindar P. Singh: A Semantics for Speech Acts. 47-71
• Nelson Correa: Attribute and Unification Grammar: A Review and Analysis of Formalisms. 73-105
• John Nerbonne: A Feature-based Syntax/Semantics Interface. 107-132
• David E. Johnson, Lawrence S. Moss: Some Formal Properties of Stratified Feature Grammars. 133-173
• M. Andrew Moshier: On Completeness theorems for Feature Logics. 175-213

Volume 8, Number 3-4, 1993

• Jean-Claude Latombe: Geometry and Search in Motion Planning. 215-227
• Marc Kirschenbaum, Leon Sterling, Ashish Jain: Relating Logic Programs Via Program Maps. 229-245
• Paolo Carraresi, Giorgio Gallo, Gabriella Rago: A Hypergraph model for Constraint Logic Programming and Applications to Bus Drivers' Scheduling. 247-270
• Michel Gangnet, Burton Rosenberg: Constraint Programming and Graph Algorithms. 271-284
• Feng Zhao: Computational Dynamics: Modeling and Visualizing Trajectory Flows in Phase Space. 285-300
• Paul A. Strooper, Maarten H. van Emden: Describing Symmetrical Structures in Logic. 301-314
• Divesh Srivastava: Subsumption and Indexing in Constraint Query Languages with Linear Arithmetic Constraints. 315-343
• Fritz von Haeseler, Heinz-Otto Peitgen, Guentcho Skordev: Cellular Automata, Matrix Substitutions and Fractals. 345-362
• Richard Barnett, David A. Basin, Jane Hesketh: A Recursion Planning Analysis of Inductive Completion. 363-381
• Hantao Zhang, Gary Xin Hua: Proving Ramsey's Theorem by the Cover Set Induction: A Case and Comparison Study. 383-405
• Kurt Ammon: A Learning Procedure for Mathematics. 407-423
• Dominique Pastre: Automated Theorem Proving in Mathematics. 425-447
• José Alberto Fernández, Jorge Lobo, Jack Minker, V. S. Subrahmanian: Disjunctive LP + Integrity Constraints = Stable Model Semantics. 449-474
• Alessandro Armando, Enrico Giunchiglia: Embedding Complex Decision Procedures Inside an Interactive Theorem Prover. 475-502