Artificial Intelligence for Large-Scale Computer-Assisted Reasoning

This the homepage of ERC funded project AI4REASON hosted at Czech Technical University in Prague (CTU).

The project is led by Josef Urban and developed by the members of Automated Reasoning Group (ARG) at the Czech Institute of Informatics, Robotics and Cybernetics (CIIRC).

The AI4REASON project ended on October 31, 2020. Here is its final scientific report.