AISC 2004
  7th International Conference on
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION
Theory, Implementations and Applications
September 22(We)-24(Fr), 2004,
RISC (Research Institute for Symbolic Computation), Castle of Hagenberg, Austria    
Co-organized by RICAM (Radon Institute for Computational and Applied Mathematics), Linz, Austria
http://www.risc.uni-linz.ac.at/conferences/aisc2004/

General Info. Submission Registration Program Location

PROGRAM / INVITED SPEAKERS / ACCEPTED PAPERS / 
 
   

INVITED SPEAKERS

  • Alan Bundy (University of Edinburgh, Edinburgh, UK)
         Planning and Patching Proofs
  • Markus Rosenkranz (RICAM Institute, Austrian Academy of Sciences, Linz, Austria)
         The Algorithmization of Physics: Math Between Science and Engineering
  • Helmut Schwichtenberg (Ludwig-Maximilian University, Munich, Germany)
         Proof Search in Minimal Logic
  • Zbigniew Stachniak (York University, Toronto, Canada)
         Finite Algebras and AI

Mail to Web Master