Annals of Mathematics and Artificial Intelligence, Volume 8

Volume 8, Number 1-2, 1993

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

Volume 8, Number 3-4, 1993

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