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
(TU Harburg, Germany)
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)
Print
Cnam
CEDRIC
ENSIIE
INRIA
IFCoLog IFCoLog