7. AISC 2004: Linz, Austria

Invited Presentations

• Markus Rosenkranz:
  The Algorithmization of Physics: Math Between Science and Engineering. 1-7
  
• Zbigniew Stachniak:
  Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search. 8-14
  
• Helmut Schwichtenberg:
  Proof Search in Minimal Logic. 15-25
  
• Alan Bundy:
  Planning and Patching Proof. 26-37
  

Papers

• Jørgen Villadsen:
  A Paraconsistent Higher Order Logic. 38-51
  
• Peep Küngas:
  Abstraction Within Partial Deduction for Linear Logic. 52-65
  
• Olga Tveretina:
  A Decision Procedure for Equality Logic with Uninterpreted Functions. 66-79
  
• Andreas Dolzmann, Lorenz A. Gilch:
  Generic Hermitian Quantifier Elimination. 80-93
  
• Jian Zhang, Hantao Zhang:
  Extending Finite Model Searching with Congruence Closure Computation. 94-102
  
• Christelle Scharff, Leo Bachmair:
  On the Combination of Congruence Closure and Completion. 103-117
  
• Laurent Granvilliers, Mina Ouabiba:
  Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques. 118-131
  
• Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu:
  Proving and Constraint Solving in Computational Origami. 132-142
  
• Mohamed El-bachir Menai:
  An Evolutionary Local Search Method for Incremental Satisfiability. 143-156
  
• Temur Kutsia:
  Solving Equations Involving Sequence Variables and Sequence Functions. 157-170
  
• Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez, José-Luis Ruiz-Reina:
  Verified Computer Algebra in Acl2. Gröbner Bases Computation. 171-184
  
• Nao Hirokawa, Aart Middeldorp:
  Polynomial Interpretations with Negative Coefficients. 185-198
  
• Tom Kelsey, Steve Linton, Colva M. Roney-Dougal:
  New Developments in Symmetry Breaking in Search Using Computational Group Theory. 199-210
  
• Alexei D. Miasnikov:
  Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks. 211-221
  
• Jesús Aransay, Clemens Ballarin, Julio Rubio:
  Four Approaches to Automated Reasoning with Differential Algebraic Structures. 222-235
  
• Bruno Buchberger:
  Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy. 236-250
  
• Eugenio Roanes-Lozano, E. López-Vidriero Jr., Luis M. Laita, E. López-Vidriero, Victor Maojo, Eugenio Roanes-Macías:
  An Expert System on Detection, Evaluation and Treatment of Hypertension. 251-264
  

Short Presentations

• Mahat Khelfallah, Belaid Benhamou:
  Two Revision Methods Based on Constraints: Application to a Flooding Problem. 265-270
  
• David Déharbe, Abdessamad Imine, Silvio Ranise:
  Abstraction-Driven Verification of Array Programs. 271-275
  
• Björn Gottfried:
  Singularities in Qualitative Reasoning. 276-280
  
• Serge Mechveliani:
  From a Computer Algebra Library to a System with an Equational Prover. 281-284
  

Last update Mon May 20 22:25:32 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page