The SCEAS System
Navigation Menu

Conferences in DBLP

Artificial Intelligence and Symbolic Computation (AISC) (aisc)
2004 (conf/aisc/2004)

  1. Markus Rosenkranz
    The Algorithmization of Physics: Math Between Science and Engineering. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:1-7 [Conf]
  2. Zbigniew Stachniak
    Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:8-14 [Conf]
  3. Helmut Schwichtenberg
    Proof Search in Minimal Logic. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:15-25 [Conf]
  4. Alan Bundy
    Planning and Patching Proof. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:26-37 [Conf]
  5. Jørgen Villadsen
    A Paraconsistent Higher Order Logic. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:38-51 [Conf]
  6. Peep Küngas
    Abstraction Within Partial Deduction for Linear Logic. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:52-65 [Conf]
  7. Olga Tveretina
    A Decision Procedure for Equality Logic with Uninterpreted Functions. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:66-79 [Conf]
  8. Andreas Dolzmann, Lorenz A. Gilch
    Generic Hermitian Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:80-93 [Conf]
  9. Jian Zhang, Hantao Zhang
    Extending Finite Model Searching with Congruence Closure Computation. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:94-102 [Conf]
  10. Christelle Scharff, Leo Bachmair
    On the Combination of Congruence Closure and Completion. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:103-117 [Conf]
  11. Laurent Granvilliers, Mina Ouabiba
    Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:118-131 [Conf]
  12. Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu
    Proving and Constraint Solving in Computational Origami. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:132-142 [Conf]
  13. Mohamed El-bachir Menai
    An Evolutionary Local Search Method for Incremental Satisfiability. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:143-156 [Conf]
  14. Temur Kutsia
    Solving Equations Involving Sequence Variables and Sequence Functions. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:157-170 [Conf]
  15. Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez, José-Luis Ruiz-Reina
    Verified Computer Algebra in Acl2. Gröbner Bases Computation. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:171-184 [Conf]
  16. Nao Hirokawa, Aart Middeldorp
    Polynomial Interpretations with Negative Coefficients. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:185-198 [Conf]
  17. Tom Kelsey, Steve Linton, Colva M. Roney-Dougal
    New Developments in Symmetry Breaking in Search Using Computational Group Theory. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:199-210 [Conf]
  18. Alexei D. Miasnikov
    Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:211-221 [Conf]
  19. Jesús Aransay, Clemens Ballarin, Julio Rubio
    Four Approaches to Automated Reasoning with Differential Algebraic Structures. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:222-235 [Conf]
  20. Bruno Buchberger
    Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:236-250 [Conf]
  21. 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. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:251-264 [Conf]
  22. Mahat Khelfallah, Belaid Benhamou
    Two Revision Methods Based on Constraints: Application to a Flooding Problem. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:265-270 [Conf]
  23. David Déharbe, Abdessamad Imine, Silvio Ranise
    Abstraction-Driven Verification of Array Programs. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:271-275 [Conf]
  24. Björn Gottfried
    Singularities in Qualitative Reasoning. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:276-280 [Conf]
  25. Serge Mechveliani
    From a Computer Algebra Library to a System with an Equational Prover. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:281-284 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002