人工智能编程
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
自然语言处理
HNC自然语言理解处理网站
http://www.hncnlp.com/
comp.speech WWW Site [UK] - Information on speech technology products and soft
ware.
http://svr-www.eng.cam.ac.uk/comp.speech/
Computational Semiotics and Fuzzy Linguistics
http://www.ldv.uni-trier.de:8080/ldvpage/rieger/pub/aufsaetze/ssa96/ssa96-ab
stract.html
Computational Semiotics
http://www.dca.fee.unicamp.br/~gudwin/compsemio/
Grammar Formalisms
http://cslu.cse.ogi.edu/HLTsurvey/ch3node5.html
Grammatical Inference
http://www.cs.iastate.edu/~honavar/gi/gi.html
LINGUIST List virtual library
http://www.emich.edu/~linguist/www-vl.html
"String Searching Algorithms" Book
http://homepages.tesco.net/~gas/ssa/
AGFL Grammar Work Lab
http://www.cs.kun.nl/agfl/
Natural Language Software Registry
http://registry.dfki.de/
神经网络
Neural Networks Tutorial Review
http://hem.hj.se/~de96klda/NeuralNetworks.htm
http://www.cnblogs.com/xypfs21/admin/ftp://ftp.sas.com/pub/neural/FAQ.html
Image Compression with Neural Networks
http://www.comp.glam.ac.uk/digimaging/neural.htm
Backpropagator's Review
http://www.dontveter.com/bpr/bpr.html
Bibliographies on Neural Networks
http://liinwww.ira.uka.de/bibliography/Neural/
Intelligent Motion Control with an Artificial Cerebellum
http://www.q12.org/phd.html
Kernel Machines
http://www.kernel-machines.org/
Some Neural Networks Research Organizations
http://www.ieee.org/nnc/
http://www.inns.org/
Neural Network Modeling in Vision Research
http://www.rybak-et-al.net/nisms.html
Neural Networks and Machine Learning
http://learning.cs.toronto.edu/
Neural Application Software
http://attrasoft.com/
Neural Network Toolbox for MATLAB
http://www.mathworks.com/products/neuralnet/
Netlab Software
http://www.ncrg.aston.ac.uk/netlab/
Kunama Systems Limited
http://www.kunama.co.uk/
人工智能综述
AI Tutorial Review
http://www-2.cs.cmu.edu/Groups/AI/html/faqs/top.html
http://www-formal.stanford.edu/jmc/whatisai/whatisai.html
http://psych.utoronto.ca/~reingold/courses/ai/
http://spinoza.tau.ac.il/hci/dep/philos/ai/links.html
http://www.csc.liv.ac.uk/~frans/OldLectures/2CS24/ai.html
Journal of Artificial Intelligence Research
http://www.jair.org/
The Turing Test and Intelligence
http://www.abelard.org/turing/tur-hi.htm
AI Resources
http://www.aaai.org/Pathfinder/pathfinder.html
http://www.cs.berkeley.edu/~russell/ai.html
http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/other/rep
ositories.html
http://ai.iit.nrc.ca/ai_point.html
http://www.compinfo-center.com/tpai-t.htm
AI Programming Resources
http://www.cs.berkeley.edu/~russell/prog.html
Some AI Research Organizations
http://www.ai.univie.ac.at/oefai/oefai.html
http://www.ai.mit.edu/
http://sound.media.mit.edu/
http://ai.iit.nrc.ca/
http://www.aic.nrl.navy.mil/
http://ic-www.arc.nasa.gov/ic
http://www.holotopology.com/
http://www.iiia.csic.es/
http://www.fingerpass.net/
http://www.aaai.org/
专家系统
Introduction to Expert Systems
http://members.aol.com/jacksonpe/music1/introduc.htm
http://www.csc.liv.ac.uk/~frans/OldLectures/2CS24/expertSys.html
Berkeley Expert System Technology lab
http://best.me.berkeley.edu/
Jess, the Expert System Shell for the Java Platform
http://herzberg.ca.sandia.gov/jess
CLIPS: A Tool for Building Expert Systems
http://www.ghg.net/clips/CLIPS.html
FuzzyCLIPS - Fuzzy Work(Expert System)
http://www.iit.nrc.ca/IR_public/fuzzy/fuzzyClips/fuzzyCLIPSIndex.html
Knowledge Acquisition for Expert Systems at Acquired Intelligence
http://www.aiinc.ca/
HUGIN EXPERT
http://www.hugin.com/cases/
Computer program designed to solve standard American crosswords
http://www.cs.duke.edu/~keim/proverb/
GEOMET Technologies, Inc.
http://www.geomet.com/ai.htm
ExpLore Reasoning Systems: Business rule and expert system
http://www.ers.com/
知识表示
Knowledge Representation
http://pages.cpsc.ucalgary.ca/~kremer/courses/CG/CGlecture_notes.html
Knowledge Discovery In Databases: Tools and techniques
http://www.acm.org/crossroads/xrds5-2/kdd.html
Resource Description Framework (RDF) Schema Specification 1.0 ,W3C Candidate R
ecommendation 27 March 2000
http://www.w3.org/TR/2000/CR-rdf-schema-20000327/
W3C Resource Description Framework Resource Description Framework (RDF), the W
3C Standard for knowledge representation on the Web
http://www.w3.org/RDF/
Knowledge Interchange Format (KIF)- Knowledge Interchange Format (KIF), a DARP
A project based format for exchanging pieces of knowledge bases
http://logic.stanford.edu/kif/kif.html
Data Mining And Knowledge Discovery
http://www.ingber.com/path98_datamining.pdf
AI Knowledge-Based Systems
http://www.ai.univie.ac.at/oefai/kbs/index.html
Knowledge Representation Resources
http://www.cs.cofc.edu/~manaris/ai-education-repository/
机器学习
Machine Learning Tutorial
http://robotics.stanford.edu/people/nilsson/mlbook.html
Reinforcement Learning:An Introduction
http://www-anw.cs.umass.edu/~rich/book/the-book.html
The Journal of Machine Learning Research
http://www.jmlr.org/
Online Machine Learning Resources
http://www.ai.univie.ac.at/oefai/ml/ml-resources.html
http://www.mlnet.org/
Machine Learning at AAAI
http://www.aaai.org/Pathfinder/html/machine.html
Active Logic - inference engine that incorporates a history of their reasoning
as they run
http://www.cs.umd.edu/projects/active/
Machine Learning in Games
http://satirist.org/learn-game/
Machine Learning Group
http://www.cs.bris.ac.uk/Research/MachineLearning/
Knowledge Acquisition for Expert Systems at Acquired Intelligence
http://www.aiinc.ca/
机器人
China Robotics Web Sites
http://www.robotschina.com/
Robot Science & Technology - magazine
http://www.robotmag.com/
Mobile Robotics Research Group, Edinburgh University
http://www.dai.ed.ac.uk/groups/mrg/MRG.html
robort topics and links
http://www.cbc.umn.edu/~mwd/robot.html
Arnold goal to design a system of multiple robots, that are individually auton
omous and can team up to cooperatively perform tasks.
http://www.cim.mcgill.ca/~mabous/RESEARCH/
Modular Reconfigurable Robotics - research project from Xerox PARC to design s
mall, autonomous robots that can be reconfigured and linked together to achiev
e different goals.
http://www.parc.xerox.com/spl/projects/modrobots/
Polypod - modular, reconfigurable robot that walks, rolls, and crawls
http://robotics.stanford.edu/users/mark/polypod.html
Australia's Telerobot on the Web
http://telerobot.mech.uwa.edu.au/
RoboCup: The Robot World Cup
http://www.robocup.org/02.html
智能代理
Intelligent Agent Tutorial Review
http://www.magma.ca/~mrw/agents/
http://agents.umbc.edu/introduction/
http://www.davidreilly.com/topics/software_agents/
A Perspective on Software Agents Research
http://agents.umbc.edu/introduction/hn-dn-ker99.html
Intelligent Agents: Theory and Practice
http://www.ecs.soton.ac.uk/~nrj/download-files/KE-REVIEW-95.ps
Software Agents: An Overview
http://www.sce.carleton.ca/netmanage/docs/AgentsOverview/ao.html
Mobile Agents and the Future of the Internet
http://www.cs.dartmouth.edu/~dfk/papers/kotz:future2/
Intelligent Agent Resource
http://www.agentlink.org/
http://www.insead.fr/CALT/Encyclopedia/ComputerSciences/Agents/
http://www.compinfo-center.com/tpagnt-t.htm
定理证明和高阶逻辑
Proof Theory as an Alternative to Model Theory
http://www-lp.doc.ic.ac.uk/UserPages/staff/ft/alp/comment/proof.html
FTP'2000
http://www.uni-koblenz.de/ftp00/
Mathematical Reasoning Group
http://dream.dai.ed.ac.uk/
Description of the HOL Theorem Proving System
http://lal.cs.byu.edu/lal/hol-desc.html
Isabelle
http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
Software, Theorem Provers
http://www.tcs.informatik.uni-muenchen.de/~matthes/logikserver/software.html
Inductive Theorem Prover INKA 4.0
http://www.dfki.de/vse/systems/inka/
TABLEAUX
http://i12www.ira.uka.de/TABLEAUX/
演绎与推理
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
模式识别
Pattern Recognition Tutorial
http://cgm.cs.mcgill.ca/~godfried/teaching/pr-web.html
Pattern Recognition for HCI
http://www-engr.sjsu.edu/~knapp/HCIRODPR/PR_home.htm
RailwayBridge: Medical Applications for Pattern Classifiers
http://www.railwaybridge.co.uk/medimage1.html
Bayesian motion estimation and segmentation
http://www.cs.berkeley.edu/~yweiss/thesis.html
Facial Expression Home Page
http://www.mic.atr.co.jp/~mlyons/facial_expression.html
Keith Price Bibliography Annotated Computer Vision Bibliography:
http://iris.usc.edu/Vision-Notes/bibliography/contents.html
IEEE Transactions on Pattern Analysis and Machine Intelligence
http://www.computer.org/tpami/
Pattern Recognition Information
http://www.ph.tn.tudelft.nl/PRInfo/index.html
http://cgm.cs.mcgill.ca/~godfried/teaching/pr-web.html
Department of Cognitive and Neural Systems at Boston University
http://cns-web.bu.edu/
Attrasoft Neural Network Application Software
http://attrasoft.com/
optical recognition objectives
http://www.gabitus.com/
博弈论
Computers, Games and the Real World
http://www.sciam.com/1998/1198intelligence/1198ginsberg.html
Machine Learning in Games
http://satirist.org/learn-game/
How Machines have Learned to Play Othello
http://www.neci.nj.nec.com/ homepages/mic/ps/IEEE.pdf
Amit's Thoughts on Path-Finding
http://theory.stanford.edu/~amitp/GameProgramming/
Game AI
http://www.gameai.com/ai.html
Journal & Book Publications on Othello Programs
http://www.neci.nj.nec.com/homepages/mic/publications.html
Chinook
http://www.cs.ualberta.ca/~chinook/
Project: Von Neumann
http://www.krl.caltech.edu/~charles/alife-game/
自适应
READY: User-Oriented Resource-Adaptivity
http://w5.cs.uni-sb.de/~ready/ready-pubs.html
Algorithms for Adaptive Sampling Designs
http://www.eecs.umich.edu/~qstout/abs/Seattle97
Complex Adaptive Systems
http://www.aic.nrl.navy.mil/~spears/
Intelligent Motion Control with an Artificial Cerebellum
http://www.q12.org/phd.html
Piranha and Adaptive Parallelism
http://www.cs.yale.edu/HTML/YALE/CS/Linda/piranha.html
The Adaptive Technology Resource Centre
http://www.utoronto.ca/atrc/
Adaptive Environments Center, Inc.
http:// www.adaptenv.org/
Institute for Adaptive and Neural Computation
http://anc.ed.ac.uk/
Complex Adaptive Systems Research
http://www.casresearch.com/
基于规则系统
Rule-Based Systems
http://www.cee.hw.ac.uk/~alison/ai3notes/section2_4_4.html
Rule-Based Systems Overview
http://www.managingchange.com/rules/overview.htm
Constraints and Rule-based Systems
http://www.cs.unh.edu/ccc/archive/constraints/links/rule.html
Rule-Based Systems: Mechanisms and Efficiency
http://www.classes.cs.uchicago.edu/archive/2002/winter/cs25000/slides/class3
.ppt
Principles and Practice in Verifying Rule-Based Systems
http://www.csd.abdn.ac.uk/~apreece/Pubs/KER92.html
Improving O & M Problem Diagnosis with Rule-Based Computer Systems
http://www.fluidknowledge.com/fksite/papers/rule_based/
V, V&T of New Technology: Rule-Based Systems
http://www.cs.bris.ac.uk/Research/Safety/projects/pdf/VVT.pdf
The Myth of Modularity In Rule-Based Sys'I'tems for Reasoning With Uncertainty
http://www2.sis.pitt.edu/~dsl/UAI/UAI86/Heckerman2.UAI86.html
Rule-Based Diagnostic Systems
http://users.aber.ac.uk/cjp/diagnosticbook/rulebased.html
A Software Engineering Methodology for Rule-based Systems
http://www.computer.org/tkde/tk1990/k0173abs.htm
Uncertain Rule-Based Fuzzy Logic Systems: Introduction and New Directions (Boo
k) 2001
http://vig.pearsoned.com/store/product/0 ,store-562_banner-0_isbn-0130409693
,00.html
Building Rule-Based Systems (Course)
http://www.ers.com/Services/Training/Building_Rule-Based_Systems/body_buildi
ng_rule-based_systems.html
Machine Learning: Rule-Based Systems
http://citeseer.nj.nec.com/MachineLearning/RuleBasedSystems/
Neural Fuzzy Systems with Fuzzy Rule-Based Systems
http://www.abo.fi/~rfuller/nfs.html
Production Systems for Rule-Based Programming
http://www.haley.com/0409381557844170/ProductionSystems.html
On the Expressiveness of Rule-Based Systems for Reasoning with Uncertainty
http://www-ksl.stanford.edu/KSL_Abstracts/KSL-87-53.html
Decision Trees and Rule-Based Systems
http://www.cs.wisc.edu/~schenney/courses/cs638-f2001/lectures/cs638-17.ppt
Mycin - Rule-Based Systems
http://www.chip.org/chip/courses/1999.6.872/Presentations/IntroDSS/sld007.ht
m
Parallel Rule-Based Systems
http://www.cs.columbia.edu/~sal/par-rule.html
Rule-Based Systems - A Core Technology of Expert Systems
http://web.njit.edu/~scherl/Classes/DistanceL/Ram/rbs.html
Using Fuzzy Rule-Based Systems To Evaluatem Overall Financial Performance of G
overnments
http://www-cpr.maxwell.syr.edu/faculty/duncombe/papers/Using%20fuzzy%20rule.
pdf
Automatic Design of Fuzzy Rule-Based Systems
http://ais.gmd.de/~surmann/fuzzy/
Rule-Based Data Mining (RBDM)
http://www.ifcomputer.com/forum/inap/msg00104.html
Experiments in Knowledge Refinement for a Large Rule-Based System
http://www.maps.cs.cmu.edu/papers/HarvT93.html
Validation of Intelligence in Large Rule-Based Systems with Common Sense
http://ase.arc.nasa.gov/mvi/abstracts/WJarrold.ppt
Uncertain Rule-Based Fuzzy Logic Systems for Wireless Communications
http://www.conferences.unimelb.edu.au/fuzzy/MendelAbstract.pdf
CLIPS Rule-Based Language
http://www.siliconvalleyone.com/clips.htm
Fuzzy Rule-Based Systems
http://www.ie.osakafu-u.ac.jp/~hisaoi/ci_lab_e/research/frbs.html
Rule-based Expert Systems for Information Retrieval
http://www.birkhauser.com/hypermedia/cyb10.html
Implementing Rule-Based Online Expert Systems
http://www.thenewalchemist.com/Personal/presentations/ExpertSystemsII/
Feasibility of General Purpose Rule-Based MT Systems
http://clwww.essex.ac.uk/MTbook/HTML/node90.html
Optimization Of Real-Time Rule-Based Expert Systems
http://www.cs.ucla.edu/csd/IDM99/Proceedings/Summaries/Cheng.htm
Rule-Based Intrusion Detection
http://www.sei.cmu.edu/str/descriptions/rbid_body.html
Set-Oriented Constructs for Rule-Based Systems
http://www.pasik.net/ajpcv/AJPCV_files/caia.pdf
人工智能应用
Neural Application Software
http://attrasoft.com/
License Plate and Container Recognition
http://www.htsol.com/
Prime Time Freeware for AI
http://www.ptf.com/ptf/products/AI/
The MatterHorn Materials Discovery Database
http://www.imagination-engines.com/af98-190/FINAL1.htm
Dendral and Congen
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/reasonng/chem/co
ngen/0.html
Applications of AI in Education
http://www.acm.org/crossroads/xrds3-1/aied.html
Artificial Intelligence Systems in Routine Clinical Use.
http://www.coiera.com/ailist/list.html
TMYCIN: Medical Reasoning System
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/reasonng/medical
/tmycin/0.html
GEOMET Technologies, Inc.
http://www.geomet.com/ai.htm
Tactical guidance system for military aircraft
http://techreports.larc.nasa.gov/ltrs/PDF/aiaa-89-3525.pd
转自http://bbs.fudan.sh.cn/cgi-bin/bbs/bbscon?b=AI&f=T.1200468171.A&n=1988