2011-4-15
 
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
 
Artificial Intelligence Programming
 
AI Programming Resources
http://www.cs.berkeley.edu/~russell/prog.html
PC AI - Logic Programming
http://www.pcai.com/pcai/New_Home_Page/ai_info/logic_programming.html
Computational Logic
http://archive.museophile.sbu.ac.uk/compulog/
Genetic-Programming.org
http://www.genetic-programming.org/
ILOG, Inc.
http://www.ilog.com/
University of Washington: Constraint-Based Systems
http://www.cs.washington.edu/research/constraints/
Declarative Systems & Software Engineering (DSSE) Group
http://www.dsse.ecs.soton.ac.uk/
Extreme Software
http://www.plogic.com/extreme.html
Topics in Information Processing 2CS24: Declarative Languages
http://www.csc.liv.ac.uk/~frans/OldLectures/2CS24/declarative.html
Constraint Logic Programming
http://www.ai.univie.ac.at/oefai/clp/
http://www.idiom.com/free-compilers/TOOL/CLP-1.html
http://citeseer.nj.nec.com/24834.html
http://www.cs.unh.edu/ccc/archive/
comp.lang.functional FAQ
http://www.cs.nott.ac.uk/Department/Staff/gmh/faq.html
Mondrian
http://www.mondrian-script.org/
John McCarthy
http://www-formal.stanford.edu/jmc/
Screamer Tool Repository
http://www.cis.upenn.edu/~screamer-tools/home.html
Lisp Resources
http://eksl-www.cs.umass.edu/lisp-resources/
http://psg.com/~dlamkins/sl/cover.html
Mercury Project
http://www.cs.mu.oz.au/research/mercury/
The Miranda Programming Language
http://www.engin.umd.umich.edu/CIS/course.des/cis400/miranda/miranda.html
Mozart Programming System
http://www.mozart-oz.org/
Oz Programming System
http://www.ps.uni-sb.de/oz2/
Logic Programming Associates
http://www.lpa.co.uk/
Cetus Links: Prolog
http://www.cetus-links.org/oo_prolog.html
The Scheme Programming Language
http://www.swiss.ai.mit.edu/projects/scheme/index.html
Schemers.org
http://www.schemers.org/
CMU Scheme Repository
http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/lang/scheme/0.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.