default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th AISC 2004: Linz, Austria
- Bruno Buchberger, John A. Campbell:
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
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 W. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-02-15 22:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
