Abstract
The IJCAR ATP System Competition (CASC-JC) was the sixth large-scale competition for first-order ATP systems. As such, a positive aspect of CASC-JC was shown by the level of enthusiasm and interest from both entrants and observers. The entrants made significant efforts to meet the requirements imposed by the competition design, and as a result the system were more robust and usable than in the past.
Original language | English (US) |
---|---|
Pages (from-to) | 307-320 |
Number of pages | 14 |
Journal | Journal of Automated Reasoning |
Volume | 28 |
Issue number | 3 |
DOIs | |
State | Published - Apr 1 2002 |
ASJC Scopus subject areas
- Software
- Computational Theory and Mathematics
- Artificial Intelligence