The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9.
- Published in:
- AI Communications, 2018, v. 31, n. 6, p. 495, doi. 10.3233/AIC-180773
- By:
- Publication type:
- Article
Works matching IS 09217126 AND DT 2018 AND VI 31 AND IP 6
Results: 4
1
2
The Barcelona declaration for the proper development and usage of artificial intelligence in Europe.
- Published in:
- AI Communications, 2018, v. 31, n. 6, p. 485, doi. 10.3233/AIC-180607
- By:
- Publication type:
- Article
3
Leveraging knowledge bases for future prediction with memory comparison networks.
- Published in:
- AI Communications, 2018, v. 31, n. 6, p. 465, doi. 10.3233/AIC-170564
- By:
- Publication type:
- Article
4
Performance robustness of AI planners in the 2014 International Planning Competition.
- Published in:
- AI Communications, 2018, v. 31, n. 6, p. 445, doi. 10.3233/AIC-170537
- By:
- Publication type:
- Article