Artificial intelligence programming-ahem, I am also a porter....
AI Programming Resourceshttp://www.cs.berkeley.edu/~russell/prog.html PC AI - Logic ProgrammingPC AI - Artificial Intelligence Computational Logichttp://archive.museophile.sbu.ac.uk/compulog/http://Genetic-Programming.orggenetic-programming.org-Home-Page ILOG, Inc.IBM - ILOG is now part of IBM University of Washington: Constraint-Based SystemsUW Constraint-Based Systems Declarative Systems & Software Engineering (DSSE) GroupDependable Systems & Software Engineering Research Group Extreme SoftwarePrice Request Topics in Information Processing 2CS24: Declarative Languages2cs24 Declarative Constraint Logic Programminghttp://www.ai.univie.ac.at/oefai/clp/Catalog of compilers: CLP(R)http://citeseer.nj.nec.com/24834.htmlhttp://www.cs.unh.edu/ccc/archive/ comp.lang.functional FAQhttp://www.cs.nott.ac.uk/Department/Staff/gmh/faq.html MondrianMondrian's E-Cigs John McCarthyJohn McCarthy Screamer Tool Repositoryhttp://www.cis.upenn.edu/~screamer-tools/home.html Lisp Resourceshttp://eksl-www.cs.umass.edu/lisp-resources/Successful Lisp Mercury Projecthttp://www.cs.mu.oz.au/research/mercury/ The Miranda Programming LanguageThe Miranda Programming Language Mozart Programming Systemhttp://www.mozart-oz.org/ Oz Programming SystemThe Oz Programming System Logic Programming AssociatesWelcome to LPA Cetus Links: Prologhttp://www.cetus-links.org/oo_prolog.html The Scheme Programming LanguageThe Scheme Programming Languagehttp://Schemers.orgWelcome to schemers.org! CMU Scheme Repositoryhttp://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/lang/scheme/0.
HTML
natural language processing
HNC natural language understanding and processing website Welcome to HNC natural language understanding website! comp.speech WWW Site [UK] - Information on speech technology products and soft
ware.comp.speech WWW site Computational Semiotics and Fuzzy Linguisticshttp://www.ldv.uni-trier.de:8080/ldvpage/rieger/pub/aufsaetze/ssa96/ssa96-ab
stract.html Computational SemioticsComputational Semiotics Grammar Formalismshttp://cslu.cse.ogi.edu/HLTsurvey/ch3node5.html Grammatical InferenceHomepage of the Grammatical Inference Community LINGUIST List virtual libraryhttp://www.emich.edu/~linguist/www-vl.html "String Searching Algorithms" Bookhttp://homepages.tesco.net/~gas/ssa/ AGFL Grammar Work LabThe AGFL Grammar Work Lab Natural Language Software RegistryRegistry
Neural Network
Neural Networks Tutorial Reviewhttp://hem.hj.se/~de96klda/NeuralNetworks.htmhttp://www.cnblogs.com/xypfs21/admin/ftp://ftp.sas.com/pub/neural/FAQ.html Image Compression with Neural Networkshttp://www.comp.glam.ac.uk/digimaging/neural.htm Backpropagator's ReviewBackpropagator's Review Bibliographies on Neural Networkshttp://liinwww.ira.uka.de/bibliography/Neural/ Intelligent Motion Control with an Artificial CerebellumRussell Smith Kernel MachinesKernel-Machines.Org Some Neural Networks Research Organizationshttp://www.ieee.org/nnc/NEURAL Neural Network Modeling in Vision Researchhttp://www.rybak-et-al.net/nisms.html Neural Networks and Machine LearningUofT Machine Learning Neural Application SoftwareImage & Video identification, visual search software for Quality Control Product ID, Tag-less ID, website image search engine, and video surveillance Neural Network Toolbox for MATLABhttp://www.mathworks.com/products/neuralnet/ Netlab Softwarehttp://www.ncrg.aston.ac.uk/netlab/ Kunama Systems Limitedhttp://www.kunama.co.uk/
AI Tutorial Reviewhttp://www-2.cs.cmu.edu/Groups/AI/html/faqs/top.htmlhttp://www-formal.stanford.edu/jmc/whatisai/whatisai.htmlhttp://psych.utoronto.ca/~reingold/courses/ai/http://spinoza.tau.ac.il/hci/dep/philos/ai/links.htmlhttp://www.csc.liv.ac.uk/~frans/OldLectures/2CS24/ai.html Journal of Artificial Intelligence Researchhttp://www.jair.org/ The Turing Test and Intelligencehttp://www.abelard.org/turing/tur-hi.htm AI Resourceshttp://www.aaai.org/Pathfinder/pathfinder.htmlhttp://www.cs.berkeley.edu/~russell/ai.htmlhttp://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/other/rep
ositories.htmlhttp:// ai.iit.nrc.ca/ai_point.htmlhttp:// www. Compinfo-center.com/tpai-t.htm AI Programming Resourceshttp:// www. **Some AI Research Organizationshttp://**: // www. **expert system
Introduction to Expert Systemshttp://members.aol.com/jacksonpe/music1/introduc.htmhttp://www.csc.liv.ac.uk/~frans/OldLectures/2CS24/expertSys.html Berkeley Expert System Technology labhttp://best.me.berkeley.edu/ Jess, the Expert System Shell for the Java Platformhttp://herzberg.ca.sandia.gov/jess CLIPS: A Tool for Building Expert Systemshttp://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 Intelligencehttp://www.aiinc.ca/ HUGIN EXPERThttp://www.hugin.com/cases/ Computer program designed to solve standard American crosswordshttp://www.cs.duke.edu/~keim/proverb/ GEOMET Technologies, Inc.http://www.geomet.com/ai.htm ExpLore Reasoning Systems: Business rule and expert systemhttp://www.ers.com/
knowledge representation
Knowledge Representationhttp://pages.cpsc.ucalgary.ca/~kremer/courses/CG/CGlecture_notes.html Knowledge Discovery In Databases: Tools and techniqueshttp://www.acm.org/crossroads/xrds5-2/kdd.html Resource Description Framework (RDF) Schema Specification 1.0 ,W3C Candidate R
ecommendation 27 March 2000http://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 Webhttp://www.w3.org/RDF/ Knowledge Interchange Format (KIF)- Knowledge Interchange Format (KIF), a DARP
A project based format for exchanging pieces of knowledge baseshttp://logic.stanford.edu/kif/kif.html Data Mining And Knowledge Discoveryhttp://www.ingber.com/path98_datamining.pdf AI Knowledge-Based Systemshttp://www.ai.univie.ac.at/oefai/kbs/index.html Knowledge Representation Resourceshttp://www.cs.cofc.edu/~manaris/ai-education-repository/
machine learning
Machine Learning Tutorialhttp://robotics.stanford.edu/people/nilsson/mlbook.html Reinforcement Learning:An Introductionhttp://www-anw.cs.umass.edu/~rich/book/the-book.html The Journal of Machine Learning Researchhttp://www.jmlr.org/ Online Machine Learning Resourceshttp://www.ai.univie.ac.at/oefai/ml/ml-resources.htmlhttp://www.mlnet.org/ Machine Learning at AAAIhttp://www.aaai.org/Pathfinder/html/machine.html Active Logic - inference engine that incorporates a history of their reasoning
as they runhttp:// www.cs.umd.edu/projects/active/ Machine Learning in Gameshttp:// satirist.org/learn-game/ Machine Learning Grouphttp:// **Knowledge Acquisition for Expert Systems at Acquired Intelligencehttp:// www.aiinc.ca/robot
China Robotics Web Siteshttp://www.robotschina.com/ Robot Science & Technology - magazinehttp://www.robotmag.com/ Mobile Robotics Research Group, Edinburgh Universityhttp://www.dai.ed.ac.uk/groups/mrg/MRG.html robort topics and linkshttp://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 crawlshttp:// robotics. TCP/IP Australia's Telerobot on the Webhttp:// telerobot.mech.uwa.edu.au/ RoboCup: The Robot World Cuphttp:// www. Robocup.org/02.html Intelligent Proxy
Intelligent Agent Tutorial Reviewhttp:// www.magma.ca/~ mrw/agents/http://agents.umbc.edu/introduction/http://www.davidreilly.com/topics/software_agents/ A Perspective on Software Agents Researchhttp:// agents. **Intelligent Agents: Theory and Practicehttp:// www.ecs.soton.ac.uk/~ nrj/download-files/KE-REVIEW-95.ps Software Agents: An Overviewhttp://** ao.html Mobile Agents and the Future of the Internethttp:// www. **Intelligent Agent Resourcehttp:// 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 Theoryhttp://www-lp.doc.ic.ac.uk/UserPages/staff/ft/alp/comment/proof.html FTP'2000http://www.uni-koblenz.de/ftp00/ Mathematical Reasoning Grouphttp://dream.dai.ed.ac.uk/ Description of the HOL Theorem Proving Systemhttp://lal.cs.byu.edu/lal/hol-desc.html Isabellehttp://www.cl.cam.ac.uk/Research/HVG/Isabelle/ Software, Theorem Provershttp://www.tcs.informatik.uni-muenchen.de/~matthes/logikserver/software.html
Inductive Theorem Prover INKA 4.0http:// www.dfki.de/vse/systems/inka/ TABLEAUXhttp:// i12www.ira.uka.de/TABLEAUX/ deduction and reasoning
Mechanized Reasoning Systemshttp://www-formal.stanford.edu/clt/ARS/systems.html International Journal of Approximate Reasoninghttp://seraphim.csee.usf.edu/Nafips/ijar.html Case-Based Reasoninghttp://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 Algorithmshttp://www.inference.phy.cam.ac.uk/mackay/itprnn/ps/ Exploring the Labyrinth of the Mindhttp://www.nytimes.com/books/97/07/20/reviews/hofstadter-magazine.html TMYCIN: Medical Reasoning Systemhttp://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/reasonng/medical
/T/h/0.html Reasoning about Computational Resource Allocationhttp:// www. **Qualitative Reasoning Research at UT Austinhttp:// www.** Qualitative Reasoning Group, Northwestern Universityhttp:// www.qrg.ils.nwu.edu/ Formal Reasoning Grouphttp:// www-formal.stanford.edu/ Case-Based Reasoninghttp:// www.ai-cbr.org/ Integrated Reasoning Group Overviewhttp:// www.iit.nrc.ca/IR_public/english.html pattern recognition
Pattern Recognition Tutorialhttp://cgm.cs.mcgill.ca/~godfried/teaching/pr-web.html Pattern Recognition for HCIhttp://www-engr.sjsu.edu/~knapp/HCIRODPR/PR_home.htm RailwayBridge: Medical Applications for Pattern Classifiershttp://www.railwaybridge.co.uk/medimage1.html Bayesian motion estimation and segmentationhttp://www.cs.berkeley.edu/~yweiss/thesis.html Facial Expression Home Pagehttp://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 Intelligencehttp://www.computer.org/tpami/ Pattern Recognition Informationhttp://www.ph.tn.tudelft.nl/PRInfo/index.htmlhttp://cgm.cs.mcgill.ca/~godfried/teaching/pr-web.html Department of Cognitive and Neural Systems at Boston Universityhttp://cns-web.bu.edu/ Attrasoft Neural Network Application SoftwareImage & Video identification visual search software for Quality Control, Product ID, Tag-less ID, website image search engine, and video surveillance optical recognition objectiveshttp:// www.gabitus.com/game theory
Computers, Games and the Real Worldhttp:// www.sciam.com/1998/1198intelligence/1198ginsberg.html Machine Learning in Gameshttp:// satirist.org/learn-game/ How Machines have Learned to Play Othellohttp:// www.neci.nj.nec.com/homepages/mic/ps/IEEE.pdf Amit's Thoughts on Path-Findinghttp:// theory. **Game AIhttp:// www.gameai.com/ai.html Journal & Book Publications on Othello Programshttp:// www.** Chinookhttp:// www.cs.ualberta.ca/~ chinook/ Project: Von Neumannhttp:// www.krl.caltech.edu/~charles/alife-game/ adaptive
READY: User-Oriented Resource-Adaptivityhttp:// w5.cs. **Algorithms for Adaptive Sampling Designshttp:// www.** Complex Adaptive Systemshttp:// www. Aic.nrl.navy.mil/##s/ Intelligent Motion Control with an Artificial CerebellumRussell Smith Piranha and Adaptive Parallelismhttp:// www. **The Adaptive Technology Resource Centrehttp:// www.utoronto.ca/atrc/ Adaptive Environments Center, Inc.http:// http:// www.adaptenv.org/ Institute for Adaptive and Neural Computationhttp:// anc.ed.ac.uk/ Complex Adaptive Systems Researchhttp:// www.casresearch.com/rule-based system
Rule-Based Systemshttp://www.cee.hw.ac.uk/~alison/ai3notes/section2_4_4.html Rule-Based Systems Overviewhttp://www.managingchange.com/rules/overview.htm Constraints and Rule-based Systemshttp://www.cs.unh.edu/ccc/archive/constraints/links/rule.html Rule-Based Systems: Mechanisms and Efficiencyhttp://www.classes.cs.uchicago.edu/archive/2002/winter/cs25000/slides/class3
.ppt Principles and Practice in Verifying Rule-Based Systemshttp://www.csd.abdn.ac.uk/~apreece/Pubs/KER92.html Improving O & M Problem Diagnosis with Rule-Based Computer Systemshttp://www.fluidknowledge.com/fksite/papers/rule_based/ V, V&T of New Technology: Rule-Based Systemshttp://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 Systemshttp://users.aber.ac.uk/cjp/diagnosticbook/rulebased.html A Software Engineering Methodology for Rule-based Systemshttp://www.computer.org/tkde/tk1990/k0173abs.htm Uncertain Rule-Based Fuzzy Logic Systems: Introduction and New Directions (Boo
k) 2001http://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 Systemshttp://citeseer.nj.nec.com/MachineLearning/RuleBasedSystems/ Neural Fuzzy Systems with Fuzzy Rule-Based Systemshttp://www.abo.fi/~rfuller/nfs.html Production Systems for Rule-Based Programminghttp://www.haley.com/0409381557844170/ProductionSystems.html On the Expressiveness of Rule-Based Systems for Reasoning with Uncertaintyhttp://www-ksl.stanford.edu/KSL_Abstracts/KSL-87-53.html Decision Trees and Rule-Based Systemshttp://www.cs.wisc.edu/~schenney/courses/cs638-f2001/lectures/cs638-17.ppt
Mycin - Rule-Based Systemshttp://www.chip.org/chip/courses/1999.6.872/Presentations/IntroDSS/sld007.ht
m Parallel Rule-Based Systemshttp://www.cs.columbia.edu/~sal/par-rule.html Rule-Based Systems - A Core Technology of Expert Systemshttp://web.njit.edu/~scherl/Classes/DistanceL/Ram/rbs.html Using Fuzzy Rule-Based Systems To Evaluatem Overall Financial Performance of G
overnmentshttp://www-cpr.maxwell.syr.edu/faculty/duncombe/papers/Using%20fuzzy%20rule.
pdf Automatic Design of Fuzzy Rule-Based Systemshttp://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 Systemhttp://www.maps.cs.cmu.edu/papers/HarvT93.html Validation of Intelligence in Large Rule-Based Systems with Common Sensehttp://ase.arc.nasa.gov/mvi/abstracts/WJarrold.ppt Uncertain Rule-Based Fuzzy Logic Systems for Wireless Communicationshttp://www.conferences.unimelb.edu.au/fuzzy/MendelAbstract.pdf CLIPS Rule-Based Languagehttp:// www.siliconvalleyone.com/clips.htm Fuzzy Rule-Based Systemshttp:// www. **Rule-based Expert Systems for Information Retrievalhttp:// www.birkhauser.com/hypermedia/cyb10.html Implementing Rule-Based Online Expert Systemshttp:// www.** Feasibility of General Purpose Rule-Based MT Systemshttp:// clwww.essex.ac.uk/MTbook/HTML/node90.html Optimization Of Real-Time Rule-Based Expert Systemshttp:// www. **Rule-Based Intrusion Detectionhttp:// www. Speechset-Oriented Constructs for Rule-Based Systemshttp:// www. pasik.net/ajpcv/AJPCV_files/caia.pdf人工智能应用
Neural Application SoftwareImage & Video identification, visual search software for Quality Control, Product ID, Tag-less ID, website image search engine, and video surveillance License Plate and Container Recognitionhttp://www.htsol.com/ Prime Time Freeware for AIhttp://www.ptf.com/ptf/products/AI/ The MatterHorn Materials Discovery Databasehttp://www.imagination-engines.com/af98-190/FINAL1.htm Dendral and Congenhttp://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/reasonng/chem/co
ngen/0.html Applications of AI in Educationhttp://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 Systemhttp://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 aircrafthttp://techreports.larc.nasa.gov/ltrs/PDF/aiaa-89-3525.pdfStart Building Today with a Free Trial to 50+ Products
Learn and experience the power of Alibaba Cloud.
Sign Up Now