Calendar.
- Published in:
- AI Communications, 2006, v. 19, n. 2, p. 191
- Publication type:
- Article
Works matching IS 09217126 AND DT 2006 AND VI 19 AND IP 2
Results: 8
1
2
Agents' roles in B2C e-commerce.
- Published in:
- AI Communications, 2006, v. 19, n. 2, p. 95
- By:
- Publication type:
- Article
3
A guided learning strategy for vision based navigation of 4-legged robots.
- Published in:
- AI Communications, 2006, v. 19, n. 2, p. 127
- By:
- Publication type:
- Article
4
Automated reasoning in quantified modal and temporal logics.
- Published in:
- AI Communications, 2006, v. 19, n. 2, p. 183
- By:
- Publication type:
- Article
5
Propositional satisfiability: Techniques, algorithms and applications.
- Published in:
- AI Communications, 2006, v. 19, n. 2, p. 187
- By:
- Publication type:
- Article
6
Exploiting agents in e-learning and skills management context.
- Published in:
- AI Communications, 2006, v. 19, n. 2, p. 137
- By:
- Publication type:
- Article
7
A backjumping technique for Disjunctive Logic Programming.
- Published in:
- AI Communications, 2006, v. 19, n. 2, p. 155
- By:
- Publication type:
- Article
8
The CADE-20 Automated Theorem Proving Competition.
- Published in:
- AI Communications, 2006, v. 19, n. 2, p. 173
- By:
- Publication type:
- Article