Works matching IS 09217126 AND DT 2006 AND VI 19 AND IP 2
Results: 8
Calendar.
- Published in:
- AI Communications, 2006, v. 19, n. 2, p. 191
- Publication type:
- Article
Agents' roles in B2C e-commerce.
- Published in:
- AI Communications, 2006, v. 19, n. 2, p. 95
- By:
- Publication type:
- Article
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
Automated reasoning in quantified modal and temporal logics.
- Published in:
- AI Communications, 2006, v. 19, n. 2, p. 183
- By:
- Publication type:
- Article
Propositional satisfiability: Techniques, algorithms and applications.
- Published in:
- AI Communications, 2006, v. 19, n. 2, p. 187
- By:
- Publication type:
- Article
Exploiting agents in e-learning and skills management context.
- Published in:
- AI Communications, 2006, v. 19, n. 2, p. 137
- By:
- Publication type:
- Article
A backjumping technique for Disjunctive Logic Programming.
- Published in:
- AI Communications, 2006, v. 19, n. 2, p. 155
- By:
- Publication type:
- Article
The CADE-20 Automated Theorem Proving Competition.
- Published in:
- AI Communications, 2006, v. 19, n. 2, p. 173
- By:
- Publication type:
- Article