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