10th International Conference on
Artificial Intelligence and Symbolic Computation
AISC 2010
Paris, France, 5th-6th July 2010
Program Committee
Alessandro Armando | (University of Genoa, Italy) |
Serge Autexier | (DFKI Bremen, Germany),Chair |
Franz Baader | (TU Dresden, Germany) |
Christoph Benzmüller | (Articulate Software, USA) |
Russell Bradford | (University of Bath, UK) |
Jacques Calmet | (University of Karlsruhe, Germany) |
John Campbell | (University College London, UK) |
Jacques Carette | (McMaster University, Canada) |
Arjeh Cohen | (Eindhoven University of Technology, The Netherlands) |
Simon Colton | (Imperial College London, UK) |
Timothy Daly | (Carnegie Mellon, USA) |
Lucas Dixon | (University of Edinburgh, UK) |
Bill Farmer | (McMaster University, UK) |
Martin Charles Golumbic | (University of Haifa, Israel) |
Tetsuo Ida | (University of Tsukuba, Japan) |
Tom Kelsey | (University of St Andrews, UK) |
Claude Kirchner | (INRIA Bordeaux, France) |
George Labahn | (University of Waterloo, Canada) |
Petr Lisonek | (Simon Fraser University, Canada) |
Ralf Möller | |
Bijan Parsia | (University of Manchester, UK) | |
Renaud Rioboo | (ENSIIE, France) |
Eugenio Roanes-Lozano | (Universidad Complutense de Madrid, Spain) |
Chung-chieh Shan | (Rutgers, USA) |
Jörg Siekmann | (Universität des Saarlandes, DFKI Saarbrücken, Germany) |
Elena Smirnova | (Texas Instruments, USA) |
Volker Sorge | (University of Birmingham, UK) |
Toby Walsh | (NICTA & UNSW, Australia) |
Dongming Wang | (Beihang University, China and UPMC-CNRS, France) |
Stephen M. Watt | (University of Western
Ontario, Canada) |
Wolfgang Windsteiger | (RISC, Austria) |
Michael Witbrock | (Cycorp, USA) |
|
|
|