├── README.md ├── links.txt └── parse.py /README.md: -------------------------------------------------------------------------------- 1 | # AI Links 2 | 3 | The file [links.txt](links.txt) is a list of web links that we recommended, back in the early 2000s. We are no longer maintaining this list, but have put it here for anyone to use as they see fit. 4 | 5 | # Format 6 | 7 | Each line in [links.txt](links.txt) has the format: *Title*`*` *url* *topics*.*genre* *comment*   For example, 8 | 9 | Agents Web (UMBC)* http://agents.umbc.edu intro,agents.edu Great site for agent news and software. 10 | 11 | is a line whose fields are as follows: 12 | 13 | title = 'Agents Web (UMBC)' 14 | star = True 15 | url = 'http://agents.umbc.edu' 16 | topics = {'intro', 'agents'} 17 | genre = 'edu' 18 | comment = 'Great site for agent news and software.' 19 | 20 | The `*` character at the end of the title is optional; if present it means that the link is *highly recommended*. The `title` ends where the `url` begins; a url starts with `http:`, `https:`, `ftp:`, or `mailto:` (so those strings can't occur in a title). The `url` ends with whitespace, then we have one or more comma-separated topics followed by a `.` and exactly one `genre`. Everything after that is the `comment`. We supply [code](parse.py) to parse this format. The topics and genres are as follows: 21 | 22 | |TOPIC|Description| |GENRE|Description| 23 | |-----|-----------|-|-----|-----------| 24 | intro | Overview of AI||ref|reference 25 | agents| Intelligent Agents||list | Lists of Links 26 | search| Search and Game Playing||jour | Journals 27 | logic | Logic and Knowledge Representation||people | People 28 | planning | Planning||com | Companies 29 | uncertainty | Reasoning with Uncertainty||news | News & Mail lists 30 | learning | Machine Learning||soft| Software 31 | nlp | Natural Language Processing||edu | University Research Groups 32 | robotics | Perception and Robotics||org | Nonprofit Organizations 33 | phil | Philosophy and the Future||humor | Humor 34 | lisp | AI Programming (Lisp) 35 | python| AI Programming (Python) 36 | prolog| AI Programming (Prolog) 37 | java | AI Programming (Java, etc.) 38 | 39 | 40 | 41 | -------------------------------------------------------------------------------- /links.txt: -------------------------------------------------------------------------------- 1 | 100 Top Cogsci Works http://cogsci.umn.edu/millennium/final.html intro.list List of the 100 top books and articles from the 20th century in Cognitive Science. 2 | AAAI Fellows* http://www.aaai.org/Awards/fellows-list.php intro.people A list of leading researchers recognized by the American Association for AI 3 | AAAI* http://www.aaai.org/ intro.org The leading society for AI 4 | AARON (CyberArt) http://www.kurzweilcyberart.com/ intro,phil,lisp.soft 5 | ACL* http://www.cs.columbia.edu/~acl/home.html nlp.org The Association for Computational Linguistics 6 | AI Communications http://aicom.web.cse.unsw.edu.au/ intro.jour The major European journal on AI 7 | AI Companies* http://www.gwu.edu/~aisoc/company.html intro.com Comprehensive list of 100 or so AI companies. 8 | AI Company http://www.a-i.com intro.com Research company offers overview of AI materials. 9 | AI Depot http://ai-depot.com/Main.html intro.list Site for news, tutorials, discussion on AI. 10 | AI FAQ* http://www.faqs.org/faqs/ai-faq/general/ intro.ref The standard FAQ for all of AI, in 6 parts. 11 | AI Library in C++ http://www.pixelate.co.za/AILib/ java.soft 12 | AI Magazine http://www.aaai.org/Magazine/ intro.jour The leading magazine on AI, published by AAAI. 13 | AI Patents http://164.195.100.11/netacgi/nph-Parser?Sect1=PTO2&Sect2=HITOFF&p=1&u=%2Fnetahtml%2Fsearch-bool.html&r=0&f=S&l=50&TERM1=artificial+intelligence&FIELD1=&co1=AND&TERM2=&FIELD2=&d=pall intro.ref 14 | AI Patents http://sunsite.unc.edu/patents/class/CLASS395.html intro.ref 15 | AI Programming in Java http://www.aiai.ed.ac.uk/training/java.html java.soft A course in Java and AI 16 | AI Review http://kapis.www.wkap.nl/kapis/CGI-BIN/WORLD/journalhome.htm/0269-2821 intro.jour 17 | AI Search (RMIT)* http://www.cs.rmit.edu.au/AI-Search search.edu 18 | AI Stockmarketforum http://www.ai-stockmarketforum.com intro.com 19 | AI Topics* http://www.aaai.org/AITopics/aitopics.html intro.ref AAAI's introduction to the field. Excellent material. 20 | AI Wisdom http://www.aiwisdom.com search.list A catalog of AI game articles. 21 | AI and Databases http://www.cs.umb.edu/~dqg/cs696-1.html logic.ref 22 | AI in Games http://www.gameai.com search.list An online site for games 23 | AI on the WWW http://www.computer.org/pubs/expert/ai-www/ai-www.htm intro.list 24 | AI: Games (Open Directory) http://directory.google.com/Top/Computers/Artificial_Intelligence/Games/ search.list 25 | AI: the movie http://aimovie.warnerbros.com/ intro.soft The movie by Stanley Kubrick 26 | AIAI http://www.aiai.ed.ac.uk/ intro.edu 27 | AIBits http://www.aibits.com/ intro.list 28 | AIExplained http://www.aiexplained.com intro.ref An introductory overview for a non-technical audience 29 | AIMA Bibliography* http://www.cs.berkeley.edu/~russell/aima-bib.html intro.ref List of all 1095 bibliography entries from Artificial Intelligence: A Modern Approach 30 | AIMA Home* http://www.cs.berkeley.edu/~russell/aima.html intro.ref The textbook Artificial Intelligence: A Modern Approach 31 | AIMA code in Prolog http://www-cse.uta.edu/~holder/courses/cse5361/spr95/cse5361.html prolog.soft Prolog code donated by Prof. Larry Holder; partial implementation of the book's code. 32 | AISB http://www.aisb.org.uk intro.org 33 | ANSI Ontology http://WWW-KSL.Stanford.EDU/onto-std/index.html logic.ref 34 | Abbadingo (Grammar Learning) http://abbadingo.cs.unm.edu learning.edu A contest for learning a grammar from examples. 35 | Abelson, Hal http://www-swiss.ai.mit.edu/~hal/hal.html lisp.people MIT prof, author of the best book on intro programming, among other things. 36 | About AI http://aboutai.net intro.list New version of the former about.com AI portal. 37 | Abtech http://www.abtech.com learning.com 38 | Acknosoft http://www.acknosoft.com/ intro.com 39 | Active Logic (UMD) http://www.cs.umd.edu/projects/active/active.html logic.edu 40 | Adam Pease http://home.earthlink.net/~adampease/professional/ logic.people Adam Pease is the Principal Consultant and CEO of Articulate Software. Formerly, he was Director of Knowledge Systems at Teknowledge. 41 | Adaptive Behavior http://mitpress.mit.edu/journal-home.tcl?issn=10597123 learning.jour 42 | Adaptive Control http://www.mech.gla.ac.uk/~nactftp/nact.html learning.edu 43 | Agent Links http://www.cs.mu.oz.au/~leon/agentlinks.html agents.list 44 | Agent Transfer Protocol http://www.trl.ibm.co.jp/aglets/atp/ agents.ref 45 | AgentLink http://www.agentlink.org agents.list Europe's Network of Excellence for Agent-Based Research 46 | AgentNews (UMBC)* http://www.cs.umbc.edu/agentnews/ agents.news A very useful newsletter of current events in the Agents world 47 | Agentis http://www.agentissoftware.com/home.jsp agents.com 48 | Agentland http://www.agentland.com intro,agents.com 49 | Agents (IBM) http://www.research.ibm.com/iagents/ agents.edu 50 | Agents Web (UMBC)* http://agents.umbc.edu agents.edu One of the best sites for agent news and software. 51 | Agents using Java http://www.amazon.com/exec/obidos/ASIN/047139601X java.ref A book on programming agents (mostly for the Internet) in Java 52 | Agentsheets http://www.agentsheets.com agents.soft IDE for developing agents and environments; designed for non-programmers. 53 | Agentware Systems http://www.agentwaresystems.com/ agents.com 54 | Agorics http://www.agorics.com/agorics/ uncertainty.com 55 | Agre, Phil http://weber.ucsd.edu/~pagre/agre.html agents,planning.people 56 | Aha, David http://www.aic.nrl.navy.mil/~aha/ learning.people Researcher at Naval Research Labs. 57 | Alan Perlis Epigrams* http://www-pu.informatik.uni-tuebingen.de/users/klaeren/epigrams.html lisp.humor Former Yale Prof. dispenses nuggets of wisdom. 58 | Allen, James http://www.cs.rochester.edu/u/james/ intro,logic,nlp.people Rochester Prof, AAAI fellow. 59 | Almond, Russ http://www.stat.washington.edu/bayes/almond/almond.html uncertainty.people 60 | Amazon.com's list* http://www.amazon.com/exec/obidos/Subject=Artificial%20Intelligence intro.ref All AI books for sale at Amazon. 61 | American Robot http://www.americanrobot.com robotics.com 62 | Amit's game Programming http://www-cs-students.stanford.edu/~amitp/gameprog.html search.ref Top rated resource for game programming - A*, pathfinding, etc. 63 | Analytical Statistics Package http://eksl-www.cs.umass.edu/clasp.html uncertainty.soft 64 | Anatomy of Chess Programs http://www.cs.ualberta.ca/~tony/ICCA/anatomy.html search.ref 65 | Angoss http://www.angoss.com learning.com 66 | AnswerFriend http://www.answerfriend.com/index.htm nlp.com Company doing NLP question answering. 67 | AnswerLogic http://www.primus.com/Products/AnswerEngine.asp nlp.com Company doing NLP question answering. 68 | Appelt, Doug http://www.ai.sri.com/~appelt/ nlp,planning.people 69 | Arbib, Michael http://www-hbp.usc.edu/people/arbib.htm robotics.people 70 | Arizona State http://rakaposhi.eas.asu.edu/yochan.html planning.edu 71 | Arkin, Ronald http://www.cc.gatech.edu/aimosaic/faculty/arkin/ robotics.people 72 | Articulate Software Inc. http://www.articulateoftware.com logic.com 73 | Articulate Software http://www.articulatesoftware.com logic.com A consulting firm based in the San Francisco California area, specializing in ontology, formal reasoning and natural language understanding. Adam Pease is the principal consultant. 74 | Artificial Intelligence* http://www.elsevier.nl:80/inca/publications/store/5/0/5/6/0/1/ intro.jour The leading journal for AI research publications. 75 | Artificial Life http://mitpress.mit.edu/journal-home.tcl?issn=10645462 learning.jour 76 | Artificial Life http://www.artificial-life.com learning.com 77 | Ascent http://www.ascent.com/ intro,planning.com 78 | Ask Jeeves http://www.ask.com nlp.com Search engine company using NLP for question answering. 79 | Assistum http://www.assistum.com/ logic.com 80 | Assoc for Uncertainty in AI http://www.auai.org/ uncertainty.org Leading organization for researchers in Bayesian networks and related technologies. 81 | Assoc. Lisp Users http://www.lisp.org lisp.org 82 | Attar http://www.attar.com/ logic.com 83 | Austrian AI http://www.ai.univie.ac.at/oefai/oefai.html intro.edu 84 | Auton http://www.cs.cmu.edu/~AUTON/ learning.edu Project doing data mining. 85 | Autonomous (MIT) http://agents.www.media.mit.edu/groups/agents/ agents.edu 86 | Autonomous Robots http://www.wkap.nl/journalhome.htm/0929-5593 robotics.jour 87 | Babylon Expert System ftp://ftp.gmd.de/gmd/ai-research/Software/Babylon/ lisp.soft 88 | Bacchus, Fahiem http://www.cs.toronto.edu/~fbacchus/ planning.people 89 | Ballard, Dana http://www.cs.rochester.edu/u/dana/ robotics.people 90 | Balzer, Bob http://www.usc.edu/dept/cs/faculty/faculty_interests.html#Balzer logic.people 91 | Barto, Andy http://envy.cs.umass.edu/People/barto/barto.html learning.people 92 | Baum, Eric http://www.neci.nj.nec.com/homepages/eric/eric.html learning.people 93 | Bayes Limited* http://www.ai.mit.edu/lab/gsb/gsb-archive/gsb94-11nov11 uncertainty.humor A humorous look at how random events can influence an election. 94 | Bayes Net Toolbox (Matlab) http://www.cs.berkeley.edu/~murphyk/Bayes/bnt.html uncertainty.soft 95 | Bayesia http://www.bayesia.com uncertainty.com Company selling Bayes net software 96 | Bayesian systems http://www.bayes.com/ uncertainty.com 97 | Bayesians list* http://bayes.stat.washington.edu/bayes_people.html uncertainty.people Fairly complete list of people working in Bayesian inference. 98 | Bekey, George http://www-robotics.usc.edu/~bekey/ robotics.people 99 | Berkeley Digital Library http://elib.cs.berkeley.edu/ nlp.edu 100 | Berkeley Robotics http://robotics.eecs.berkeley.edu/ robotics.edu 101 | Berkeley Vision http://http.cs.berkeley.edu/projects/vision/vision_group.html robotics.edu 102 | Berliner, Hans http://www.cais.net/sunburst/chess/hof_berl.html search.people One of the leading researchers in AI game-playing algorithms particularly for chess and backgammon. 103 | Bibel, Wolfgang http://www.inferenzsysteme.informatik.tu-darmstadt.de/~bibel/ logic.people 104 | Biological Foundations of Behavior http://highered.mcgraw-hill.com/olc/dl/41649/san94123_ch03.pdf intro.ref Good overview of the brain, with fancy graphics 105 | Birnbaum, Larry http://dent.infolab.nwu.edu/infolab/people/personal.asp?ID=41 learning.people 106 | Blum, Avrim http://www.cs.cmu.edu/afs/cs.cmu.edu/Web/People/avrim/ learning.people 107 | Boids (flocking agents) http://www.red3d.com/cwr/boids/ planning.soft 108 | Boosting http://www.boosting.org learning.org Repository of info on boosting, ensemble learning, etc. 109 | BotBox http://www.botbox.com agents.com 110 | BotSpot* http://www.botspot.com agents.list Commercial provider of up-to-date information on Internet agents (bots). 111 | Boutilier, Craig http://www.cs.ubc.ca/spider/cebly/craig.html planning,uncertainty.people 112 | Brachman, Ron http://www.research.att.com:80/info/rjb logic.people 113 | Brain in a Vat http://www.mindspring.com/~mfpatton/Tissues.htm phil.humor 114 | Bratko, Ivan http://www-ai.ijs.si/ailab/bratko.html search,prolog.people 115 | Bratman, Michael http://www-philosophy.stanford.edu/fss/mb.html phil.people 116 | Breese, Jack http://research.microsoft.com/users/breese/ uncertainty.people 117 | Brightware http://www.brightware.com/ intro,logic.com 118 | Brill, Eric http://www.cs.jhu.edu/~brill/home.html nlp.people 119 | Brooks, Rod http://people.csail.mit.edu/brooks/ agents,robotics,intro.people 120 | Brown http://www.cs.brown.edu/research/ai/ intro.edu 121 | Brown U. Robotics http://www.cs.brown.edu/research/robotics/ robotics.edu 122 | Buntine, Wray http://www.hiit.fi/u/buntine/ uncertainty.people 123 | Burning Glass http://www.burning-glass.com nlp,learning.com 124 | Bylander, Tom http://www.cs.utsa.edu/~bylander learning.people 125 | CAMIS (Stanford Medical) http://camis.stanford.edu/ uncertainty.edu 126 | CBCL (MIT) http://www.ai.mit.edu/projects/cbcl/web-homepage/web-homepage.html learning.edu 127 | CEDAR http://www.cedar.buffalo.edu/ nlp.edu 128 | CIRL http://www.cirl.uoregon.edu/ planning,search.edu 129 | CLIG Linguistic data grapher http://www.ags.uni-sb.de/~konrad/clig.html nlp.soft 130 | CLIPS http://www.ghg.net/clips/CLIPS.html logic,lisp.soft 131 | CMU AI Repository: NLP http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/other/nlp.html nlp.soft 132 | CMU NavLab http://www.cs.cmu.edu/afs/cs.cmu.edu/project/alv/member/www/navlab_home_page.html robotics.edu 133 | CMU Repository http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/other/learning.html learning.soft 134 | CMU Repository* http://www.cs.cmu.edu/Web/Groups/AI/html/repository.html intro.soft A collection of AI software. 135 | CMU Robotics http://www.ri.cmu.edu/ robotics.edu 136 | CMU list http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/other/repositories.html intro.list 137 | CMU* http://www.cs.cmu.edu/ intro.edu One of the top 4 leading computer science departments, with the largest AI group in the world 138 | CS157: Computational Logic http://logic.stanford.edu/classes/cs157/cs157.html logic.edu 139 | Cal Tech Robotics http://robby.caltech.edu/ robotics.edu 140 | Canny, John http://HTTP.CS.Berkeley.EDU/~jfc/ robotics.people 141 | Carbonnel, Jaime http://www.cs.cmu.edu/~jgc/ nlp.people 142 | Cardie, Claire http://www.cs.cornell.edu/Info/People/cardie/ nlp.people 143 | Cedar http://www.cedar.buffalo.edu/ nlp.edu 144 | Celex http://www.kun.nl/celex/ nlp.ref 145 | Center for Intelligent IR (UMass) http://ciir.cs.umass.edu/ nlp.edu 146 | Chalmers, David http://consc.net/chalmers/ phil.people Philosophy Prof. at Arizona 147 | Charles River http://www.cra.com/ intro,agents.com 148 | Charniak, Eugene http://www.cs.brown.edu/people/ec/ intro,nlp,lisp.people 149 | Cheeseman, Peter http://ic.arc.nasa.gov/ic/projects/bayes-group/people/cheeseman/ uncertainty,intro.people 150 | Chess Programming http://www.gamedev.net/reference/programming/features/chess1/ search.soft Comprehensive tutorial on how to program chess 151 | Chess in Lisp ftp://chess.onenet.net/pub/chess/uploads/projects/ search,lisp.soft 152 | Chicago http://www.cs.uchicago.edu/groups/ai/ai/projects.html planning.edu 153 | Chien, Steve http://www-aig.jpl.nasa.gov/public/home/chien/ planning.people 154 | Chinook: checkers* http://www.cs.ualberta.ca/%7Echinook/play.php search.soft 155 | Chomskybot http://stick.us.itd.umich.edu/cgi-bin/chomsky.pl nlp.humor 156 | Classification Soc. http://www.pitt.edu/~csna learning.org 157 | Classification Soc. http://www.pitt.edu/~hirtle/csna.html learning.org 158 | Clementine http://www.spss.com/spssbi/clementine/ learning.com Commercial datamining toolkit. 159 | Cliki CL Links http://ww.telent.net/cliki/index lisp.list Good collection of resources for Common Lisp 160 | Cognitive Robotics (Toronto) http://www.cs.toronto.edu/~cogrobo/ robotics.edu 161 | Cognos http://www.cognos.com/busintell/data_mining.html learning.com 162 | Collins, Alan http://www.ls.sesp.nwu.edu/people/faculty/collins.html learning.people 163 | Colorado State AI http://www.cs.colostate.edu/aigroup.html intro.edu 164 | Common Lisp Hyperspec* http://www.lispworks.com/reference/HyperSpec/Front/index_tx.htm lisp.ref A fantastic online hyperlinked version of the Common Lisp manual 165 | Comp. Ling. Archive http://www.aclweb.org/archive/ nlp.edu 166 | Computational Complexity of Games http://www.ics.uci.edu/~eppstein/cgt/hard.html search.ref Ever wonder if NxN checkers (or Go, or Hex, or ...) is NP-complete? Here's your answer. 167 | Computational Linguistics http://mitpress.mit.edu/interface/journals/j_buttons/COLI_H.gif nlp.jour 168 | Computational Logic http://www.cli.com/index.html intro,logic.com 169 | Computing Machinery http://www.abelard.org/turpap/turpap.htm phil.ref Turing's original paper defining AI and the Turing Test. 170 | Connectionists http://www.cs.cmu.edu/Web/Groups/CNBC/other/connectionists.html learning.news 171 | Cons.org http://www.cons.org lisp.org 172 | Constraints Archive http://www.cirl.uoregon.edu/constraints/ logic.list 173 | Construction Grammar http://www.constructiongrammar.org/ nlp.edu 174 | Cornell Robotics and Vision http://www.cs.cornell.edu/Info/Projects/csrvl/csrvl.html robotics.edu 175 | Crawford, James http://www.cirl.uoregon.edu/crawford/crawford.html logic.people 176 | Croft, Bruce http://ciir.cs.umass.edu/personnel/croft.html nlp.people 177 | Cybion http://www.cybion.com intro,agents.com 178 | Cycorp http://www.cyc.com intro,logic.com 179 | D'Ambrosio, Bruce http://www.cs.orst.edu/~dambrosi uncertainty.people 180 | DFKI Language Technology http://www.dfki.de/lt/ nlp.edu 181 | DFKI NLP Registry http://cl-www.dfki.uni-sb.de/cl/registry/draft.html nlp.soft 182 | DFKI Saarbrucken http://www.dfki.uni-sb.de/ intro.edu 183 | DTP Prover http://logic.stanford.edu/software/dtp/ logic,lisp.soft 184 | Data Mining Products http://www.xore.com/prodtable.html learning.list 185 | Data Mining in Python http://www.stat.columbia.edu/~jakulin/orng/ python,learning.soft Aleks Jakulin's collection of libraries: k-means clustering, fuzzy clustering and hierarchical agglomerative clustering. 186 | David Wilkins http://www.ai.sri.com/~wilkins/ planning.people 187 | Davis, Ernest http://cs.nyu.edu/cs/faculty/davise logic.people 188 | Dawid, Philip http://www.ucl.ac.uk/Stats/staff/index.html#statsdept learning.people 189 | Daxtron Labs http://www.daxtron.com agents.com 190 | De Kleer, Johan http://www.parc.xerox.com logic,lisp.people 191 | DeJong, Jerry http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/dejong.html learning.people 192 | Dean, Tom http://www.cs.brown.edu/people/tld/home.html intro,uncertainty,logic.people 193 | Dechter, Rina http://www.ics.uci.edu/~wwwoffic/Dechter/dechter.html intro,logic.people 194 | Decision Analysis list http://www.lumina.com/DA uncertainty.list 195 | Deep Blue/Kasparov: chess http://www.chess.ibm.com/ search.ref 196 | Delve Project http://www.cs.utoronto.ca/~delve/ learning.soft 197 | Dennett, Daniel http://www.tufts.edu/~ddennett/ phil.people 198 | Dietterich, Tom http://www.cs.orst.edu:80/~tgd/ learning.people 199 | Digital Libraries http://sdcd.gsfc.nasa.gov/ISTO/DLT/ nlp.list 200 | Digital Libraries and Xerox http://www.xerox.com/PARC/dlbx/library.html nlp.edu 201 | Digitool http://www.digitool.com lisp.com 202 | Dorr, Bonnie http://www.umiacs.umd.edu/users/bonnie/ nlp.people 203 | Doyle, Jon http://www.medg.lcs.mit.edu:80/doyle/ logic,agents,planning.people 204 | Dreyfus, Bert http://ist-socrates.berkeley.edu/~hdreyfus/ phil.people 205 | Duda, Richard http://interface.cipic.ucdavis.edu/~duda/ learning.people 206 | Dudek, Gregory http://www.cim.mcgill.ca/~dudek/ robotics.people 207 | Durfee, Ed http://ai.eecs.umich.edu/people/durfee/durfee.html agents.people 208 | Dyer, Mike http://www.cs.ucla.edu/csd/people/faculty_pages/dyer.html nlp.people 209 | ECCAI http://www.eccai.org intro.org ECCAI, the European Coordinating Committee for Artificial Intelligence 210 | EKSL (UMass) http://eksl-www.cs.umass.edu/eksl.html intro,agents.edu 211 | ETAI Journal http://www.ida.liu.se/ext/etai/indexframe.html intro.jour 212 | Ebeling, Carl http://www.cs.washington.edu/people/faculty/ebeling.html search.people 213 | Economics http://www.sims.berkeley.edu/resources/infoecon/ agents.list 214 | Edinburgh http://www.dai.ed.ac.uk/ intro.edu 215 | Elfsoft http://users.aol.com/elfsoft/elfsoft.htm nlp.com 216 | Elkan, Charles http://www.medg.lcs.mit.edu:80/doyle/ logic.people 217 | Ellen Hildreth http://www.wellesley.edu/CS/ehildreth.html robotics.people 218 | Ellman, Tom http://athos.rutgers.edu/~ellman/ learning.people 219 | Empirical Methods for AI http://eksl-www.cs.umass.edu/emai.html phil.ref 220 | Energid http://www.energid.com robotics.com 221 | Entrieva http://www.entrieva.com agents.com 222 | Epilog Prover http://logic.stanford.edu/software/epilog/ logic,lisp.soft 223 | Epiphany http://robotics.stanford.edu/~gjohn/ learning.com 224 | Equicom Inc. http://www.matrixreasoning.com learning.com Company providing 'matrix reasoning' pattern recognition software; some technical material on the site. 225 | Etchemendy, John http://www-csli.stanford.edu/hp/etchemendy.html phil.people 226 | Etherington, David http://www.cirl.uoregon.edu/etherington/index.html logic.people 227 | Ethics in Computing http://www.eos.ncsu.edu/eos/info/computer_ethics/ phil.ref 228 | Evolution Robotics http://www.evlution.com robotics.com 229 | Evolution Robotics http://www.evolution.com robotics.com 230 | Evolutionary Computation http://mitpress.mit.edu/journal-home.tcl?issn=10636560 learning.jour 231 | Excalibur http://www.excalib.com intro,nlp.com 232 | Excite's list http://www.excite.com/computers_and_internet/computer_science/artificial_intelligence/ intro.list 233 | ExperTelligence http://www.expertelligence.com/ intro,logic.com 234 | Fayyad, Usama http://www.digimine.com/about/fayyad.asp uncertainty.people 235 | Feigenbaum, Ed http://www-ksl.stanford.edu/people/eaf/ intro,logic.people One of the founders of expert systems and knowledge representation; former chief scientist of the USAF 236 | Fetch Technologies http://www.fetch.com nlp,learning.com 237 | Finin, Tim http://www.cs.umbc.edu/~finin agents.people University of Maryland Prof. 238 | Fisher, Douglas http://sources.vanderbilt.edu/profile.cfm?ID=162 learning.people 239 | Forbus, Ken http://www.ls.sesp.nwu.edu/people/faculty/forbus/ logic,lisp.people 240 | Formal Reasoning (Stanford) http://www-formal.stanford.edu/ logic.edu 241 | Forsyth, David http://www.cs.berkeley.edu/~daf/ robotics.people 242 | Franz http://www.franz.com lisp.com Leading vendor of Lisp compilers. 243 | Freuder, Eugene http://www.cs.unh.edu/Faculty/ecf.html logic.people 244 | Friedman, Jerome http://stat.stanford.edu/people/faculty/friedman.html learning.people 245 | Friedman, Nir http://robotics.stanford.edu/people/nir uncertainty.people 246 | FutureAI http://www.futureai.com/ intro.list Site for news on AI and robotics. 247 | GA List http://www.aic.nrl.navy.mil/galist/ learning.news 248 | GIB (Bridge) http://www.cirl.uoregon.edu/ginsberg/gibresearch.html search.soft 249 | GSB/GSL (MIT) http://www.ai.mit.edu/people/cgdemarc/gsbgsl.html intro.list 250 | Gabitus http://www.gabitus.com learning.com 251 | Game Links http://www.dis.uniroma1.it/~cadoli/projects/Local++/ search.list AIForge's list of game programming links, some with an AI emphasis. 252 | Game Theory hotlist http://www.cs.wustl.edu/~sds/lists/gametheory.html#agentlearn agents.list 253 | GameDev.net AI http://www.gamedev.net/reference/list.asp?categoryid=18 search.list Links to sites about using AI in game programming 254 | Gamesman http://www.cs.berkeley.edu/%7Eddgarcia/software/gamesman/ search.soft A course in data abstraction and game theory using Scheme code 255 | Gasser, Les http://www.cise.nsf.gov:80/iris/ITOPDhome-02.html agents.people 256 | Gat, Erann http://www-aig.jpl.nasa.gov/public/home/gat/ robotics.people 257 | Geffner, Hector http://www.ldc.usb.ve/~hector logic.people 258 | Gender Genie http://www.bookblog.net/gender/genie.php nlp.soft Program guesses if a passage is written by a male or female. 259 | Generation 5 http://library.advanced.org/18242/index.shtml intro.list 260 | Genesereth, Michael http://logic.stanford.edu/people/genesereth/ logic,agents,intro.people 261 | Gensym http://www.gensym.com intro,planning,logic.com 262 | Gentner, Deidre http://www.psych.nwu.edu/psych/people/faculty/gentner/gentner.html learning.people 263 | Georgia Tech http://www.cc.gatech.edu/ai/ intro.edu 264 | Ginsberg, Matt http://www.cirl.uoregon.edu/ginsberg/index.html intro,logic.people 265 | Girls just wanna defun http://www.poppyfields.net/filks/00103.html lisp.humor 266 | Go Bibliography http://www.gobooks.info search.ref 267 | Goldman, Robert http://rpgoldman.real-time.com/ planning.people 268 | Goldszmidt, Moises http://robotics.stanford.edu/~moises/ uncertainty.people 269 | Google (AI) http://www.google.com/search?q=artificial+intelligence intro.list 270 | Google (Agents) http://www.google.com/search?q=artificial+intelligence+agents agents.list 271 | Google (C++) http://www.google.com/search?q=artificial+intelligence+programming+c%2B%2B java.list 272 | Google (Java) http://www.google.com/search?q=artificial+intelligence+programming+java java.list 273 | Google (KR) http://www.google.com/search?q=artificial+intelligence+knowledge+representation logic.list 274 | Google (Learning) http://www.google.com/search?q=artificial+intelligence+machine+learning learning.list 275 | Google (Lisp) http://www.google.com/search?q=artificial+intelligence+programming+lisp lisp.list 276 | Google (Logic) http://www.google.com/search?q=artificial+intelligence+logic logic.list 277 | Google (NLP) http://www.google.com/search?q=artificial+intelligence+natural+language nlp.list 278 | Google (Philosophy) http://www.google.com/search?q=artificial+intelligence+philosophy phil.list 279 | Google (Planning) http://www.google.com/search?q=artificial+intelligence+planning planning.list 280 | Google (Prolog) http://www.google.com/search?q=artificial+intelligence+programming+prolog prolog.list 281 | Google (Python) http://www.google.com/search?q=artificial+intelligence+programming+python python.list 282 | Google (Robotics) http://www.google.com/search?q=artificial+intelligence+robotics robotics.list 283 | Google (Search) http://www.google.com/search?q=artificial+intelligence+search search.list 284 | Google (Uncertainty) http://www.google.com/search?q=artificial+intelligence+uncertainty uncertainty.list 285 | Google http://www.google.com nlp.com 286 | Graham, Paul http://www.artix.com/biz/artix/who.a.html lisp.people 287 | Graphplan Homepage http://almond.srv.cs.cmu.edu/afs/cs.cmu.edu/usr/avrim/www/graphplan.html planning.ref 288 | Green, Cordell http://www.kestrel.edu/home/people/green/ logic.people 289 | Grosof, Benjamin http://ebusiness.mit.edu/bgrosof/ logic,agents.people 290 | Grosz, Barbara http://www.eecs.harvard.edu/grosz/ intro,nlp.people 291 | Gruden, Rod http://www-robotics.cs.umass.edu/~grupen/home.html robotics.people 292 | HPSG Group http://hpsg.stanford.edu/ nlp.edu 293 | HPSG parser http://eoan.stanford.edu/ergo/parser.html nlp.soft 294 | HTK Hidden Markov Toolkit http://htk.eng.cam.ac.uk/ java.soft Good toolkit for building Hidden Markov Models 295 | Hacker's Dictionary http://www.tuxedo.org/~esr/jargon lisp.humor 296 | Haddawy, Peter http://www.cs.uwm.edu/faculty/haddawy uncertainty.people 297 | Haley Enterprise http://www.haley.com/ intro,logic.com 298 | Hall, Marty http://www.apl.jhu.edu/~hall/ java.people 299 | Hammond, Kris http://people.cs.uchicago.edu/~kris/ learning.people 300 | Hannibal (Othello) http://www.cam.org/~bigjeff/Hannibal.html search.soft 301 | Hansen, Eric http://WWW.CS.MsState.Edu/~hansen planning.people 302 | Hart, Peter http://www.rii.ricoh.com/~hart/ learning.people 303 | Harvard Robotics http://hrl.harvard.edu/ robotics.edu 304 | Haussler, David http://www.cse.ucsc.edu/personnel/faculty/haussler.html learning.people 305 | Hayes, Pat http://www.coginst.uwf.edu/~phayes/ logic,intro.people 306 | Hayes-Roth, Barbara http://www-ksl.stanford.edu:80/people/bhr/index.html agents.people 307 | Hearst, Marti http://www.sims.berkeley.edu/~hearst/ nlp,agents.people 308 | Heckerman, David http://research.microsoft.com/~heckerman/ intro,uncertainty.people 309 | Hendler, Jim http://www.cs.umd.edu/users/hendler learning,planning.people 310 | Henrion, Max http://www.lumina.com uncertainty.people 311 | Hewitt, Carl http://www.ai.mit.edu/people/hewitt/hewitt.html lisp.people 312 | Hinton, Geoffrey http://www.gatsby.ucl.ac.uk/Hinton intro,learning,uncertainty.people 313 | Hirsh, Hyam http://athos.rutgers.edu:80/~hirsh/ learning,uncertainty.people 314 | History of Game Theory http://william-king.www.drexel.edu/top/class/histf.html uncertainty.ref 315 | History of Lisp 1 http://www-formal.stanford.edu/jmc/history/lisp.html lisp.ref 316 | History of Lisp 2 http://www8.informatik.uni-erlangen.de/html/lisp-enter.html lisp.ref 317 | Hobbs, Jerry http://www.ai.sri.com/~hobbs/ logic,nlp.people 318 | Hofstader, Doug http://www.psych.indiana.edu/people/homepages/hofstadter.html learning.people 319 | Hogg, Tad http://www.hpl.hp.com/research/scl/people/tad/ agents,robotics.people Expert in multiagent systems and quantum computing 320 | Honavar, Vasant http://www.cs.iastate.edu/~honavar/ learning,agents.people 321 | Horn, Berthold http://www.ai.mit.edu/people/bkph/bkph.html lisp,robotics.people 322 | Horvitz, Eric http://www.research.microsoft.com/research/dtg/horvitz/ uncertainty,intro.people 323 | Hovy, Ed http://www.isi.edu/natural-language/people/hovy.html nlp.people 324 | Hubble Space Telescope http://www.stsci.edu/public/sst/ planning.edu Use of AI planning and scheduling techniques for the Hublle Space Telescope. 325 | Hugin http://www.hugin.com intro,uncertainty.com 326 | Huhns, Michael http://www.cse.sc.edu/~huhns/ agents.people 327 | Human Language Survey http://www.cse.ogi.edu/CSLU/HLTsurvey/HLTsurvey.html nlp.ref 328 | Hyperparallel http://www.hyperparallel.com/main.html learning.com 329 | IA Zoom http://www.iazoom.com.br/lisp.htm intro.list AI Portal in Portugese 330 | IBM Data Mining http://www.software.ibm.com/data/intelli-mine/ learning.com 331 | I-C2 Systems http://www.i-c2.com intro,agents,planning.com 332 | IEEE http://www.computer.org/ intro.org 333 | IEEE Intelligent Systems http://www.computer.org/intelligent/ intro.jour 334 | IJCAI http://ijcai.org/ intro.org The International Joint Conference on AI 335 | INFORMS http://www.informs.org learning.org 336 | IS Robotics http://www.isr.com/ robotics.com 337 | ISI http://www.isi.edu/sims/knoblock/abstraction.html planning.edu 338 | Illinois http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_RESEARCH/RESEARCH_AREAS/ai.html intro.edu 339 | InXight http://www.inxight.com nlp.com 340 | Information Discovery http://www.datamining.com learning.com 341 | Inquizit http://www.inquizit.com/ nlp.com 342 | Intellicorp http://www.intellicorp.com logic,intro.com 343 | Intelligent Java Applications http://www.mkp.com/books_catalog/bookpage.asp?id=1-55860-420-0&cart= java.soft 344 | Intelligent Wireless Web http://www.amazon.com/exec/obidos/ASIN/0201730634 agents.ref 345 | Interactive Programming in Java http://www.cs101.org/index java.soft The Rethinking CS101 project; this site investigates what happens if we build software as agents rather than algorithms. 346 | Interactive Prolog Guide http://kti.mff.cuni.cz/~bartak/prolog.old/index.html prolog.ref 347 | Intnl. Comp. Chess Ass. http://www.dcs.qmw.ac.uk/~icca/ search.org 348 | Intro to AI http://tqd.advanced.org/2705/ intro.ref 349 | Intro to ILP http://www.comlab.ox.ac.uk/activities/machinelearning/ilp_theory.html learning.ref Introduction to the theory of Inductive Logic Programming 350 | Introduction to ML (Nilsson) http://robotics.stanford.edu/people/nilsson/mlbook.html learning.ref 351 | Iowa State http://www.cs.iastate.edu/~honavar/aigroup.html learning,agents.edu 352 | Irvine ML programs http://www.ics.uci.edu/~mlearn/MLPrograms.html learning.soft 353 | Irvine Machine Learning* http://www.ics.uci.edu/~mlearn/MLRepository.html learning.org A repository of data sets for comparing machine learning algorithms. 354 | Irvine http://www.ics.uci.edu/~mlearn/Machine-Learning.html intro,learning.edu 355 | Isabelle theorem prover http://isabelle.in.tum.de/ logic.soft 356 | Israel, David http://www.ai.sri.com/~israel/ nlp,phil.people 357 | J. Cog. Neuroscience http://mitpress.mit.edu/journal-home.tcl?issn=0898929X learning.jour 358 | J. Computer Vision http://kapis.www.wkap.nl/kapis/CGI-BIN/WORLD/journalhome.htm?0920-5691 robotics.jour 359 | J. Digital Libraries http://link.springer.de/link/service/journals/00799/index.htm nlp.jour 360 | J. Funct. & Logic Prog. http://mitpress.mit.edu/journal-home.tcl?issn=10805230 lisp.jour 361 | J. Learning Sciences http://www.cc.gatech.edu/aimosaic/faculty/kolodner/jls/ learning.jour 362 | J. of Automated Reasoning http://kapis.www.wkap.nl/kapis/CGI-BIN/WORLD/journalhome.htm?0168-7433 learning.jour 363 | JAIR* http://www.cs.washington.edu/research/jair/home.html intro.jour The leading online journal of AI Research. 364 | JESS rule engine http://herzberg.ca.sandia.gov/jess/ java.soft 365 | JPL (NASA) AI http://www-aig.jpl.nasa.gov/ intro.edu NASA's Jet Propulsion Lab runs the robotic exploration of the planets. 366 | JPL AI Group http://www-aig.jpl.nasa.gov/ intro.edu 367 | JPL Planning Group http://www-aig.jpl.nasa.gov/public/planning/ planning.edu 368 | JSAT http://cafe.newcastle.edu.au/daniel/JSAT/ logic,java.soft The Java Satisfiability Library: variants of the DPLL algorithm. 369 | Jam Project http://www.cs.columbia.edu/~sal/JAM/PROJECT/ learning.edu 370 | Java Links* http://www.apl.jhu.edu/~hall/java/ java.list Large collection of links for Java. 371 | JavaBayes http://www.cs.cmu.edu/afs/cs/usr/fgcozman/www/Research/BayesNet/index/index.html java.ref Free Java code to develop and evaluate Bayesian Networks. 372 | Jaynes' book http://omega.albany.edu:8008/JaynesBook.html uncertainty.ref 373 | Joe Lisp http://fivedots.coe.psu.ac.th/~ad/humour/jlisp.html lisp.humor 374 | Johns Hopkins Robotics http://caesar.me.jhu.edu/ robotics.edu 375 | Jordan, Michael http://www.cs.berkeley.edu/~jordan/ intro,learning,uncertainty.people Berkeley Prof., pioneer in neural nets, recently working on Bayesian nets and Graphical Models. 376 | Joshi, Arvind http://www.cis.upenn.edu/~ircs/joshi.html intro,nlp.people 377 | Journal of Stat Software http://www.stat.ucla.edu/journals/jss/ learning.jour 378 | KR.org http://www.kr.org logic.org 379 | Kaelbling, Leslie http://www.cs.brown.edu/people/lpk/home.html agents,intro,uncertainty.people 380 | Kambhampati, Rao http://rakaposhi.eas.asu.edu/rao.html planning.people 381 | Kanal, Laveen http://www.cs.umd.edu:80/users/kanal/ search.people 382 | Kantrowitz, Mark http://www.kantrowitz.com/kantrowitz/mark.html lisp.people 383 | Karlsruhe Bibliography http://liinwww.ira.uka.de/bibliography/ intro.ref 384 | Kasif, Simon http://www.cs.jhu.edu/kasif/home.html learning,uncertainty.people 385 | Kasparov, Gary http://www.kasparov.com/ search.people Russian chess champion 386 | Katz, Boris http://www.ai.mit.edu/people/boris/boris.html nlp.people 387 | Kautz, Henry http://www.cs.washington.edu/homes/kautz/ logic,intro.people 388 | Kearns, Micahel http://www.cis.upenn.edu/~mkearns/ learning.people 389 | Kibler, Dennis http://www.ics.uci.edu/~kibler/ learning.people 390 | Kluwer Journals http://www.wkap.nl/jrnlsubject.htm/M+0+0+0 intro.jour 391 | Knight, Kevin http://www.isi.edu/natural-language/people/knight.html nlp.people 392 | Knight, Tom http://www.ai.mit.edu/people/tk/tk.html lisp.people 393 | Knoblock, Craig http://www.isi.edu/sims/knoblock/homepage.html planning,learning.people 394 | Knowledge Discovery Mine http://www.kdnuggets.com learning.list 395 | Knowledge Discovery&Datamining http://www.kdd.org learning.list 396 | Knowledge Industries http://www.kic.com/ intro,uncertainty.com 397 | Knowledge Systems (Australia) http://www.cse.unsw.edu.au/~ksg/ logic.edu 398 | Knowledge in Games http://www.ai.univ-paris8.fr/~cazenave/SpecInGames/SpecializationInGames.html search.ref 399 | Koalog http://www.koalog.com/php/jcs.php search,planning.com A company offering software for constraint solving and planning and scheduling. 400 | Koenig, Sven http://idm-lab.org/ learning,robotics,uncertainty.people 401 | Koller, Daphne http://robotics.stanford.edu/~koller logic,uncertainty.people 402 | Kolodner, Janet http://www.cc.gatech.edu/aimosaic/faculty/kolodner/ intro,learning.people 403 | Konolidge, Kurt http://www.ai.sri.com/~konolige/ logic.people 404 | Korf, Richard http://www.cs.ucla.edu/~korf/ intro,search.people 405 | Kowalski, Robert http://www-lp.doc.ic.ac.uk/UserPages/staff/rak/rak.html logic,agents.people 406 | Koza, John http://www.genetic-programming.com/johnkoza.html learning.people 407 | Kumar, Vipin http://www.cs.umn.edu/faculty/kumar.html search.people 408 | Kurzweil http://www.kurzweiltech.com intro,robotics.com 409 | LPA http://www.lpa.co.uk/ intro,prolog.com 410 | Laird, John http://ai.eecs.umich.edu/people/laird/index.html learning,agents.people 411 | Lakoff, George http://userwww.sfsu.edu/~rsauzier/Lakoff.html logic,nlp.people 412 | Langley, Pat http://robotics.stanford.edu/users/langley/ learning.people 413 | Langsoft http://www.langsoft.ch nlp.com 414 | Language Shootout http://www.bagley.org/~doug/shootout/ java,lisp,python,prolog.ref List of comparisons of many programming languages for speed, memory, lines of code on small benchmarks 415 | Lansky, Amy http://www.renresearch.com/ planning.people 416 | Learning Sciences http://www.sesp.northwestern.edu/LS/ learning.edu 417 | Lehnert, Wendy http://ciir.cs.umass.edu/personnel/lehnert.html intro,nlp.people 418 | Lemonodor http://www.lemonodor.com lisp.list A mostly Lisp weblog by John Wiseman 419 | Lenat, Douglas http://www.cyc.com/staff.html agents,logic,learning.people 420 | Lesser, Victor http://dis.cs.umass.edu/lesser.html agents.people 421 | Levesque, Hector http://www.cs.toronto.edu/~hector/ agents,logic.people 422 | Lewis, David http://www.daviddlewis.com/ learning,nlp.people 423 | Lieberman, Henry http://lieber.www.media.mit.edu/people/lieber agents.people 424 | Lifschitz, Vladimir http://www.cs.utexas.edu/users/vl logic.people 425 | Ling, Charles http://www.csd.uwo.ca/faculty/ling/ learning.people 426 | Lingo Motors http://www.lingomotors.com/home2.html nlp.com 427 | Linguist http://www.emich.edu/~linguist/ nlp.news 428 | Linguistic Data Consortium http://www.ldc.upenn.edu/ nlp.org 429 | Linguistic Technology http://www.englishwizard.com nlp.com 430 | Linguistics & NLP list http://www.eskimo.com/~rickw/linguistics.html nlp.list 431 | Link Grammar http://www.link.cs.cmu.edu/link/ nlp,java.soft 432 | Lisp & Symbolic Computation http://kapis.www.wkap.nl/kapis/CGI-BIN/WORLD/journalhome.htm?0892-4635 lisp.jour 433 | Lisp FAQ* http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/lisp/top.html lisp.ref Answers your questions about where to get Lisp compilers and code, and some questions about how to program in Lisp. 434 | Lisp HTTP Server http://www.ai.mit.edu/projects/iiip/doc/cl-http/home-page.html lisp.soft 435 | Lisp Humor* http://www.elwoodcorp.com/alu/humor/lisp-humor.html lisp.humor 436 | Lisp Packages http://www.cs.nwu.edu/academics/courses/c25/readings/packages.html lisp.ref 437 | Lisp Refs (CMU) http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/lang/lisp/0.html lisp.list 438 | Lisp Textbook Code http://yoda.cis.temple.edu:8080/UGAIWWW/books/index.html lisp.list 439 | Lisp Tutorial (Civilized) http://www.civilized.com/LispBook/ lisp.ref 440 | Lisp Tutorial (Hopkins) http://www.apl.jhu.edu/~hall/lisp.html lisp.ref 441 | Lisp Tutorial (Texas A&M) http://grimpeur.tamu.edu/~colin/lp/ lisp.ref 442 | Lisp, C++, Java, Dylan http://www.computer.org/pubs/expert/1996/trends/x10010/lisp.htm lisp,java.ref 443 | Local++ http://www.dis.uniroma1.it/~cadoli/projects/Local++/ search,java.soft A C++ framework for local search techniques. 444 | Loebner Prize http://loebner.net/Prizef/loebner-prize.html intro.org 445 | Logic Software http://www-csli.stanford.edu/hp/ logic.soft 446 | Logical Fallacies* http://www.datanation.com/fallacies/ logic.ref 447 | Logistello (Othello) http://www.cs.ualberta.ca/~mburo/log.html search.soft 448 | Logistello (Othello) http://www.neci.nj.nec.com/homepages/mic/ search.soft 449 | Lozano-Perez, Tomas http://www.ai.mit.edu/people/tlp/tlp.html learning.people 450 | Lumina http://www.lumina.com/ intro,uncertainty.com 451 | MAS Journal http://www.wkap.nl/journalhome.htm/1387-2532 agents.jour 452 | MCMC Papers http://www.statslab.cam.ac.uk/~mcmc learning.list Preprints of papers on Markov chain Monte Carlo techniques. 453 | MIT Clinical Decision Making http://medg.lcs.mit.edu/ uncertainty.edu 454 | MIT Mobile Robots http://www.ai.mit.edu/projects/mobile-robots/ robotics.edu Rodney Brooks and his students and co-workers. 455 | MIT Robotics FAQ ftp://rtfm.mit.edu/pub/usenet/news.answers/robotics-faq/ robotics.ref 456 | MIT* http://www.ai.mit.edu/ intro.edu One of the 4 top CS departments and AI groups. 457 | ML Journal http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mitchell/ftp/mlj.html learning.jour 458 | ML Programs (CMU) http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/areas/learning/systems/utexas/progs/0.html learning.soft 459 | ML Resources* http://www.aic.nrl.navy.mil/~aha/research/machine-learning.html learning.list 460 | ML/CBR People* http://www.aic.nrl.navy.mil/~aha/people/all.html learning.people An excellent list of links to people in the machine learning community with emphasis on case-based reasoning. 461 | MLC++ http://www.sgi.com/tech/mlc learning,java.soft 462 | Machine Learning http://mlis.www.wkap.nl/ intro,learning.jour 463 | Machine Learning Dictionary http://www.cse.unsw.edu.au/~billw/mldict.html learning.ref Comprehensive set of online definitions, with links 464 | Machine Learning in Games http://satirist.org/learn-game/ learning,search.list 465 | Machine Translation http://kapis.www.wkap.nl/kapis/CGI-BIN/WORLD/journalhome.htm?0922-6567 nlp.jour 466 | Mackworth, Alan http://www.cs.ubc.ca/spider/mack/ logic,robotics.people 467 | Maes, Pattie http://pattie.www.media.mit.edu/people/pattie/ intro,agents.people 468 | Mahadevan, Sridhar http://www.cs.umass.edu/~mahadeva/ learning,robotics.people 469 | Malik, Jitendra http://HTTP.CS.Berkeley.EDU/~malik/ robotics.people Berkeley Prof. working in computer vision. 470 | Managing Gigabytes* http://www.cs.mu.OZ.AU/mg/ nlp.soft Book that clearly and practically explains how to build an Information Retrieval system. Many systems have been built around the IR code provided here. 471 | Marcus, Mitch http://www.cis.upenn.edu/~mitch/home.html nlp.people 472 | Mark Watson http://www.markwatson.com/books/books.htm agents.soft 473 | Mataric, Maja http://www.cs.brandeis.edu/~maja/ robotics.people Brandeis Prof. working in robotics. 474 | Math Methods of OR http://www.mathematik.uni-ulm.de/or/allgemeines/MMOR/mmor.html uncertainty.jour 475 | Math of Language http://www.cis.upenn.edu/~ircs/mol/mol.html nlp.org 476 | Mathematics HQ http://mathematicshq.com intro.list List of links to math sites 477 | Matroid Decomposition http://www.utdallas.edu/~klaus/mbook.html logic.ref 478 | McAllester, David http://www.ai.mit.edu/people/dam/dam.html search.people 479 | McCarthy, John http://www-formal.stanford.edu/jmc/ logic,intro.people One of the founders of AI, gave the field its name. Stanford Prof. concentrating on nonmonotonic reasoning. 480 | McCoy, Kathy http://www.eecis.udel.edu/~mccoy/ nlp.people 481 | McCune, William http://www.mcs.anl.gov/people/mccune/index.html logic.people 482 | McDermott, Drew http://cs-www.cs.yale.edu/homes/dvm/ intro,logic,learning,lisp.people 483 | McGill http://www.cim.mcgill.ca/ robotics.edu 484 | Mellish, Chris http://www.dai.ed.ac.uk/homes/chrism/ prolog.people 485 | Mercury http://www.cs.mu.oz.au/research/mercury/ prolog.soft 486 | Michie, Donald http://www.aiai.ed.ac.uk/~dm/dm.html intro,search.people 487 | Michigan http://ai.eecs.umich.edu/ intro.edu 488 | Micro Control Jornal http://www.mcjournal.com/ robotics.jour 489 | Microsoft DTG* http://www.research.microsoft.com/research/dtg/ uncertainty,intro.edu The group that brought Bayesian reasoning to the problem of diagnosing problems in Windows. 490 | Miikkulainen, Risto http://www.cs.utexas.edu/users/risto/ learning.people 491 | MindShadow http://www.mindshadow.com learning.com Company using machine learning for Customer Relationship Management, etc. 492 | Minds & Machines http://kapis.www.wkap.nl/kapis/CGI-BIN/WORLD/journalhome.htm?0924-6495 phil.jour 493 | Minimum Message Length http://www.csse.monash.edu.au/~lloyd/tildeMML/index.html learning.edu 494 | Minsky, Marvin http://www.ai.mit.edu/people/minsky/minsky.html intro,learning.people 495 | Minton, Steve http://www.isi.edu/sims/minton/homepage.html learning.people 496 | Mitchell, Melanie http://www.santafe.edu/~mm/ learning.people 497 | Mitchell, Tom http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mitchell/ftp/tomhome.html intro,learning.people CMU Prof. in machine learning, founder of WhizBang Labs, AAAI Fellow, and former president of AAAI. 498 | Mooney, Ray http://www.cs.utexas.edu/users/mooney/ learning,nlp.people 499 | Moore, Andrew http://www.cs.cmu.edu/afs/cs/user/awm/web/hp.html intro,uncertainty,learning.people 500 | Moore, Johanna http://www.cogsci.ed.ac.uk/~jmoore/ nlp.people 501 | Moore, Robert http://www.ai.sri.com/~bmoore/ nlp.people 502 | Moravec, Hans http://www.frc.ri.cmu.edu/~hpm/ robotics.people 503 | Morgenstern, Leora http://steam.stanford.edu/leora logic.people 504 | Mueller, Erik http://www.panix.com/~erik/index.html nlp.people 505 | Muggleton, Steve http://www.comlab.ox.ac.uk/oucl/people/steve.muggleton.html learning.people 506 | Multi-Agent Pointers http://expasy.hcuge.ch/sgaico/html/olb/Sources/Access/Pointers.html agents.list 507 | Multiagent Dynamics ftp://parcftp.xerox.com/pub/dynamics/multiagent.html agents.ref 508 | Murphy, Robin http://www.csee.usf.edu/~murphy/ robotics.people 509 | NASA AI Group http://ti.arc.nasa.gov/ intro.edu 510 | NASA Automated Learning Group http://ic.arc.nasa.gov/ic/projects/bayes-group/ learning.edu Peter Cheeseman and David Wolpert lead this group involved in bayesian model-based learning. 511 | NASA Bayesian Group http://ic-www.arc.nasa.gov/ic/projects/bayes-group/index.html uncertainty,learning.edu 512 | NASA Robots http://robotics.jpl.nasa.gov/groups/rv/homepage.html robotics.edu 513 | NEC Research http://www.neci.nj.nec.com learning.edu 514 | NL software registry http://registry.dfki.de/ nlp.soft 515 | NLBean (Java) http://www.markwatson.com/opensource/opensource.htm nlp,java.soft 516 | NLP Dictionary http://www.cse.unsw.edu.au/~billw/nlpdict.html nlp.ref 517 | NYU Linguistics* http://www.nyu.edu/pages/linguistics/ nlp.edu 518 | Nau, Dana http://www.cs.umd.edu/~nau/ search,planning.people 519 | Naval Research Lab http://www.aic.nrl.navy.mil/~gref/section.html learning.edu 520 | Neal, Radford http://www.cs.utoronto.ca/~radford learning,uncertainty.people 521 | Negotiation Bib http://www.business.carleton.ca/interneg/reference/bibliography.html agents.ref 522 | NeoVista http://www.neovista.com/ learning.com 523 | Neural Net FAQ http://www.aic.nrl.navy.mil/~aha/research/txt/searle.txt learning.list 524 | Neural Nets vs Statistics http://www.aic.nrl.navy.mil/~aha/research/txt/searle.txt learning.list 525 | Neural Software http://wwwipd.ira.uka.de/~prechelt/FAQ/nn6.html#A18 learning.soft 526 | NeuralWare http://www.neuralware.com/prod01.htm learning.com 527 | NeuroDimension http://www.nd.com learning.com 528 | Neuron Data http://www.neurondata.com/ intro,logic,learning.com 529 | Nevatia, Ram http://iris.usc.edu/home/iris/nevatia/User.html robotics.people 530 | New South Wales http://www.cse.unsw.edu.au/~aishare/ intro.edu 531 | New South Wales http://www.cse.unsw.edu.au/~aishare/3.RESEARCH_THEMES/MACHINE.LEARNING/mach.learn.html learning.edu 532 | Newell, Allen http://www.cs.cmu.edu/csd/newell.html intro.people 533 | Nilsson, Nils http://robotics.stanford.edu/users/nilsson/ intro,logic,search,planning,agents.people 534 | Norsys http://www.norsys.com/ intro,uncertainty.com 535 | Norvig, Peter http://www.norvig.com agents,nlp,lisp,python.people AAAI Fellow and co-author of Artificial Intelligence: A Modern Approach. 536 | NovaCast http://www.novacast.se/ logic.com 537 | NovaGenetica http://www.novagenetica.com search.com 538 | Novak, Gordon http://www.cs.utexas.edu/users/novak/index.html logic.people 539 | Nuance http://www.nuance.com/ nlp.com 540 | Nute, Donald http://www.arches.uga.edu/~dnute/ logic,phil.people 541 | O'Keefe, Richard http://www.cs.otago.ac.nz/staff/richard.html prolog.people 542 | O-Plan http://www.aiai.ed.ac.uk/~oplan/ planning.edu 543 | OFAI ML List http://www.ai.univie.ac.at/oefai/ml/ml-ressources.html learning.list 544 | OZ Project (CMU) http://www.cs.cmu.edu/afs/cs.cmu.edu/project/oz/web/oz.html agents.edu 545 | Online Guide to Constraint Programming http://kti.mff.cuni.cz/~bartak/constraints/index.html logic.ref 546 | Online Logic Text* http://www.hofstra.edu/~matscw/logic/logicintro.html logic.ref 547 | Ontolingua* http://www.ksl.stanford.edu/software/ontolingua/ logic.edu 548 | Ontology Page http://www.medg.lcs.mit.edu/top/ logic.ref 549 | Operations Research http://groups.google.com/groups?q=comp.sci-op.research uncertainty.news 550 | Oregon http://cirl.uoregon.edu/ intro.edu 551 | Ortony, Andrew http://www.cs.northwestern.edu/~ortony/ nlp.people 552 | Otter http://www.mcs.anl.gov/home/mccune/ar/otter/index.html logic,java.soft 553 | PC AI http://www.pcai.com/ intro.jour 554 | PDC (Prolog) http://www.pdc.dk prolog,planning.com 555 | PVS verification system http://pvs.csl.sri.com/ logic.soft 556 | Papers on Consciousness* http://www.u.arizona.edu/~chalmers/online.html phil.ref David Chalmers excellent collection of papers on consciousness and philosophy of mind. 557 | Pazzani, Mike http://www.ics.uci.edu/~pazzani/ learning.people 558 | Pearl, Judea http://bayes.cs.ucla.edu/jp_home.html intro,search,uncertainty.people 559 | Peirce, Charles S* http://www.peirce.org/peirce/ logic,phil.people One of the pioneers of logic. An excellent web site. 560 | Perlis, Don http://www.cs.umd.edu/~perlis logic.people 561 | Perry, John http://www-csli.stanford.edu/~john/ phil.people 562 | Petamem http://www.petamem.com nlp.com Perl-based natural language understandding system 563 | Peter Bouthorn mailto:p.bouthoorn@hetnet.nl java.people Co-author of Object Oriented AI in C++ 564 | Peters, Stanley http://www-csli.stanford.edu/users/peters/ nlp.people 565 | Philosophy list http://eserver.org/philosophy/ phil.list 566 | Philosophy of Mind Biblio http://www.u.arizona.edu/~chalmers/biblio.html phil.list Comprehensive Bibliography of Philosophy of Mind by David Chalmers 567 | Philosophy papers online http://www.u.arizona.edu/~chalmers/people.html phil.list 568 | Pinker, Steven http://www.mit.edu/~pinker/ nlp,phil.people 569 | Pittsburgh http://www.isp.pitt.edu/ intro.edu 570 | Planning Domains http://www.cs.umd.edu/projects/planning/ planning.list 571 | Planning List http://rakaposhi.eas.asu.edu/planning-list-digest planning.news 572 | Planning Resources http://eksl-www.cs.umass.edu/planning-resources.html planning.list 573 | Platinum http://www.platinum.com/ learning.com 574 | Poggio, Tomaso http://www.cs.utexas.edu/users/porter learning.people 575 | Pohl, Ira http://www.cse.ucsc.edu:80/~pohl search.people 576 | Pollack, Jordan http://www.cs.brandeis.edu/~pollack/ learning.people 577 | Pollack, Martha http://www.eecs.umich.edu/~pollackm/ planning.people 578 | Pollard, Carl http://www.cog.ohio-state.edu/people/cfaculty/pollard.html nlp.people 579 | Ponce, Jean http://www.beckman.uiuc.edu/faculty/ponce.html robotics.people 580 | Poole, David http://www.cs.ubc.ca/spider/poole intro,logic,uncertainty.people 581 | Porter, Bruce http://www.cs.utexas.edu/users/porter learning.people 582 | Prediction Company http://www.predict.com learning.com 583 | Prolog Dictionary http://www.cse.unsw.edu.au/~billw/prologdict.html prolog.ref Definitions of Prolog terminology 584 | Prolog FAQ* http://www.cis.ohio-state.edu/hypertext/faq/bngusenet/comp/lang/prolog/top.html prolog.ref 585 | Prolog Standard http://www.amazon.com/exec/obidos/ISBN=3540593047/6276-3025864-072092 prolog.ref 586 | Prolog Tutorial http://www.cs.auckland.ac.nz/~jham1/07.363/prolog-for-se.html prolog.ref 587 | Promises of Computing http://www.cs.washington.edu/homes/lazowska/cra/ai.html intro.ref 588 | Proof Power http://www.lemma-one.demon.co.uk/ProofPower logic.soft 589 | Pryor, Louise http://www.dai.ed.ac.uk/staff/personal_pages/louisep/ planning.people 590 | Pullum, Geoff http://ling.ucsc.edu/~pullum/index.html nlp.people 591 | Pustejovsky, James http://www.cs.brandeis.edu/~jamesp/ nlp.people 592 | Putnam, Hilary http://spazioweb.inwind.it/albgaz/putnam/puteng.html logic.people 593 | Puzzle Solving in Python http://users.rcn.com/python/download/puzzle.py python.soft 594 | PyroRobotics http://pyrorobotics.org/ python,robotics.soft Robotics in Python 595 | Python Essential Ref http://www.amazon.com/exec/obidos/ASIN/0735710910 python.ref 596 | Python vs Lisp http://www.norvig.com/python-lisp.html python,lisp.ref 597 | Python.org* http://www.python.org python.ref Home page for the open-source Python language 598 | Quinlan, Ross http://www.cse.unsw.edu.au/~quinlan/ learning.people 599 | R.B. Jones http://www.rbjones.com/ phil.ref 600 | R.B. Jones http://www.rbjones.com/rbjpub/logic/ logic.ref 601 | RL, Mich. St. http://www.cps.msu.edu/rlr learning.edu 602 | Rapaport, W. http://www.cs.buffalo.edu/pub/WWW/faculty/rapaport/ logic.people 603 | Reasoning About Action http://www.cs.utep.edu/actions/researchers.html logic.list List of researchers and groups working on logic-based planning and reasoning about action. 604 | Red Brick http://www.redbrick.com/rbs-g/html/dmoption.html learning.com 605 | Reinforcement (CMU) http://www.cs.cmu.edu/Web/Groups/reinforcement/mosaic/homepage.html learning.edu 606 | Reinforcement Learning Tutorial* http://www.nbu.bg/cogs/events/2000/Readings/Petrov/rltutorial.pdf learning.ref 607 | Reinforcement Learning http://www.cps.msu.edu/rlr learning.edu 608 | Reiser, Brian http://www.ls.sesp.nwu.edu/people/faculty/reiser/ learning.people 609 | Reiter, Ray http://www.cs.toronto.edu/DCS/AI/Reiter.html intro,logic,uncertainty.people 610 | ResearchIndex* http://citeseer.nj.nec.com/cs intro.ref The largest collection of Computer Science research papers on the web. Also known as CiteSeer. 611 | Resnik, Philip http://www.umiacs.umd.edu/users/resnik/ nlp.people 612 | Reynolds, Craig http://www.red3d.com/cwr/ learning.people Creator of the "boids" model of flocking birds and Oscar-winner. 613 | Riesbeck, Chris http://www.cs.northwestern.edu/~riesbeck/ learning,lisp,nlp.people 614 | Riloff, Ellen http://www.cs.utah.edu/~riloff/ nlp.people 615 | Ripley, Brian http://www.stats.ox.ac.uk/~ripley/ learning.people 616 | Rips, Lance http://www.psych.nwu.edu/psych/people/faculty/rips/rips.html nlp.people 617 | Riseman, Edward http://vis-www.cs.umass.edu/~riseman/home.html robotics.people 618 | Risks of AI http://www.eos.ncsu.edu/eos/info/computer_ethics/risks/ai/ phil.ref 619 | Robocup* http://www.robocup.org robotics.org Robotic Soccer leagues 620 | Robosapien Dance Machine http://www.robodance.com/ robotics.soft Open source software for controlling the RoboSapien robot 621 | Robosapien http://www.robosapienonline.com/ robotics.com Remote control anthropomorphic robot for about $100; created by an ex-JPL scientist 622 | Robotic Manipulation http://avalon.caltech.edu/~murray/mls/ robotics.ref 623 | Robotic Systems http://www.robotic.com/ robotics.com 624 | Robots.net http://robots.net robotics.ref 625 | Rochester http://www.cs.rochester.edu/research/ intro.edu 626 | Roman Bartak http://kti.mff.cuni.cz/~bartak/index.html logic,prolog.people 627 | Rosenbloom, Paul http://www.isi.edu/soar/rosenbloom/.personal.html learning.people 628 | Rosenchein, Jeff http://www.cs.huji.ac.il/~jeff/ agents.people 629 | RuleML http://www.ruleml.org logic.soft 630 | Rulequest http://www.rulequest.com/ learning.com 631 | Russell, Stuart http://www.cs.berkeley.edu/~russell/ agents,learning,uncertainty,intro.people Berkeley Prof., AAAI Fellow, and co-author of Artificial Intelligence: A Modern Approach. 632 | SAS http://www.sas.com/software/data_mining/ learning.com 633 | SEL-HPC Theorem Proving Archive http://www.dcs.qmw.ac.uk/SEL-HPC/Articles/TheoremArchive.html logic.list 634 | SGI MineSet http://www.sgi.com/software/mineset.html learning.com 635 | SHAI http://www.shai.com intro,learning.com 636 | SIGART http://www.acm.org/sigart intro.org Special Interest Group on AI of the ACM. 637 | SNePS http://www.cse.buffalo.edu/sneps/ logic.edu 638 | SOAR (CMU) http://www.isi.edu/soar/soar.html learning.edu 639 | SOAR expert system http://ai.eecs.umich.edu/soar/ logic.soft The most famous software architecture for agents. 640 | Soar Technology http://www.soartech.com agents.com Commercializes the SOAR model for training. 641 | SPSS http://www.spss.com/datamine/index.htm learning.com 642 | SRI Cambridge http://www.ldc.upenn.edu/ nlp.edu 643 | SRI NLP http://www.ai.sri.com/natural-language/natural-language.html nlp.edu 644 | SRI* http://www.ai.sri.com/aic/ intro.edu Leading AI research lab. 645 | SUMO Upper Ontology http://www.ontologyportal.org logic.ref 646 | Sacerdoti, Earl http://www.copernican.com:80/earl.html logic,planning.people 647 | Sag, Ivan http://hpsg.stanford.edu/hpsg/sag.html nlp.people Stanford linguistics Prof.; founder of HPSG grammar. 648 | Salford Systems http://www.salfordsystems.com learning.com 649 | Sampson, Geoffrey http://www.cogs.susx.ac.uk/users/geoffs/ nlp.people 650 | Sandewall, Erik http://www.ida.liu.se/~erisa/index-eng.html logic.people 651 | Santa Fe http://www.santafe.edu intro.edu Institute studying nonlinear systems and related problems. 652 | Schaeffer, Jonathan http://www.cs.ualberta.ca/~jonathan/ search.people Alberta Prof. famous for champion checkers playing program 653 | Schank, Roger http://www.engines4ed.org/hyperbook/misc/rcs.html intro,nlp.people CMU Prof.; founded the semantics-based school of NLP in 1970's; now working on computer-assisted education. 654 | Schemers http://www.schemers.com/ lisp.com 655 | Schlimmer, Jeff mailto:schlimmer@microsoft.com learning.people 656 | Schubert, Len http://www.cs.rochester.edu/u/schubert/ intro,logic,nlp.people 657 | Schutze, Hinrich http://www-csli.stanford.edu/~schuetze/csli-homepage.html nlp.people 658 | Searle, John http://ist-socrates.berkeley.edu/~jsearle/ phil.people 659 | Sejnowski, Terry http://www.cnl.salk.edu/CNL/ learning.people 660 | Selker, Ted http://web.media.mit.edu/~selker/ agents.people Expert in Human-Computer Interaction; inventor of the little red pointing device on your IBM laptop computer. 661 | Selman, Bart http://www.cs.cornell.edu/home/selman/ intro,logic.people Cornell Prof. working on stochastic algorithms for satisfiability and elated problems. 662 | Shafer, Glenn http://accounting.rutgers.edu/raw/gsm/glenhome.htm uncertainty.people Founder of Dempster-Shafer uncertainty theory. 663 | Shanahan, Murray http://www.dcs.qmw.ac.uk/~mps/ logic.people Author of Solving the Frame Problem. 664 | Shapiro, Stuart http://www.cs.buffalo.edu/~shapiro/index.html intro,nlp.people 665 | Shavlik, Jude http://www.cs.wisc.edu/~shavlik/ learning.people 666 | Shoham, Yoav http://robotics.stanford.edu/people/shoham/ intro,logic,agents,robotics.people Stanford Prof. working on agents, economic systems. 667 | Signiform http://www.signiform.com nlp.com 668 | Simon, Herbert http://www.psy.cmu.edu/psy/faculty/hsimon/hsimon.html intro,logic,planning.people 669 | Simplify http://www.research.digital.com/SRC/esc/Simplify.html logic.soft 670 | Singh, Munindar http://www.csc.ncsu.edu/faculty/mpsingh agents.people 671 | Singh, Satinder http://www.cs.colorado.edu/~baveja/ learning.people Expert in reinforcement learning. 672 | Singularity Inst. http://singinst.org/ intro.org Studies Verner Vinge's notion of the singularity: the end of human culture as we know it, due to acceleration of technology. 673 | Siscog http://www.siscog.pt planning.com A software company that provides decision-support systems for resource planning and management in transportation companies, especially in the field of railways. 674 | Siskind, Jeffrey http://dynamo.ecn.purdue.edu/~qobi/ lisp.people 675 | Smolka, Gert http://ps-www.dfki.uni-sb.de/~smolka/ logic.people 676 | Smyth, Padhraic http://www-aig.jpl.nasa.gov/home/pjs learning,uncertainty.people 677 | Soar: Cognitive Architecture http://kapis.www.wkap.nl/kapis/CGI-BIN/WORLD/book.htm?0-7923-1660-6 agents.ref 678 | Socratic Arts http://socraticarts.com/ learning.com Company providing online instruction services, based on AI research by Roger Schank and others 679 | Soft Computing http://link.springer.de/link/service/journals/00500/index.htm uncertainty.jour 680 | Softbot (Washington) http://www.cs.washington.edu/research/projects/softbots/www/softbots.html agents.edu 681 | Software Agents* http://www.sics.se/isl/abc/survey.html agents.list 682 | Software for Belief Nets http://bayes.stat.washington.edu/almond/belief.html uncertainty.soft 683 | Software list http://www.emsl.pnl.gov:2080/proj/neuron/ai/systems/ intro.soft 684 | Sowa, John http://users.bestweb.net/~sowa/direct/ logic.people 685 | Spam Archive* http://spamarchive.org nlp.org A collection of spam messages. 686 | Srihari, Sargur http://www.cedar.buffalo.edu/~srihari/ learning.people 687 | Stabler, Ed http://www.humnet.ucla.edu/humnet/linguistics/people/stabler/stabler.htm nlp.people 688 | Stanford Digital Libraries http://www-diglib.stanford.edu/diglib/ nlp.edu 689 | Stanford Robotics http://robotics.stanford.edu/ robotics.edu 690 | Stanford Stats http://playfair.stanford.edu/ uncertainty.edu 691 | Stanford's KSL http://www-ksl.stanford.edu/ logic.edu The Knowledge System Lab at Stanford; the birthplace of expert systems 692 | Stanford* http://www.cs.stanford.edu intro.edu One of the top 4 universities in CS and AI. 693 | Statlib http://lib.stat.cmu.edu/ learning.soft 694 | Steedman, Mark http://www.cogsci.ed.ac.uk/~steedman/ nlp.people 695 | Steele, Oliver http://www.amazon.com/exec/obidos/ASIN/1579122175 nlp,python.people Brandeis Linguistics Prof.; author of PyWordNet. 696 | Stein, Lynn http://www.ai.mit.edu/people/las/las.html intro,planning,agents.people 697 | Stickel, Mark http://www.ai.sri.com/~stickel/ logic.people 698 | Stork, David http://www.rii.ricoh.com/~stork/ learning.people 699 | Strout, Joe http://www.strout.net/python/ python.people 700 | Summer Institute of Linguistics http://www.sil.org/ nlp.org 701 | Sussman, Jerry http://www-swiss.ai.mit.edu/~gjs/gjs.html lisp.people 702 | Sutton, Rich http://www-anw.cs.umass.edu/~rich/sutton.html learning.people 703 | Swartout, Bill http://www.usc.edu/dept/cs/faculty/faculty_interests.html#Swartout logic.people 704 | SweetRules http://sweetrules.projects.semwebcentral.org logic.soft 705 | SyntelSoft http://www.syntel.com/welcome2.html uncertainty.com 706 | Szolovits, Peter http://medg.lcs.mit.edu/people/psz/ intro,uncertainty.people 707 | TARK http://www.tark.org logic,agents.org 708 | TIELT http://nrlsat.ittid.com/ search,learning.edu The Testbed for Integrating and Evaluating Learning Techniques (TIELT) is a free software tool that can be used to integrate AI systems with (e.g., real-time) gaming simulators, and to evaluate how well those systems learn on selected simulation tasks. 709 | TRAINS http://www.cs.rochester.edu:80/research/trains/ planning,nlp,lisp.soft 710 | Tadepalli, Prasad http://www.cs.orst.edu:80/~tadepall/ learning.people 711 | Talmy, Len http://linguistics.buffalo.edu/people/faculty/talmy/talmy.html nlp.people 712 | Tambe, Milind http://www.isi.edu/soar/tambe agents.people 713 | Tanimoto, Steve http://www.cs.washington.edu/research/metip/tanimoto.html robotics.people 714 | Tate, Austin http://www.aiai.ed.ac.uk/~bat/ intro,planning.people 715 | Teknowledge http://www.teknowledge.com/ intro,logic.com 716 | Tetris http://cslibrary.stanford.edu/112/ search.soft Java implementation of the Tetris game with an AI player that does quite well. 717 | Texas http://www.cs.utexas.edu/users/ai-lab/ intro.edu 718 | Texas Research Software http://www.cs.utexas.edu/users/ml/ml-progs.html learning.soft 719 | Texas http://www.cs.utexas.edu/users/ml/ learning.edu 720 | The Data Mine* http://www.cs.bham.ac.uk/~anp/TheDataMine.html learning.list 721 | The Future Doesn't Need Us (B. Joy) http://www.wired.com/wired/archive/8.04/joy.html phil.ref 722 | The Future Needs Us (F. Dyson) http://www.nybooks.com/articles/16053 phil.ref 723 | Theorem Provers http://www-ksl.stanford.edu/people/neller/theorem-provers.html logic.edu 724 | Theorems Proved http://www.mcs.anl.gov/home/mccune/ar/new_results/index.html logic.ref 725 | Thinking Machines http://www.think.com/ learning,intro.com 726 | ThoughtTreasure http://www.signiform.com/tt/htm/tt.htm nlp,lisp.soft 727 | Thrun, Sebastian http://www.cs.cmu.edu/People/thrun/ robotics.people 728 | Thunderstone http://www.thunderstone.com/ nlp.com 729 | Tracy, Kim mailto:kimtracy@bell-labs.com java.people Co-author of Object Oriented AI in C++ 730 | Trajecta http://www.trajecta.com learning.com 731 | Tuppas http://tuppas.com/Artificial-Intelligence/Artificial-Intelligence.htm intro.com AI in Manufacturing 732 | Turing, Alan* http://www.turing.org.uk/turing/ intro,agents,logic,phil.people One of the founders of computing and AI. 733 | U. Maryland http://www.cs.umd.edu/projects/tnpfps/index.html planning.edu 734 | U. Washington http://www.cs.washington.edu/research/projects/ai/www/ai.html planning.edu 735 | U. of Washington Statistics http://www.stat.washington.edu uncertainty.edu 736 | UAI list* http://www.auai.org/auai-people.html uncertainty.people 737 | UCLA Datasets http://www.stat.ucla.edu/data/ learning.soft 738 | UCLA stats http://www.stat.ucla.edu uncertainty.edu 739 | UCPOP http://www.cs.washington.edu/research/projects/ai/www/ucpop.html planning.soft A popular paritial-order planner, with free source code. 740 | UMCP Planner http://www.cs.umd.edu/projects/plus/umcp/manual/ planning,java.soft 741 | UMass http://www.cs.umass.edu/csinfo/groups.html intro.edu 742 | UMass Adaptive Networks http://envy.cs.umass.edu learning.edu 743 | UMass Anytime Reasoning http://anytime.cs.umass.edu/ uncertainty,agents.edu 744 | UMass Computer Vision http://vis-www.cs.umass.edu/ robotics.edu 745 | UMass Machine Learning http://www.cs.umass.edu/~lrn/ learning.edu 746 | UMass Perceptual Robotics http://www-robotics.cs.umass.edu/lpr.html robotics.edu 747 | UPenn http://www.cis.upenn.edu/cishome.html intro.edu 748 | US Go Org. http://www.usgo.org/resources/computer.asp search.org Computer Go page; lists many Go-playing programs. 749 | USC Modular Robotics http://www.usc.edu/users/goldberg/mrl.html robotics.edu 750 | USC Robotics http://www-robotics.usc.edu robotics.edu 751 | USC Robotics http://www-robotics.usc.edu/ robotics.edu 752 | USC/ISI* http://www.isi.edu/AI/isd.htm intro.edu Information Sciences Institute of the University of Southern California has a large AI lab focusing in web and natural language processing. 753 | Ultragem http://www.ultragem.com/ intro,learning.com 754 | Umass Multi-Agent Systems http://dis.cs.umass.edu/ agents.edu 755 | Uszkoreit, Hans http://www.dfki.de/~hansu/ nlp.people 756 | Utgoff, Paul http://www.cs.umass.edu/~utgoff/ learning.people 757 | Valiant, Leslie http://people.deas.harvard.edu/~valiant/ intro,learning.people 758 | VanLehn, Kurt http://www.cs.pitt.edu:80/~vanlehn/ learning.people 759 | Veloso, Manuela http://www.cs.cmu.edu/afs/cs/user/mmv/www/home.html learning,robotics.people 760 | Verity http://www.verity.com agents,nlp.com 761 | Videre (Vision) http://mitpress.mit.edu/journal-home.tcl?issn=10892788 robotics.jour 762 | Vienna Bibliography http://www.ai.univie.ac.at/biblio.html intro.ref 763 | Virtual Library: AI http://archive.comlab.ox.ac.uk/comp/ai.html intro.list 764 | Vision and Apps. http://link.springer.de/link/service/journals/00138/index.htm robotics.jour 765 | W3C Semantic Web http://www.w3.org/2001/sw logic.org 766 | WEKA ML toolkit http://www.cs.waikato.ac.nz/~ml/ learning.soft A popular toolkit for machine learning. 767 | WPI: MAS list http://www.cs.wpi.edu/Research/airg/Agents-hotlist.html agents.list 768 | Waldinger, Richard http://www.ai.sri.com/~waldinge/ logic,planning.people 769 | WalkSAT for Java http://sdg.lcs.mit.edu/~dnj/walksat/ logic,java.soft 770 | Waltz, David http://www.neci.nec.com/homepages/waltz/ intro,robotics,learning.people 771 | Warmuth, Manfred http://users.soe.ucsc.edu/~manfred/ learning.people 772 | Washington http://www.cs.washington.edu/research/projects/ai/www/ intro.edu 773 | Watson, Mark http://www.markwatson.com lisp,java.people 774 | Web Robots http://info.webcrawler.com/mak/projects/robots/robots.html agents.list 775 | Webber, Bonnie http://www.cis.upenn.edu/~bonnie/home.html intro,nlp.people 776 | Weld, Dan http://www.cs.washington.edu/people/faculty/weld.html learning,planning.people 777 | Wellman, Michael http://ai.eecs.umich.edu/people/wellman/ agents,intro,uncertainty.people 778 | What is AI* http://www-formal.stanford.edu/jmc/whatisai/whatisai.html intro.ref John McCarthy's introduction to AI 779 | Wilensky, Robert http://www.cs.berkeley.edu/~wilensky/ intro,nlp,planning,lisp.people 780 | Winograd, Terry http://www-pcd.stanford.edu/hci/people/winograd.html intro,nlp,agents.people Author of Shrudlu, one of the first NLP programs, which operated in the blocks word. Now Stanford Prof. working in Human-Computer Interaction. 781 | Winston, Pat http://www.ai.mit.edu/people/phw/phw.html intro,logic,lisp.people 782 | Wisconsin ML http://www.cs.wisc.edu/~shavlik/uwml.html learning.edu 783 | Witten, Ian http://www.cs.waikato.ac.nz/~ihw/ learning,nlp.people Waikato Prof., author of Managing Gigabytes, digital libraries, data mining work. 784 | Wooldridge, Michael http://www.csc.liv.ac.uk/~mjw agents.people 785 | WordNet in Python http://pywordnet.sourceforge.net/ python,nlp.soft 786 | WordNet* http://www.cogsci.princeton.edu/~wn/ nlp.soft The best freeware computer-readable dictionary and ontology 787 | Wos, Larry http://www-unix.mcs.anl.gov/~wos/ logic.people 788 | Wu, Dekai http://www.cs.ust.hk/faculty/dekai/bio.html nlp.people 789 | Xerox PARC http://www.parc.xerox.com/parc-projects.html intro.edu 790 | Yale http://www.cs.yale.edu/research/ intro.edu 791 | Yang, Qiang http://www.cs.sfu.ca/fas-info/cs/people/Faculty/Yang/ planning.people 792 | Yarowsky, David http://www.cs.jhu.edu/~yarowsky/ nlp.people Leading researcher in statistical NLP. 793 | Zadeh, Lotfi http://www.cs.berkeley.edu/People/Faculty/Homepages/zadeh.html intro,uncertainty.people The founder of Fuzzy Logic. Berkeley Prof. 794 | Zilberstein, Shlomo http://www.cs.umass.edu/~shlomo uncertainty,agents,planning.people UMass Prof. working on robotic planning, anytime algorithms. 795 | Zweben, Monte http://www.bluemartini.com/company/people_list.jsp agents.people 796 | cardTAP prover http://www.cs.man.ac.uk/~franconi/scripts/webtap/ logic.soft An online Java applet thatuses tableau methods to prove propositional formulae 797 | comp.ai* http://groups.google.com/groups?q=comp.ai intro.news 798 | comp.ai.edu http://groups.google.com/groups?q=comp.ai.edu intro.news 799 | comp.ai.fuzzy http://groups.google.com/groups?q=comp.ai.fuzzy uncertainty.news 800 | comp.ai.games http://groups.google.com/groups?q=comp.ai.games search.news 801 | comp.ai.genetic http://groups.google.com/groups?q=comp.ai.genetic learning.news 802 | comp.ai.jair.announce http://groups.google.com/groups?q=comp.ai.jair.announce intro.news 803 | comp.ai.nat-lang http://groups.google.com/groups?q=comp.ai.nat-lang nlp.news 804 | comp.ai.neural-nets http://groups.google.com/groups?q=comp.ai.neural-nets learning.news 805 | comp.ai.nlang-know-rep http://groups.google.com/groups?q=comp.ai.nlang-know-rep nlp.news 806 | comp.ai.philosophy http://groups.google.com/groups?q=comp.ai.philosophy phil.news 807 | comp.ai.shells http://groups.google.com/groups?q=comp.ai.shells lisp,logic.news 808 | comp.ai.vision http://groups.google.com/groups?q=comp.ai.vision robotics.news 809 | comp.constraints http://groups.google.com/groups?q=comp.constraints logic.news 810 | comp.lang.c++ http://groups.google.com/groups?q=comp.lang.c++ java.news 811 | comp.lang.clos http://groups.google.com/groups?q=comp.lang.clos lisp.news 812 | comp.lang.java http://groups.google.com/groups?q=comp.lang.java java.news 813 | comp.lang.lisp http://groups.google.com/groups?q=comp.lang.lisp lisp.news 814 | comp.lang.prolog http://groups.google.com/groups?q=comp.lang.prolog prolog.news 815 | comp.lang.python http://groups.google.com/groups?q=comp.lang.python python.news 816 | comp.lang.scheme http://groups.google.com/groups?q=comp.lang.scheme lisp.news 817 | comp.lang.smalltalk http://groups.google.com/groups?q=comp.lang.smalltalk lisp.news 818 | comp.robotics FAQ http://www.frc.ri.cmu.edu/~nivek/faq/TOC.html robotics.ref 819 | comp.robotics http://groups.google.com/groups?q=comp.robotics robotics.news 820 | comp.robotics.research http://groups.google.com/groups?q=comp.robotics.research robotics.news 821 | -------------------------------------------------------------------------------- /parse.py: -------------------------------------------------------------------------------- 1 | """ 2 | Code to parse AIMA file of links, such as `old-links.txt`. 3 | """ 4 | 5 | import collections 6 | import re 7 | 8 | Link = collections.namedtuple('Link', 'title, star, url, topics, genre, comment') 9 | REGEX = re.compile(r"([^*]+?)([*]?)\s+((http|https|mailto|ftp):[^\s]+)\s+([a-z,]+)[.]([a-z,]+)\s*(.*)$") 10 | TOPICS = {'agents', 'intro', 'java', 'learning', 'lisp', 'logic', 'nlp', 'phil', 'planning', 11 | 'prolog', 'python', 'robotics', 'search', 'uncertainty'} 12 | GENRES = {'com', 'edu', 'humor', 'jour', 'list', 'news', 'org', 'people', 'ref', 'soft'} 13 | 14 | def parse_link(line): 15 | "Parse a line of text into a `Link` structure." 16 | m = REGEX.match(line) 17 | assert m, 'Line does not match: ' + line 18 | title, star, url, _, topics, genre, comment = m.groups() 19 | topics = set(topics.split(',')) 20 | assert genre in GENRES, 'Unknown genre: ' + genre 21 | assert not (topics - TOPICS), 'Unknown topics: ' + str(topics - TOPICS) 22 | return Link(title, star == '*', url, topics, genre, comment) 23 | 24 | def parse_file(filename='old-links.txt'): 25 | "Parse a file into a list of Links." 26 | return [parse_link(line) for line in open(filename)] 27 | --------------------------------------------------------------------------------