Sciweavers

56 search results - page 2 / 12
» aicom 2007
Sort
View
101
Voted
AICOM
2005
43views more  AICOM 2005»
15 years 3 months ago
Normative Agents in Health Care: Uses and challenges
Javier Vázquez-Salceda
112
Voted
AICOM
2005
51views more  AICOM 2005»
15 years 3 months ago
The IJCAR-2004 Automated Theorem Proving Competition
Geoff Sutcliffe
102
Voted
AICOM
2005
46views more  AICOM 2005»
15 years 3 months ago
Enumerating consistent metaquery instantiations
Fabrizio Angiulli