CASC-J6
The 6th IJCAR ATP System Competition
History and Motivations
CASC-J6
6 Divisions
30 Entrants
51 Results
2 LTB division prizes
Two Outstanding Developments
Vampire strikes again and again and again
A
new player
(see the
CASC@Turing results
too)
To Conclude ...
Thanks
Conclusion
