The CADE-22 automated theorem proving system competition – CASC-22.
- Published in:
- AI Communications, 2010, v. 23, n. 1, p. 47, doi. 10.3233/AIC-2010-0469
- By:
- Publication type:
- Article
Works matching IS 09217126 AND DT 2010 AND VI 23 AND IP 1
Results: 4
1
2
Engineering portfolios of Machine Learning algorithms to solve complex tasks in Robotics and Automated Reasoning.
- Published in:
- AI Communications, 2010, v. 23, n. 1, p. 61, doi. 10.3233/AIC-2010-0471
- By:
- Publication type:
- Article
3
Simplifying Semantic Web application development and semantic data usage.
- Published in:
- AI Communications, 2010, v. 23, n. 1, p. 65, doi. 10.3233/AIC-2010-0472
- By:
- Publication type:
- Article
4
𝒞𝒪𝒞𝒪𝒩ℱ: Conceptual language-based configuration.
- Published in:
- AI Communications, 2010, v. 23, n. 1, p. 1, doi. 10.3233/AIC-2010-0470
- By:
- Publication type:
- Article