Results: 9
The 5th IJCAR automated theorem proving system competition - CASC-J5.
- Published in:
- AI Communications, 2011, v. 24, n. 1, p. 75, doi. 10.3233/aic-2010-0483
- By:
- Publication type:
- Article
Graph-based data mining for biological applications.
- Published in:
- AI Communications, 2011, v. 24, n. 1, p. 95, doi. 10.3233/aic-2010-0482
- By:
- Publication type:
- Article
Max-SAT formalisms with hard and soft constraints.
- Published in:
- AI Communications, 2011, v. 24, n. 1, p. 101, doi. 10.3233/aic-2010-0488
- By:
- Publication type:
- Article
Clustering preprocessing to improve time series forecasting.
- Published in:
- AI Communications, 2011, v. 24, n. 1, p. 97, doi. 10.3233/aic-2010-0485
- By:
- Publication type:
- Article
A weighted CSP approach to cost-optimal planning.
- Published in:
- AI Communications, 2011, v. 24, n. 1, p. 1, doi. 10.3233/aic-2010-0473
- By:
- Publication type:
- Article
On the use of machine learning methods for modern drug discovery.
- Published in:
- AI Communications, 2011, v. 24, n. 1, p. 99, doi. 10.3233/aic-2010-0487
- By:
- Publication type:
- Article
Finite domain and symbolic inference methods for extensions of first-order logic.
- Published in:
- AI Communications, 2011, v. 24, n. 1, p. 91, doi. 10.3233/aic-2010-0474
- By:
- Publication type:
- Article
Constraint-based methods for scheduling discretionary services.
- Published in:
- AI Communications, 2011, v. 24, n. 1, p. 51, doi. 10.3233/aic-2010-0486
- By:
- Publication type:
- Article
Recommendation of reliable users, social networks and high-quality resources in a Social Internetworking System.
- Published in:
- AI Communications, 2011, v. 24, n. 1, p. 31, doi. 10.3233/aic-2010-0484
- By:
- Publication type:
- Article