Sciweavers

278 search results - page 7 / 56
» ijcai 2003
Sort
View
65
Voted
IJCAI
2003
15 years 2 months ago
Network Meta-Reasoning for Information Assurance in Mobile Agent Systems
Donovan Artz, Maxim Peysakhov, William C. Regli
41
Voted
IJCAI
2003
15 years 2 months ago
An Ontology-based Architecture for Cooperative Information Agents
Frederico Luiz Gonçalves de Freitas, Guilhe...
60
Voted
IJCAI
2003
15 years 2 months ago
Assertion Application in Theorem Proving and Proof Planning
Quoc Bao Vo, Christoph Benzmüller, Serge Aute...