Registration

1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA)