2011-5-11
 
Account:
 
Password:
     
Home | E-Business | Technology | Software Engineering | Security | Education | Outsourcing
Technology
Internet of Things/EPC 
Audio Mining & Voice Portal
Pen Computing
Creativity & Innovation
Creativity Techniques 
Semantic Web
Web Intelligence
Adaptive Web
Data Warehouse ...
P2P Computing
Interspace
Digital Game ...
Real-Time Computing
Data Synchronization
Component Framework
Middleware
Multimedia
Product Line ...
Software Mass ...
Embedded Apps ...
Embedded Testing
Real-Time OS
Embedded DB
Programmable DSP
Electronic Design ...
Codesign
Security Technology
DRM
Trends in IT
Artificial Intelligence
Open Source
OLAP/Data Mining
e-Business
AOP
GP
CSCW
Workflow Management
Bioinformatics
DNA Computing
Quantum Computing
HPC
Parallel Computing
Internet
New Tech Resources
Blog
RSS
Wi-Fi
LMDS
Wireless Application
Pervasive Computing
Flexible Transistor
Document Clustering
Document English 
 
 Content
Experts  
Industry Report
Shanghai SPIN  
Services
 Column
Tom Gilb
Q & A
Advanced Inspections
Inspection Economics
Evo Project Management
 
Deduction & Reasoning
 
Mechanized Reasoning Systems
http://www-formal.stanford.edu/clt/ARS/systems.html
International Journal of Approximate Reasoning
http://seraphim.csee.usf.edu/Nafips/ijar.html
Case-Based Reasoning
http://www.nupedia.com/article/short/Case-Based+Reasoning/
http://www.aiai.ed.ac.uk/links/cbr.html
David J.C. MacKay: Information Theory, Inference and Learning Algorithms
http://www.inference.phy.cam.ac.uk/mackay/itprnn/ps/
Exploring the Labyrinth of the Mind
http://www.nytimes.com/books/97/07/20/reviews/hofstadter-magazine.html
TMYCIN: Medical Reasoning System
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/reasonng/medical/tmycin/0.html
Reasoning about Computational Resource Allocation
http://www.acm.org/crossroads/xrds3-1/racra.html
Qualitative Reasoning Research at UT Austin
http://www.cs.utexas.edu/users/qr/
Qualitative Reasoning Group, Northwestern University
http://www.qrg.ils.nwu.edu/
Formal Reasoning Group
http://www-formal.stanford.edu/
Case-Based Reasoning
http://www.ai-cbr.org/
Integrated Reasoning Group Overview
http://www.iit.nrc.ca/IR_public/english.html
 
 

 Links: ACM || CiteSeer || CMU SEI || Construx || Cutter || IEEE-CS || itmWEB
Shanghai IT || Shanghai Economic Commission || SSIA || Shanghai Component Repository
LJYW || SPRT || PKSPIN || CCW Shanghai || China IT Outsourcing Summit more 
contribution guide | FAQ | about | copyright | contact
last update on 2005-04-08
better use IE 5.0 or above (800*600 or above)
© 2000-2005 Software Export and IT Transfer Center, ASTI Shanghai
All Rights Reserved.