7. AISC 2004:
Linz,
Austria
Bruno Buchberger, John A. Campbell (Eds.):
Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings.
Lecture Notes in Computer Science 3249 Springer 2004, ISBN 3-540-23212-5 BibTeX
Invited Presentations
Papers
- Jørgen Villadsen:
A Paraconsistent Higher Order Logic.
38-51
Electronic Edition (link) BibTeX
- Peep Küngas:
Abstraction Within Partial Deduction for Linear Logic.
52-65
Electronic Edition (link) BibTeX
- Olga Tveretina:
A Decision Procedure for Equality Logic with Uninterpreted Functions.
66-79
Electronic Edition (link) BibTeX
- Andreas Dolzmann, Lorenz A. Gilch:
Generic Hermitian Quantifier Elimination.
80-93
Electronic Edition (link) BibTeX
- Jian Zhang, Hantao Zhang:
Extending Finite Model Searching with Congruence Closure Computation.
94-102
Electronic Edition (link) BibTeX
- Christelle Scharff, Leo Bachmair:
On the Combination of Congruence Closure and Completion.
103-117
Electronic Edition (link) BibTeX
- Laurent Granvilliers, Mina Ouabiba:
Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques.
118-131
Electronic Edition (link) BibTeX
- Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu:
Proving and Constraint Solving in Computational Origami.
132-142
Electronic Edition (link) BibTeX
- Mohamed El-bachir Menai:
An Evolutionary Local Search Method for Incremental Satisfiability.
143-156
Electronic Edition (link) BibTeX
- Temur Kutsia:
Solving Equations Involving Sequence Variables and Sequence Functions.
157-170
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Nao Hirokawa, Aart Middeldorp:
Polynomial Interpretations with Negative Coefficients.
185-198
Electronic Edition (link) BibTeX
- Tom Kelsey, Steve Linton, Colva M. Roney-Dougal:
New Developments in Symmetry Breaking in Search Using Computational Group Theory.
199-210
Electronic Edition (link) BibTeX
- Alexei D. Miasnikov:
Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks.
211-221
Electronic Edition (link) BibTeX
- Jesús Aransay, Clemens Ballarin, Julio Rubio:
Four Approaches to Automated Reasoning with Differential Algebraic Structures.
222-235
Electronic Edition (link) BibTeX
- Bruno Buchberger:
Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy.
236-250
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
Short Presentations
Copyright © Sat May 16 22:57:30 2009
by Michael Ley (ley@uni-trier.de)