Sciweavers

278 search results - page 7 / 56
» ijcai 2003
Sort
View
IJCAI
2003
13 years 8 months ago
An Ontology-based Architecture for Cooperative Information Agents
Frederico Luiz Gonçalves de Freitas, Guilhe...
IJCAI
2003
13 years 8 months ago
Assertion Application in Theorem Proving and Proof Planning
Quoc Bao Vo, Christoph Benzmüller, Serge Aute...